Filip Zavoral

According to our database, Filip Zavoral authored at least 48 papers between 1996 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Slicito: Using Computational Notebooks for Program Comprehension.

Robert Husák, Jan Kofron, Filip Zavoral

Proceedings of the 31st IEEE/ACM International Conference on Program Comprehension, 2023

2022

PeachPie: Mature PHP to CLI compiler.

Robert Husák, Jakub Mísek, Filip Zavoral, Jan Kofron

J. Comput. Lang., 2022

Using Procedure Cloning for Performance Optimization of Compiled Dynamic Languages.

Robert Husák, Jan Kofron, Jakub Mísek, Filip Zavoral

Proceedings of the 17th International Conference on Software Technologies, 2022

2020

Optimizing Transformations of Dynamic Languages Compiled to Intermediate Representations.

Robert Husák, Filip Zavoral, Jan Kofron

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020

2019

Semantic analysis of ambiguous types in dynamic languages.

Jakub Mísek, Filip Zavoral

J. Ambient Intell. Humaniz. Comput., 2019

AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention.

Robert Husák, Jan Kofron, Filip Zavoral

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2019

Handling Heap Data Structures in Backward Symbolic Execution.

Robert Husák, Jan Kofron, Filip Zavoral

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2017

Player Performance Evaluation in Team-Based First-Person Shooter eSport.

David Bednárek, Martin Krulis, Jakub Yaghob, Filip Zavoral

Proceedings of the Data Management Technologies and Applications, 2017

Data Preprocessing of eSport Game Records - Counter-Strike: Global Offensive.

David Bednárek, Martin Krulis, Jakub Yaghob, Filip Zavoral

Proceedings of the 6th International Conference on Data Science, 2017

Control Flow Ambiguous-Type Inter-Procedural Semantic Analysis for Dynamic Language Compilation.

Jakub Mísek, Filip Zavoral

Proceedings of the 8th International Conference on Ambient Systems, 2017

2016

Creating Distributed Execution Plans with BobolangNG.

David Bednárek, Martin Krulis, Jakub Yaghob, Filip Zavoral

Proceedings of the Algorithms and Architectures for Parallel Processing, 2016

2015

Towards Efficient Locality Aware Parallel Data Stream Processing.

Zbynek Falt, Martin Krulis, David Bednárek, Jakub Yaghob, Filip Zavoral

J. Univers. Comput. Sci., 2015

Preface to the Special Issue on Intelligent Distributed Computing.

Filip Zavoral, Costin Badica

Comput. Informatics, 2015

MetroNG: Computer-Aided Scheduling and Collision Detection.

David Bednárek, Jakub Yaghob, Filip Zavoral

Comput. Informatics, 2015

Assessing Applicability of Power-Efficient Embedded Devices for Micro-Cloud Computing.

Martin Krulis, Petr Stefan, Jakub Yaghob, Filip Zavoral

Proceedings of the Proceedings ITAT 2015: Information Technologies, 2015

Towards Semi-automated Parallelization of Data Stream Processing.

Martin Krulis, David Bednárek, Zbynek Falt, Jakub Yaghob, Filip Zavoral

Proceedings of the Intelligent Distributed Computing IX - Proceedings of the 9th International Symposium on Intelligent Distributed Computing, 2015

Using static code analysis to improve coarse task granularity in bobox.

Lukas Krizik, Filip Zavoral, Miroslav Cermák

Proceedings of the Tenth International Conference on Digital Information Management, 2015

2014

Employing Similarity Methods for Stellar Spectra Classification in Astroinformatics.

Martin Krulis, David Bednárek, Jakub Yaghob, Filip Zavoral

Proceedings of the Similarity Search and Applications - 7th International Conference, 2014

Contemplating Efficiency of the ROOT File Format for Data Intensive Simulations in Particle Physics.

Filip Zavoral, Jakub Yaghob, David Bednárek, Martin Krulis

Proceedings of the main track of the 14th Conference on Information Technologies - Applications and Theory (ITAT 2014), with selected papers from Znalosti 2014 collocated with Znalosti 2014, Demanovska Dolina - Jasna, Slovakia, September 25, 2014

Employing Evolutionary Algorithms for Classification of Astrophysical Spectra.

David Bednárek, Martin Krulis, Jakub Yaghob, Filip Zavoral

Proceedings of the main track of the 14th Conference on Information Technologies - Applications and Theory (ITAT 2014), with selected papers from Znalosti 2014 collocated with Znalosti 2014, Demanovska Dolina - Jasna, Slovakia, September 25, 2014

Locality Aware Task Scheduling in Parallel Data Stream Processing.

Zbynek Falt, Martin Krulis, David Bednárek, Jakub Yaghob, Filip Zavoral

Proceedings of the Intelligent Distributed Computing VIII, 2014

Bobolang: a language for parallel streaming applications.

Zbynek Falt, David Bednárek, Martin Krulis, Jakub Yaghob, Filip Zavoral

Proceedings of the 23rd International Symposium on High-Performance Parallel and Distributed Computing, 2014

Column-Oriented Data Store for Astrophysical Data.

Jakub Yaghob, David Bednárek, Martin Krulis, Filip Zavoral

