The programming language Pascal (in teaching perspective): take it or leave it. - Ludovít Molnár; Pavol Návrat; Jirí Safarík (ACM SIGPLAN Notices, 1985)

Using Automatic Program Synthesizer as a Problem Solver: Some Interesting Experiments. - Pavol Návrat; Ludovít Molnár; Vladimir Vojtek (EUROCAL, 1987)

Hierarchies of programming concepts: abstraction, generality, and beyond. - Pavol Návrat (ACM SIGCSE Bull., 1994)

Representing Calendrical Algorithms and Data in Prolog and Prolog III. - Pavol Návrat; Mária Bieliková (ACM SIGPLAN Notices, 1995)

What is the knowledge that knowledge based programming is based on?: An analysis. - Pavol Návrat (PPIG, 1996)

Intelligent Support for Program Development. - Pavol Návrat; Mária Bieliková; Igor Koziak; Viera Rozinajová; Mária Smolárová (PPIG, 1996)

A closer look at programming expertise: critical survey of some methodological issues. - Pavol Návrat (Inf. Softw. Technol., 1996)

Survey of Knowledge Based Approaches to Automating Program Formation. - Pavol Návrat (J. King Saud Univ. Comput. Inf. Sci., 1996)

Experiment in Knowledge Based Programing. - Pavol Návrat; Viera Rozinajová (J. King Saud Univ. Comput. Inf. Sci., 1996)

Knowledge based method for building a software system configuration. - Mária Bieliková; Pavol Návrat (Knowl. Based Syst., 1996)

Knowledge-Controlled Version Selection in Software Configuration Management. - Pavol Návrat; Mária Bieliková (Softw. Concepts Tools, 1996)

A Multi-Level Logic Programming Model of a Query Optimizer. - Mária Bieliková; Béatrice Finance; Pavol Návrat (ADBIS, 1997)

Identification of Versions in Databases of Software Components. - Pavol Návrat; Mária Bieliková (ADBIS, 1997)

A Prolog Technique of Implementing Search of A/O Graphs with Constraints. - Mária Bieliková; Pavol Návrat (Comput. Artif. Intell., 1997)

An Experience with the Use of Systems Engineer Case Tool. - Mária Bieliková; Pavol Návrat (Int. J. Softw. Eng. Knowl. Eng., 1997)

Book review: Artificial Intelligence by Ian Pratt (The Macmillan Press Ltd, Houndmills, 1994). - Pavol Návrat (SIGART Bull., 1997)

Modelling Versioned Hypertext Documents. - Mária Bieliková; Pavol Návrat (SCM, 1998)

Use of Program Schemata in Lisp Programming: an Evaluation of its Impact on Learning. - Mária Bieliková; Pavol Návrat (Informatica, 1998)

Learning Programming in Prolog Using Schemata. - Mária Bieliková; Pavol Návrat (ACM SIGPLAN Notices, 1998)

Representing Design Patterns as Design Components. - Mária Smolárová; Pavol Návrat (ADBIS (Short Papers), 1999)

An Approach to Automated Building of Software System Configurations. - Mária Bieliková; Pavol Návrat (Int. J. Softw. Eng. Knowl. Eng., 1999)

Software engineering education: different contexts, similar contents. - Pavol Návrat; Mária Bieliková (ACM SIGCSE Bull., 1999)

Combining Content-Based and Collaborative Filtering. - Gabriela Polcicová; R. Slovák; Pavol Návrat (ADBIS-DASFAA Symposium, 2000)

Intelligent Support for Information Retrieval in WWW Environment. - Robert Koval; Pavol Návrat (ADBIS, 2002)

Semantic Similarity in Content-Based Filtering. - Gabriela Polcicová; Pavol Návrat (ADBIS, 2002)

Intelligent Support for Information Retrieval of Web Documents. - Robert Koval; Pavol Návrat (Comput. Artif. Intell., 2002)

