Pavol Návrat

Orcid: 0000-0001-7409-6218

According to our database1, Pavol Návrat authored at least 73 papers between 1985 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Automatic Query Refining Based on Eye-Tracking Feedback.
Comput. Informatics, 2019

2018
Data flow metrics in program comprehension tasks.
Proceedings of the Workshop on Eye Movements in Programming, 2018

2017
Design Pattern Instances within Model Driven Development Based on Abstraction, Concretization and Variability.
Comput. Informatics, 2017

Searching and exploring software repositories in virtual reality.
Proceedings of the 23rd ACM Symposium on Virtual Reality Software and Technology, 2017

Cubely: virtual reality block-based programming environment.
Proceedings of the 23rd ACM Symposium on Virtual Reality Software and Technology, 2017

VR City: Software Analysis in Virtual Reality Environment.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

2015
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., 2015

Poster: Discovering Code Dependencies by Harnessing Developer's Activity.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Untangling Development Tasks with Software Developer's Activity.
Proceedings of the 2nd IEEE/ACM International Workshop on Context for Software Development, 2015

Answering questions based on gradually learned knowledge from the web using lightweight semantics.
Proceedings of the 16th International Conference on Computer Systems and Technologies, 2015

2014
Online programming exercises for summative assessment in university courses.
Proceedings of the 15th International Conference on Computer Systems and Technologies, 2014

2013
Beehive Based Machine to Give Snapshot of the Ongoing Stories on the Web.
Trans. Comput. Sci., 2013

Social insect inspired approach for identification and dynamic tracking of news stories on the Web.
Proceedings of the Fifth World Congress on Nature and Biologically Inspired Computing, 2013

2012
The Issue of (Software) Plagiarism: A Student View.
IEEE Trans. Educ., 2012

Cognitive traveling in digital space: from keyword search through exploratory information seeking.
Central Eur. J. Comput. Sci., 2012

Design Pattern Support Based on the Source Code Annotations and Feature Models.
Proceedings of the SOFSEM 2012: Theory and Practice of Computer Science, 2012

What's going on out there right now? A beehive based machine to give snapshot of the ongoing stories on the Web.
Proceedings of the Fourth World Congress on Nature and Biologically Inspired Computing, 2012

Designing a Software Transactional Memory for Peer-to-Peer Systems.
Proceedings of the New Trends in Databases and Information Systems, 2012

2011
SPEM ontology as the semantic notation for method and process definition in the context of SWEBOK.
Comput. Sci. Inf. Syst., 2011

Design pattern instantiation directed by concretization and specialization.
Comput. Sci. Inf. Syst., 2011

Slovak Blog Clustering Enhanced by Mining the Web Comments.
Proceedings of the 2011 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, 2011

2010
An approach to project planning employing software and systems engineering meta-model represented by an ontology.
Comput. Sci. Inf. Syst., 2010

Full Text Search Engine as Scalable k-Nearest Neighbor Recommendation System.
Proceedings of the Artificial Intelligence in Theory and Practice III, 2010

Bee Hive at Work: Following a Developing Story on the Web.
Proceedings of the Artificial Intelligence in Theory and Practice III, 2010

Preprocessing of Slovak Blog Articles for Clustering.
Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology - Workshops, Toronto, Canada, August 31, 2010

Construction of Messaging-Based Integration Solutions Using Constraint Programming.
Proceedings of the Advances in Databases and Information Systems, 2010

An Ontology Driven Approach to Software Project Enactment with a Supplier.
Proceedings of the Advances in Databases and Information Systems, 2010

2009
Bee Hive at Work: A Problem Solving, Optimizing Mechanism.
Proceedings of the World Congress on Nature & Biologically Inspired Computing, 2009

Intelligent Information Processing in Semantically Enriched Web.
Proceedings of the Foundations of Intelligent Systems, 18th International Symposium, 2009

Construction of Messaging-Based Enterprise Integration Solutions Using AI Planning.
Proceedings of the Advances in Software Engineering Techniques, 2009

Bee Hive at Work: Story Tracking Case Study.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009

Personalized web search using context enhanced query.
Proceedings of the 2009 International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing, 2009

2008
Web search engine working as a bee hive.
Web Intell. Agent Syst., 2008

Extension of Rescheduling Based on Minimal Graph Cut.
Proceedings of the SOFSEM 2008: Theory and Practice of Computer Science, 2008