Proceedings of the 25th International Workshop on Database and Expert Systems Applications, 2014

Exploiting HTML5 Technologies for Distributed Parasitic Web Storge.

Martin Krulis, Zbynek Falt, Filip Zavoral

Proceedings of the Dateso 2014 Annual International Workshop on DAtabases, 2014

Cider: An Event-Driven Continuous Integration Server.

Ondrej Kupka, Filip Zavoral

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2013

Dosiahnutie vysokej dostupnosti v D-Boboxe.

Miroslav Cermák, Filip Zavoral

Proceedings of the Conference on Information Technologies, 2013

Resistance of Trust Management Systems Against Malicious Collectives.

Miroslav Novotný, Filip Zavoral

Proceedings of the Context-Aware Systems and Applications, 2013

Highly Scalable Sort-merge Join Algorithm for RDF Querying.

Zbynek Falt, Miroslav Cermák, Filip Zavoral

Proceedings of the DATA 2013 - Proceedings of the 2nd International Conference on Data Technologies and Applications, Reykjavík, Iceland, 29, 2013

2012

Data-Flow Awareness in Parallel Data Processing.

David Bednárek, Jirí Dokulil, Jakub Yaghob, Filip Zavoral

Proceedings of the Intelligent Distributed Computing VI - Proceedings of the 6th International Symposium on Intelligent Distributed Computing, 2012

2011

Resistence against Malicious Collectives in BubbleTrust.

Miroslav Novotný, Filip Zavoral

Proceedings of the 12th International Conference on Parallel and Distributed Computing, 2011

2010

Dynamic Setup for Clusters with Multi-master Architecture.

Katerina Opocenska, Jakub Yaghob, Filip Zavoral

Proceedings of the IEEE International Conference on Software Science, 2010

High-Level Web Data Abstraction Using Language Integrated Query.

Jakub Mísek, Filip Zavoral

Proceedings of the Intelligent Distributed Computing IV - Proceedings of the 4th International Symposium on Intelligent Distributed Computing, 2010

BubbleTrust: A Reliable Trust Management for Large P2P Networks.

Miroslav Novotný, Filip Zavoral

Proceedings of the Recent Trends in Network Security and Applications, 2010

MetroNG: multimodal interactive scheduling interface.

David Bednárek, Jirí Dokulil, Jakub Yaghob, Filip Zavoral

Proceedings of the International Conference on Advanced Visual Interfaces, 2010

Mapping of Dynamic Language Constructs into Static Abstract Syntax Trees.

Jakub Mísek, Filip Zavoral

Proceedings of the 9th IEEE/ACIS International Conference on Computer and Information Science, 2010

2009

Syntactic and Semantic Prediction in Dynamic Languages.

Jakub Mísek, Filip Zavoral

Proceedings of the Software Engineering Research, 2009

Matrix Model of Trust Management in P2P Networks.

Miroslav Novotný, Filip Zavoral

Proceedings of the Third IEEE International Conference on Research Challenges in Information Science, 2009

AgentMat: Framework for Data Scraping and Semantization.

Miloslav Beno, Jakub Mísek, Filip Zavoral

Proceedings of the Third IEEE International Conference on Research Challenges in Information Science, 2009

Towards Reliable Trust Management in Insecure P2P Environments.

Miroslav Novotný, Filip Zavoral

Proceedings of the Intelligent Distributed Computing III, Proceedings of the 3rd International Symposium on Intelligent Distributed Computing, 2009

Using Input Buffers for Streaming XSLT Processing.

Jana Dvoráková, Filip Zavoral

Proceedings of the First International Conference on Advances in Databases, 2009

2008

Determining XSLT streamability using new hierarchical XSD model.

Jana Dvoráková, Filip Zavoral

Proceedings of the Conference on Theory and Practice of Information Technologies, 2008

Xord: An Implementation Framework for Efficient XSLT Processing.

Jana Dvoráková, Filip Zavoral

Proceedings of the Intelligent Distributed Computing, Systems and Applications, Proceedings of the 2nd International Symposium on Intelligent Distributed Computing, 2008

2007

Extracting Zing Models from C Source Code.

Tomas Matousek, Filip Zavoral

Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

Semantic Web Infrastructure.

Jirí Dokulil, Jaroslav Tykal, Jakub Yaghob, Filip Zavoral

Proceedings of the First IEEE International Conference on Semantic Computing (ICSC 2007), 2007

2006

Semantic Web Infrastructure Using DataPile.

Jakub Yaghob, Filip Zavoral

Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2006

2005

Hierarchical Associative Memories: The Neural Network for Prediction in Spatial Maps.

Jana Stanclová, Filip Zavoral

Proceedings of the Image Analysis and Processing, 2005

Data Integration Using DataPile Structure.

David Bednárek, David Obdrzálek, Jakub Yaghob, Filip Zavoral

Proceedings of the ADBIS 2005, 2005

1996

Interprocess Communication in the T4 System.

David Bednárek, Petr Merta, David Obdrzálek, Jakub Yaghob, Filip Zavoral

Proceedings of the SOFSEM '96: Theory and Practice of Informatics, 1996