Report on the 6th ADBIS'2002 Conference. - Mária Bieliková; Yannis Manolopoulos; Pavol Návrat (Comput. Artif. Intell., 2003)

Special issue on ADBIS 2002: advances in databases and information systems. - Pavol Návrat; Yannis Manolopoulos; Gottfried Vossen (Inf. Syst., 2004)

Review of "Algorithm design: foundations, analysis and internet examples" by Michael T. Goodrich and Roberto Tamassia. John Wiley & Sons, Inc. 2001. - Pavol Návrat (SIGACT News, 2004)

An Approach for Integrating Analysis Patterns and Feature Diagrams into Model Driven Architecture. - Roman Filkorn; Pavol Návrat (SOFSEM, 2005)

Experiences with Designing a Team Project Module for Teaching Teamwork to Students. - Mária Bieliková; Pavol Návrat (J. Comput. Inf. Technol., 2005)

Reuse of Patterns' Source Code. - Jaroslav Jakubík; Pavol Návrat (JCKBSE, 2006)

Web Search Engine as a Bee Hive. - Pavol Návrat; Martin Kovacik (Web Intelligence, 2006)

Exploring Social Behaviour of Honey Bees Searching on the Web. - Pavol Návrat; Lucia Jastrzembska; Tomas Jelinek; Anna Bou Ezzeddine; Viera Rozinajová (Web Intelligence/IAT Workshops, 2007)

Context Search. - Pavol Návrat; Tomas Taraba (Web Intelligence/IAT Workshops, 2007)

Expressivity of STRIPS-Like and HTN-Like Planning. - Marián Lekavý; Pavol Návrat (KES-AMSTA, 2007)

Building an Ontological Base for Experimental Evaluation of Semantic Web Applications. - Peter Bartalos; Michal Barla; György Frivolt; Michal Tvarozek; Anton Andrejko; Mária Bieliková; Pavol Návrat (SOFSEM (1), 2007)

Context Search Enhanced by Readability Index. - Pavol Návrat; Tomas Taraba; Anna Bou Ezzeddine; Daniela Chudá (IFIP AI, 2008)

Bridging the Gap Between Service-Oriented and Object-Oriented Architectures in Information Systems Development. - Viera Rozinajová; Marek Braun; Pavol Návrat; Mária Bieliková (Advances in Information Systems Research, Education and Practice, 2008)

Extension of Rescheduling Based on Minimal Graph Cut. - Marián Lekavý; Pavol Návrat (SOFSEM, 2008)

Web search engine working as a bee hive. - Pavol Návrat; Martin Kovacik; Anna Bou Ezzeddine; Viera Rozinajová (Web Intell. Agent Syst., 2008)

Personalized web search using context enhanced query. - Michal Kajaba; Pavol Návrat (CompSysTech, 2009)

Bee Hive at Work: Story Tracking Case Study. - Pavol Návrat; Lucia Jastrzembska; Tomas Jelinek (Web Intelligence/IAT Workshops, 2009)

Construction of Messaging-Based Enterprise Integration Solutions Using AI Planning. - Pavol Mederly; Marián Lekavý; Marek Závodský; Pavol Návrat (CEE-SET, 2009)

Intelligent Information Processing in Semantically Enriched Web. - Pavol Návrat; Mária Bieliková; Daniela Chudá; Viera Rozinajová (ISMIS, 2009)

Bee Hive at Work: A Problem Solving, Optimizing Mechanism. - Pavol Návrat; Tomas Jelinek; Lucia Jastrzembska (NaBIC, 2009)

An Ontology Driven Approach to Software Project Enactment with a Supplier. - Miroslav Líska; Pavol Návrat (ADBIS, 2010)

Construction of Messaging-Based Integration Solutions Using Constraint Programming. - Pavol Mederly; Pavol Návrat (ADBIS, 2010)

Preprocessing of Slovak Blog Articles for Clustering. - Tomas Kuzar; Pavol Návrat (Web Intelligence/IAT Workshops, 2010)