Bridging the Gap Between Service-Oriented and Object-Oriented Architectures in Information Systems Development.
Proceedings of the Advances in Information Systems Research, Education and Practice, 2008

Context Search Enhanced by Readability Index.
Proceedings of the Artificial Intelligence in Theory and Practice II, 2008

2007
Building an Ontological Base for Experimental Evaluation of Semantic Web Applications.
Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

Expressivity of STRIPS-Like and HTN-Like Planning.
Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2007

Context Search.
Proceedings of the 2007 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2007

Exploring Social Behaviour of Honey Bees Searching on the Web.
Proceedings of the 2007 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2007

2006
Web Search Engine as a Bee Hive.
Proceedings of the 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 2006

Reuse of Patterns' Source Code.
Proceedings of the Knowledge-Based Software Engineering, 2006

2005
Experiences with Designing a Team Project Module for Teaching Teamwork to Students.
J. Comput. Inf. Technol., 2005

An Approach for Integrating Analysis Patterns and Feature Diagrams into Model Driven Architecture.
Proceedings of the SOFSEM 2005: Theory and Practice of Computer Science, 2005

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

Special issue on ADBIS 2002: advances in databases and information systems.
Inf. Syst., 2004

2003
Report on the 6th ADBIS'2002 Conference.
Comput. Artif. Intell., 2003

2002
Intelligent Support for Information Retrieval of Web Documents.
Comput. Artif. Intell., 2002

Semantic Similarity in Content-Based Filtering.
Proceedings of the Advances in Databases and Information Systems, 2002

Intelligent Support for Information Retrieval in WWW Environment.
Proceedings of the Advances in Databases and Information Systems, 2002

2000
Combining Content-Based and Collaborative Filtering.
Proceedings of Chalenges, 2000

1999
Software engineering education: different contexts, similar contents.
ACM SIGCSE Bull., 1999

An Approach to Automated Building of Software System Configurations.
Int. J. Softw. Eng. Knowl. Eng., 1999

Representing Design Patterns as Design Components.
Proceedings of the Advances in Databases and Information Systems, 1999

1998
Learning Programming in Prolog Using Schemata.
ACM SIGPLAN Notices, 1998

Use of Program Schemata in Lisp Programming: an Evaluation of its Impact on Learning.
Informatica, 1998

Modelling Versioned Hypertext Documents.
Proceedings of the System Configuration Management, 1998

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

An Experience with the Use of Systems Engineer Case Tool.
Int. J. Softw. Eng. Knowl. Eng., 1997

A Prolog Technique of Implementing Search of A/O Graphs with Constraints.
Comput. Artif. Intell., 1997

Identification of Versions in Databases of Software Components.
Proceedings of the First East-European Symposium on Advances in Databases and Information Systems (ADBIS'97), 1997

A Multi-Level Logic Programming Model of a Query Optimizer.
Proceedings of the First East-European Symposium on Advances in Databases and Information Systems (ADBIS'97), 1997

1996
Knowledge-Controlled Version Selection in Software Configuration Management.
Softw. Concepts Tools, 1996

Knowledge based method for building a software system configuration.
Knowl. Based Syst., 1996

Experiment in Knowledge Based Programing.
J. King Saud Univ. Comput. Inf. Sci., 1996

Survey of Knowledge Based Approaches to Automating Program Formation.
J. King Saud Univ. Comput. Inf. Sci., 1996

A closer look at programming expertise: critical survey of some methodological issues.
Inf. Softw. Technol., 1996

Intelligent Support for Program Development.
Proceedings of the 8th Annual Workshop of the Psychology of Programming Interest Group, 1996

What is the knowledge that knowledge based programming is based on?: An analysis.
Proceedings of the 8th Annual Workshop of the Psychology of Programming Interest Group, 1996

1995
Representing Calendrical Algorithms and Data in Prolog and Prolog III.
ACM SIGPLAN Notices, 1995

1994
Hierarchies of programming concepts: abstraction, generality, and beyond.
ACM SIGCSE Bull., 1994

1987
Using Automatic Program Synthesizer as a Problem Solver: Some Interesting Experiments.
Proceedings of the EUROCAL '87, 1987

1985
The programming language Pascal (in teaching perspective): take it or leave it.
ACM SIGPLAN Notices, 1985


  Loading...