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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
2018
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
Proceedings of the 23rd ACM Symposium on Virtual Reality Software and Technology, 2017
Proceedings of the 23rd ACM Symposium on Virtual Reality Software and Technology, 2017
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
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
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
Proceedings of the 15th International Conference on Computer Systems and Technologies, 2014
2013
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
Cognitive traveling in digital space: from keyword search through exploratory information seeking.
Central Eur. J. Comput. Sci., 2012
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
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
Comput. Sci. Inf. Syst., 2011
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
Proceedings of the Artificial Intelligence in Theory and Practice III, 2010
Proceedings of the Artificial Intelligence in Theory and Practice III, 2010
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
Proceedings of the Advances in Databases and Information Systems, 2010
Proceedings of the Advances in Databases and Information Systems, 2010
2009
Proceedings of the World Congress on Nature & Biologically Inspired Computing, 2009
Proceedings of the Foundations of Intelligent Systems, 18th International Symposium, 2009
Proceedings of the Advances in Software Engineering Techniques, 2009
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009
Proceedings of the 2009 International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing, 2009
2008
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
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
Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2007
Proceedings of the 2007 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2007
Proceedings of the 2007 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2007
2006
Proceedings of the 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 2006
Proceedings of the Knowledge-Based Software Engineering, 2006
2005
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
Inf. Syst., 2004
2003
2002
Comput. Artif. Intell., 2002
Proceedings of the Advances in Databases and Information Systems, 2002
Proceedings of the Advances in Databases and Information Systems, 2002
2000
Combining Content-Based and Collaborative Filtering.
Proceedings of Chalenges, 2000
1999
ACM SIGCSE Bull., 1999
Int. J. Softw. Eng. Knowl. Eng., 1999
Representing Design Patterns as Design Components.
Proceedings of the Advances in Databases and Information Systems, 1999
1998
Use of Program Schemata in Lisp Programming: an Evaluation of its Impact on Learning.
Informatica, 1998
Proceedings of the System Configuration Management, 1998
1997
Book review: Artificial Intelligence by Ian Pratt (The Macmillan Press Ltd, Houndmills, 1994).
SIGART Bull., 1997
Int. J. Softw. Eng. Knowl. Eng., 1997
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
Knowl. Based Syst., 1996
J. King Saud Univ. Comput. Inf. Sci., 1996
A closer look at programming expertise: critical survey of some methodological issues.
Inf. Softw. Technol., 1996
Proceedings of the 8th Annual Workshop of the Psychology of Programming Interest Group, 1996
Proceedings of the 8th Annual Workshop of the Psychology of Programming Interest Group, 1996
1995
ACM SIGPLAN Notices, 1995
1994
ACM SIGCSE Bull., 1994
1987
Using Automatic Program Synthesizer as a Problem Solver: Some Interesting Experiments.
Proceedings of the EUROCAL '87, 1987
1985
ACM SIGPLAN Notices, 1985