Bee Hive at Work: Following a Developing Story on the Web. - Pavol Návrat; Anna Bou Ezzeddine (IFIP AI, 2010)

Full Text Search Engine as Scalable k-Nearest Neighbor Recommendation System. - Ján Suchal; Pavol Návrat (IFIP AI, 2010)

An approach to project planning employing software and systems engineering meta-model represented by an ontology. - Miroslav Líska; Pavol Návrat (Comput. Sci. Inf. Syst., 2010)

Slovak Blog Clustering Enhanced by Mining the Web Comments. - Tomas Kuzar; Pavol Návrat (Web Intelligence/IAT Workshops, 2011)

Design pattern instantiation directed by concretization and specialization. - Peter Kajsa; L'ubomír Majtás; Pavol Návrat (Comput. Sci. Inf. Syst., 2011)

SPEM ontology as the semantic notation for method and process definition in the context of SWEBOK. - Miroslav Líska; Pavol Návrat (Comput. Sci. Inf. Syst., 2011)

Designing a Software Transactional Memory for Peer-to-Peer Systems. - Aurel Paulovic; Pavol Návrat (ADBIS Workshops, 2012)

What's going on out there right now? A beehive based machine to give snapshot of the ongoing stories on the Web. - Pavol Návrat; Stefan Sabo (NaBIC, 2012)

Design Pattern Support Based on the Source Code Annotations and Feature Models. - Peter Kajsa; Pavol Návrat (SOFSEM, 2012)

Cognitive traveling in digital space: from keyword search through exploratory information seeking. - Pavol Návrat (Central Eur. J. Comput. Sci., 2012)

The Issue of (Software) Plagiarism: A Student View. - Daniela Chudá; Pavol Návrat; Bianka Kovácová; Pavel Humay (IEEE Trans. Educ., 2012)

Social insect inspired approach for identification and dynamic tracking of news stories on the Web. - Stefan Sabo; Pavol Návrat (NaBIC, 2013)

Beehive Based Machine to Give Snapshot of the Ongoing Stories on the Web. - Pavol Návrat; Stefan Sabo (Trans. Comput. Sci., 2013)

Online programming exercises for summative assessment in university courses. - Pavol Návrat; Jozef Tvarozek (CompSysTech, 2014)

Answering questions based on gradually learned knowledge from the web using lightweight semantics. - Lukas Loch; Pavol Návrat; Alena Kovárová (CompSysTech, 2015)

Untangling Development Tasks with Software Developer's Activity. - Martin Konopka; Pavol Návrat (CSD@ICSE, 2015)

Poster: Discovering Code Dependencies by Harnessing Developer's Activity. - Martin Konopka; Pavol Návrat; Mária Bieliková (ICSE (2), 2015)

Multiple developing news stories identified and tracked by social insects and visualized using the new galactic streams and concurrent streams metaphors. - Stefan Sabo; Alena Kovárová; Pavol Návrat (Int. J. Hybrid Intell. Syst., 2015)

VR City: Software Analysis in Virtual Reality Environment. - Juraj Vincur; Pavol Návrat; Ivan Polásek (QRS Companion, 2017)

Cubely: virtual reality block-based programming environment. - Juraj Vincur; Martin Konopka; Jozef Tvarozek; Martin Hoang; Pavol Návrat (VRST, 2017)

Searching and exploring software repositories in virtual reality. - Juraj Vincur; Ivan Polásek; Pavol Návrat (VRST, 2017)

Design Pattern Instances within Model Driven Development Based on Abstraction, Concretization and Variability. - Peter Lacko; Peter Kajsa; Pavol Návrat (Comput. Informatics, 2017)

Data flow metrics in program comprehension tasks. - Martin Konopka; Adam Talian; Jozef Tvarozek; Pavol Návrat (EMIP@ETRA, 2018)

Automatic Query Refining Based on Eye-Tracking Feedback. - Alena Martonova; Jozef Marcin; Pavol Návrat; Jozef Tvarozek; Gabriela Grmanová (Comput. Informatics, 2019)