Pavol Návrat

Publication Activity (10 Years)

Years Active: 1985-2019
Publications (10 Years): 10

Top Topics

Virtual Reality

Model Driven Development

University Courses

Top Venues

Comput. Informatics

Publications

Alena Martonova, Jozef Marcin, Pavol Návrat, Jozef Tvarozek, Gabriela Grmanová
Automatic Query Refining Based on Eye-Tracking Feedback. Comput. Informatics 38 (6) (2019)
Martin Konopka, Adam Talian, Jozef Tvarozek, Pavol Návrat
Data flow metrics in program comprehension tasks. EMIP@ETRA (2018)
Juraj Vincur, Ivan Polásek, Pavol Návrat
Searching and exploring software repositories in virtual reality. VRST (2017)
Juraj Vincur, Pavol Návrat, Ivan Polásek
VR City: Software Analysis in Virtual Reality Environment. QRS Companion (2017)
Juraj Vincur, Martin Konopka, Jozef Tvarozek, Martin Hoang, Pavol Návrat
Cubely: virtual reality block-based programming environment. VRST (2017)
Peter Lacko, Peter Kajsa, Pavol Návrat
Design Pattern Instances within Model Driven Development Based on Abstraction, Concretization and Variability. Comput. Informatics 36 (1) (2017)
Stefan Sabo, Alena Kovárová, Pavol Návrat
Multiple developing news stories identified and tracked by social insects and visualized using the new galactic streams and concurrent streams metaphors. Int. J. Hybrid Intell. Syst. 12 (1) (2015)
Lukas Loch, Pavol Návrat, Alena Kovárová
Answering questions based on gradually learned knowledge from the web using lightweight semantics. CompSysTech (2015)
Martin Konopka, Pavol Návrat, Mária Bieliková
Poster: Discovering Code Dependencies by Harnessing Developer's Activity. ICSE (2) (2015)
Martin Konopka, Pavol Návrat
Untangling Development Tasks with Software Developer's Activity. CSD@ICSE (2015)
Pavol Návrat, Jozef Tvarozek
Online programming exercises for summative assessment in university courses. CompSysTech (2014)
Pavol Návrat, Stefan Sabo
Beehive Based Machine to Give Snapshot of the Ongoing Stories on the Web. Trans. Comput. Sci. 21 (2013)
Stefan Sabo, Pavol Návrat
Social insect inspired approach for identification and dynamic tracking of news stories on the Web. NaBIC (2013)
Pavol Návrat, Stefan Sabo
What's going on out there right now? A beehive based machine to give snapshot of the ongoing stories on the Web. NaBIC (2012)
Peter Kajsa, Pavol Návrat
Design Pattern Support Based on the Source Code Annotations and Feature Models. SOFSEM (2012)
Daniela Chudá, Pavol Návrat, Bianka Kovácová, Pavel Humay
The Issue of (Software) Plagiarism: A Student View. IEEE Trans. Educ. 55 (1) (2012)
Pavol Návrat
Cognitive traveling in digital space: from keyword search through exploratory information seeking. Central Eur. J. Comput. Sci. 2 (3) (2012)
Aurel Paulovic, Pavol Návrat
Designing a Software Transactional Memory for Peer-to-Peer Systems. ADBIS Workshops (2012)
Tomas Kuzar, Pavol Návrat
Slovak Blog Clustering Enhanced by Mining the Web Comments. Web Intelligence/IAT Workshops (2011)
Peter Kajsa, L'ubomír Majtás, Pavol Návrat
Design pattern instantiation directed by concretization and specialization. Comput. Sci. Inf. Syst. 8 (1) (2011)
Miroslav Líska, Pavol Návrat
SPEM ontology as the semantic notation for method and process definition in the context of SWEBOK. Comput. Sci. Inf. Syst. 8 (2) (2011)
Miroslav Líska, Pavol Návrat
An Ontology Driven Approach to Software Project Enactment with a Supplier. ADBIS (2010)
Miroslav Líska, Pavol Návrat
An approach to project planning employing software and systems engineering meta-model represented by an ontology. Comput. Sci. Inf. Syst. 7 (4) (2010)
Pavol Mederly, Pavol Návrat
Construction of Messaging-Based Integration Solutions Using Constraint Programming. ADBIS (2010)
Pavol Návrat, Anna Bou Ezzeddine
Bee Hive at Work: Following a Developing Story on the Web. IFIP AI (2010)
Ján Suchal, Pavol Návrat
Full Text Search Engine as Scalable k-Nearest Neighbor Recommendation System. IFIP AI (2010)
Tomas Kuzar, Pavol Návrat
Preprocessing of Slovak Blog Articles for Clustering. Web Intelligence/IAT Workshops (2010)
Pavol Návrat, Mária Bieliková, Daniela Chudá, Viera Rozinajová
Intelligent Information Processing in Semantically Enriched Web. ISMIS (2009)
Pavol Mederly, Marián Lekavý, Marek Závodský, Pavol Návrat
Construction of Messaging-Based Enterprise Integration Solutions Using AI Planning. CEE-SET (2009)
Pavol Návrat, Tomas Jelinek, Lucia Jastrzembska
Bee Hive at Work: A Problem Solving, Optimizing Mechanism. NaBIC (2009)
Michal Kajaba, Pavol Návrat
Personalized web search using context enhanced query. CompSysTech (2009)
Pavol Návrat, Lucia Jastrzembska, Tomas Jelinek
Bee Hive at Work: Story Tracking Case Study. Web Intelligence/IAT Workshops (2009)
Pavol Návrat, Tomas Taraba, Anna Bou Ezzeddine, Daniela Chudá
Context Search Enhanced by Readability Index. IFIP AI (2008)
Viera Rozinajová, Marek Braun, Pavol Návrat, Mária Bieliková
Bridging the Gap Between Service-Oriented and Object-Oriented Architectures in Information Systems Development. Advances in Information Systems Research, Education and Practice (2008)
Marián Lekavý, Pavol Návrat
Extension of Rescheduling Based on Minimal Graph Cut. SOFSEM (2008)
Pavol Návrat, Martin Kovacik, Anna Bou Ezzeddine, Viera Rozinajová
Web search engine working as a bee hive. Web Intell. Agent Syst. 6 (4) (2008)
Peter Bartalos, Michal Barla, György Frivolt, Michal Tvarozek, Anton Andrejko, Mária Bieliková, Pavol Návrat
Building an Ontological Base for Experimental Evaluation of Semantic Web Applications. SOFSEM (1) (2007)
Marián Lekavý, Pavol Návrat
Expressivity of STRIPS-Like and HTN-Like Planning. KES-AMSTA (2007)
Pavol Návrat, Lucia Jastrzembska, Tomas Jelinek, Anna Bou Ezzeddine, Viera Rozinajová
Exploring Social Behaviour of Honey Bees Searching on the Web. Web Intelligence/IAT Workshops (2007)
Pavol Návrat, Tomas Taraba
Context Search. Web Intelligence/IAT Workshops (2007)
Jaroslav Jakubík, Pavol Návrat
Reuse of Patterns' Source Code. JCKBSE (2006)
Pavol Návrat, Martin Kovacik
Web Search Engine as a Bee Hive. Web Intelligence (2006)
Mária Bieliková, Pavol Návrat
Experiences with Designing a Team Project Module for Teaching Teamwork to Students. J. Comput. Inf. Technol. 13 (1) (2005)
Roman Filkorn, Pavol Návrat
An Approach for Integrating Analysis Patterns and Feature Diagrams into Model Driven Architecture. SOFSEM (2005)
Pavol Návrat
Review of "Algorithm design: foundations, analysis and internet examples" by Michael T. Goodrich and Roberto Tamassia. John Wiley & Sons, Inc. 2001. SIGACT News 35 (2) (2004)
Pavol Návrat, Yannis Manolopoulos, Gottfried Vossen
Special issue on ADBIS 2002: advances in databases and information systems. Inf. Syst. 29 (6) (2004)
Mária Bieliková, Yannis Manolopoulos, Pavol Návrat
Report on the 6th ADBIS'2002 Conference. Comput. Artif. Intell. 22 (2) (2003)
Robert Koval, Pavol Návrat
Intelligent Support for Information Retrieval of Web Documents. Comput. Artif. Intell. 21 (5) (2002)
Gabriela Polcicová, Pavol Návrat
Semantic Similarity in Content-Based Filtering. ADBIS (2002)
Robert Koval, Pavol Návrat
Intelligent Support for Information Retrieval in WWW Environment. ADBIS (2002)
Gabriela Polcicová, R. Slovák, Pavol Návrat
Combining Content-Based and Collaborative Filtering. ADBIS-DASFAA Symposium (2000)
Pavol Návrat, Mária Bieliková
Software engineering education: different contexts, similar contents. ACM SIGCSE Bull. 31 (2) (1999)
Mária Smolárová, Pavol Návrat
Representing Design Patterns as Design Components. ADBIS (Short Papers) (1999)
Mária Bieliková, Pavol Návrat
An Approach to Automated Building of Software System Configurations. Int. J. Softw. Eng. Knowl. Eng. 9 (1) (1999)
Mária Bieliková, Pavol Návrat
Use of Program Schemata in Lisp Programming: an Evaluation of its Impact on Learning. Informatica 9 (1) (1998)
Mária Bieliková, Pavol Návrat
Learning Programming in Prolog Using Schemata. ACM SIGPLAN Notices 33 (2) (1998)
Mária Bieliková, Pavol Návrat
Modelling Versioned Hypertext Documents. SCM (1998)
Mária Bieliková, Pavol Návrat
An Experience with the Use of Systems Engineer Case Tool. Int. J. Softw. Eng. Knowl. Eng. 7 (2) (1997)
Pavol Návrat
Book review: Artificial Intelligence by Ian Pratt (The Macmillan Press Ltd, Houndmills, 1994). SIGART Bull. 8 (1-4) (1997)
Pavol Návrat, Mária Bieliková
Identification of Versions in Databases of Software Components. ADBIS (1997)
Mária Bieliková, Pavol Návrat
A Prolog Technique of Implementing Search of A/O Graphs with Constraints. Comput. Artif. Intell. 16 (4) (1997)
Mária Bieliková, Béatrice Finance, Pavol Návrat
A Multi-Level Logic Programming Model of a Query Optimizer. ADBIS (1997)
Pavol Návrat, Viera Rozinajová
Experiment in Knowledge Based Programing. J. King Saud Univ. Comput. Inf. Sci. 8 (1996)
Pavol Návrat
Survey of Knowledge Based Approaches to Automating Program Formation. J. King Saud Univ. Comput. Inf. Sci. 8 (1996)
Pavol Návrat, Mária Bieliková, Igor Koziak, Viera Rozinajová, Mária Smolárová
Intelligent Support for Program Development. PPIG (1996)
Mária Bieliková, Pavol Návrat
Knowledge based method for building a software system configuration. Knowl. Based Syst. 9 (1) (1996)
Pavol Návrat
A closer look at programming expertise: critical survey of some methodological issues. Inf. Softw. Technol. 38 (1) (1996)
Pavol Návrat
What is the knowledge that knowledge based programming is based on?: An analysis. PPIG (1996)
Pavol Návrat, Mária Bieliková
Knowledge-Controlled Version Selection in Software Configuration Management. Softw. Concepts Tools 17 (1) (1996)
Pavol Návrat, Mária Bieliková
Representing Calendrical Algorithms and Data in Prolog and Prolog III. ACM SIGPLAN Notices 30 (7) (1995)
Pavol Návrat
Hierarchies of programming concepts: abstraction, generality, and beyond. ACM SIGCSE Bull. 26 (3) (1994)
Pavol Návrat, Ludovít Molnár, Vladimir Vojtek
Using Automatic Program Synthesizer as a Problem Solver: Some Interesting Experiments. EUROCAL (1987)
Ludovít Molnár, Pavol Návrat, Jirí Safarík
The programming language Pascal (in teaching perspective): take it or leave it. ACM SIGPLAN Notices 20 (2) (1985)