default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPavol Návrat
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
[j30]Alena Martonova, Jozef Marcin, Pavol Návrat, Jozef Tvarozek, Gabriela Grmanová:
Automatic Query Refining Based on Eye-Tracking Feedback. Comput. Informatics 38(6): 1341-1374 (2019)- 2018
- [c43]Martin Konopka
, Adam Talian, Jozef Tvarozek, Pavol Návrat:
Data flow metrics in program comprehension tasks. EMIP@ETRA 2018: 2:1-2:6 - 2017
- [j29]Peter Lacko, Peter Kajsa, Pavol Návrat:
Design Pattern Instances within Model Driven Development Based on Abstraction, Concretization and Variability. Comput. Informatics 36(1): 55-85 (2017) - [c42]Juraj Vincur, Pavol Návrat, Ivan Polásek:
VR City: Software Analysis in Virtual Reality Environment. QRS Companion 2017: 509-516 - [c41]Juraj Vincur, Ivan Polásek, Pavol Návrat:
Searching and exploring software repositories in virtual reality. VRST 2017: 75:1-75:2 - [c40]Juraj Vincur, Martin Konopka, Jozef Tvarozek, Martin Hoang, Pavol Návrat:
Cubely: virtual reality block-based programming environment. VRST 2017: 84:1-84:2 - 2015
- [j28]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): 27-39 (2015) - [c39]Lukas Loch, Pavol Návrat, Alena Kovárová:
Answering questions based on gradually learned knowledge from the web using lightweight semantics. CompSysTech 2015: 192-198 - [c38]Martin Konopka, Pavol Návrat:
Untangling Development Tasks with Software Developer's Activity. CSD@ICSE 2015: 13-14 - [c37]Martin Konopka, Pavol Návrat, Mária Bieliková:
Poster: Discovering Code Dependencies by Harnessing Developer's Activity. ICSE (2) 2015: 801-802 - 2014
- [c36]Pavol Návrat, Jozef Tvarozek:
Online programming exercises for summative assessment in university courses. CompSysTech 2014: 341-348 - 2013
- [j27]Pavol Návrat, Stefan Sabo:
Beehive Based Machine to Give Snapshot of the Ongoing Stories on the Web. Trans. Comput. Sci. 21: 296-314 (2013) - [c35]Stefan Sabo, Pavol Návrat:
Social insect inspired approach for identification and dynamic tracking of news stories on the Web. NaBIC 2013: 226-231 - 2012
- [j26]Pavol Návrat:
Cognitive traveling in digital space: from keyword search through exploratory information seeking. Central Eur. J. Comput. Sci. 2(3): 170-182 (2012) - [j25]Daniela Chudá, Pavol Návrat, Bianka Kovácová, Pavel Humay:
The Issue of (Software) Plagiarism: A Student View. IEEE Trans. Educ. 55(1): 22-28 (2012) - [c34]Aurel Paulovic, Pavol Návrat:
Designing a Software Transactional Memory for Peer-to-Peer Systems. ADBIS Workshops 2012: 395-401 - [c33]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: 168-174 - [c32]Peter Kajsa, Pavol Návrat:
Design Pattern Support Based on the Source Code Annotations and Feature Models. SOFSEM 2012: 467-478 - 2011
- [j24]Peter Kajsa, L'ubomír Majtás, Pavol Návrat:
Design pattern instantiation directed by concretization and specialization. Comput. Sci. Inf. Syst. 8(1): 41-72 (2011) - [j23]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): 299-315 (2011) - [c31]Tomas Kuzar, Pavol Návrat:
Slovak Blog Clustering Enhanced by Mining the Web Comments. Web Intelligence/IAT Workshops 2011: 293-296 - 2010
- [j22]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): 721-736 (2010) - [c30]Miroslav Líska, Pavol Návrat:
An Ontology Driven Approach to Software Project Enactment with a Supplier. ADBIS 2010: 378-391 - [c29]Pavol Mederly, Pavol Návrat:
Construction of Messaging-Based Integration Solutions Using Constraint Programming. ADBIS 2010: 579-582 - [c28]Tomas Kuzar, Pavol Návrat:
Preprocessing of Slovak Blog Articles for Clustering. Web Intelligence/IAT Workshops 2010: 314-317 - [c27]Ján Suchal, Pavol Návrat:
Full Text Search Engine as Scalable k-Nearest Neighbor Recommendation System. IFIP AI 2010: 165-173 - [c26]Pavol Návrat, Anna Bou Ezzeddine:
Bee Hive at Work: Following a Developing Story on the Web. IFIP AI 2010: 187-196
2000 – 2009
- 2009
- [c25]Michal Kajaba, Pavol Návrat:
Personalized web search using context enhanced query. CompSysTech 2009: 44 - [c24]Pavol Návrat, Lucia Jastrzembska, Tomas Jelinek:
Bee Hive at Work: Story Tracking Case Study. Web Intelligence/IAT Workshops 2009: 117-120 - [c23]Pavol Mederly, Marián Lekavý, Marek Závodský, Pavol Návrat:
Construction of Messaging-Based Enterprise Integration Solutions Using AI Planning. CEE-SET 2009: 16-29 - [c22]Pavol Návrat, Mária Bieliková, Daniela Chudá, Viera Rozinajová:
Intelligent Information Processing in Semantically Enriched Web. ISMIS 2009: 331-340 - [c21]Pavol Návrat, Tomas Jelinek, Lucia Jastrzembska:
Bee Hive at Work: A Problem Solving, Optimizing Mechanism. NaBIC 2009: 122-127 - 2008
- [j21]Pavol Návrat, Martin Kovacik, Anna Bou Ezzeddine, Viera Rozinajová:
Web search engine working as a bee hive. Web Intell. Agent Syst. 6(4): 441-452 (2008) - [c20]Pavol Návrat, Tomas Taraba, Anna Bou Ezzeddine, Daniela Chudá:
Context Search Enhanced by Readability Index. IFIP AI 2008: 373-382 - [c19]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: 125-134 - [c18]Marián Lekavý, Pavol Návrat:
Extension of Rescheduling Based on Minimal Graph Cut. SOFSEM 2008: 340-351 - [e4]Viliam Geffert, Juhani Karhumäki, Alberto Bertoni, Bart Preneel, Pavol Návrat, Mária Bieliková:
SOFSEM 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Proceedings. Lecture Notes in Computer Science 4910, Springer 2008, ISBN 978-3-540-77565-2 [contents] - [e3]Viliam Geffert, Juhani Karhumäki, Alberto Bertoni, Bart Preneel, Pavol Návrat, Mária Bieliková:
SOFSEM 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Volume II - Student Research Forum. Safarik University, Kosice, Slovakia 2008, ISBN 978-80-7097-697-5 [contents] - 2007
- [c17]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: 21-25 - [c16]Pavol Návrat, Tomas Taraba:
Context Search. Web Intelligence/IAT Workshops 2007: 99-102 - [c15]Marián Lekavý, Pavol Návrat:
Expressivity of STRIPS-Like and HTN-Like Planning. KES-AMSTA 2007: 121-130 - [c14]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: 682-692 - 2006
- [c13]Jaroslav Jakubík, Pavol Návrat:
Reuse of Patterns' Source Code. JCKBSE 2006: 143-146 - [c12]Pavol Návrat, Martin Kovacik:
Web Search Engine as a Bee Hive. Web Intelligence 2006: 694-701 - 2005
- [j20]Mária Bieliková, Pavol Návrat:
Experiences with Designing a Team Project Module for Teaching Teamwork to Students. J. Comput. Inf. Technol. 13(1): 1-10 (2005) - [c11]Roman Filkorn, Pavol Návrat:
An Approach for Integrating Analysis Patterns and Feature Diagrams into Model Driven Architecture. SOFSEM 2005: 372-375 - 2004
- [j19]Pavol Návrat, Yannis Manolopoulos, Gottfried Vossen:
Special issue on ADBIS 2002: advances in databases and information systems. Inf. Syst. 29(6): 437-438 (2004) - [j18]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): 14-16 (2004) - 2003
- [j17]Mária Bieliková, Yannis Manolopoulos, Pavol Návrat:
Report on the 6th ADBIS'2002 Conference. Comput. Artif. Intell. 22(2) (2003) - 2002
- [j16]Robert Koval, Pavol Návrat:
Intelligent Support for Information Retrieval of Web Documents. Comput. Artif. Intell. 21(5) (2002) - [c10]Robert Koval, Pavol Návrat:
Intelligent Support for Information Retrieval in WWW Environment. ADBIS 2002: 51-64 - [c9]Gabriela Polcicová, Pavol Návrat:
Semantic Similarity in Content-Based Filtering. ADBIS 2002: 80-85 - [e2]Yannis Manolopoulos, Pavol Návrat:
Advances in Databases and Information Systems, 6th East European Conference, ADBIS 2002, Bratislava, Slovakia, September 8-11, 2002, Proceedings. Lecture Notes in Computer Science 2435, Springer 2002, ISBN 3-540-44138-7 [contents] - [e1]Yannis Manolopoulos, Pavol Návrat:
Advances in Databases and Information Systems, 6th East European Conference, ADBIS 2002, Bratislava, Slovakia, September 8-11, 2002, Proceedings, Volume 2: Research Communications. Slovak University of Technology, Bratislava 2002, ISBN 80-227-1744-4 [contents] - 2000
- [c8]Gabriela Polcicová, R. Slovák, Pavol Návrat:
Combining Content-Based and Collaborative Filtering. ADBIS-DASFAA Symposium 2000: 118-127
1990 – 1999
- 1999
- [j15]Mária Bieliková, Pavol Návrat:
An Approach to Automated Building of Software System Configurations. Int. J. Softw. Eng. Knowl. Eng. 9(1): 73-95 (1999) - [j14]Pavol Návrat, Mária Bieliková:
Software engineering education: different contexts, similar contents. ACM SIGCSE Bull. 31(2): 55-59 (1999) - [c7]Mária Smolárová, Pavol Návrat:
Representing Design Patterns as Design Components. ADBIS (Short Papers) 1999: 139-147 - 1998
- [j13]Mária Bieliková, Pavol Návrat:
Use of Program Schemata in Lisp Programming: an Evaluation of its Impact on Learning. Informatica 9(1): 5-20 (1998) - [j12]Mária Bieliková, Pavol Návrat:
Learning Programming in Prolog Using Schemata. ACM SIGPLAN Notices 33(2): 41-47 (1998) - [c6]Mária Bieliková, Pavol Návrat:
Modelling Versioned Hypertext Documents. SCM 1998: 188-197 - 1997
- [j11]Mária Bieliková, Pavol Návrat:
A Prolog Technique of Implementing Search of A/O Graphs with Constraints. Comput. Artif. Intell. 16(4): 377-400 (1997) - [j10]Mária Bieliková, Pavol Návrat:
An Experience with the Use of Systems Engineer Case Tool. Int. J. Softw. Eng. Knowl. Eng. 7(2): 253-259 (1997) - [j9]Pavol Návrat:
Book review: Artificial Intelligence by Ian Pratt (The Macmillan Press Ltd, Houndmills, 1994). SIGART Bull. 8(1-4): 35-36 (1997) - [c5]Mária Bieliková, Béatrice Finance, Pavol Návrat:
A Multi-Level Logic Programming Model of a Query Optimizer. ADBIS 1997: 90-96 - [c4]Pavol Návrat, Mária Bieliková:
Identification of Versions in Databases of Software Components. ADBIS 1997: 367-370 - 1996
- [j8]Pavol Návrat:
A closer look at programming expertise: critical survey of some methodological issues. Inf. Softw. Technol. 38(1): 37-46 (1996) - [j7]Pavol Návrat:
Survey of Knowledge Based Approaches to Automating Program Formation. J. King Saud Univ. Comput. Inf. Sci. 8: 1-19 (1996) - [j6]Pavol Návrat, Viera Rozinajová:
Experiment in Knowledge Based Programing. J. King Saud Univ. Comput. Inf. Sci. 8: 79-109 (1996) - [j5]Mária Bieliková, Pavol Návrat:
Knowledge based method for building a software system configuration. Knowl. Based Syst. 9(1): 61-65 (1996) - [j4]Pavol Návrat, Mária Bieliková:
Knowledge-Controlled Version Selection in Software Configuration Management. Softw. Concepts Tools 17(1): 40- (1996) - [c3]Pavol Návrat:
What is the knowledge that knowledge based programming is based on?: An analysis. PPIG 1996: 7 - [c2]Pavol Návrat, Mária Bieliková, Igor Koziak, Viera Rozinajová, Mária Smolárová:
Intelligent Support for Program Development. PPIG 1996: 18 - 1995
- [j3]Pavol Návrat, Mária Bieliková:
Representing Calendrical Algorithms and Data in Prolog and Prolog III. ACM SIGPLAN Notices 30(7): 45-51 (1995) - 1994
- [j2]Pavol Návrat:
Hierarchies of programming concepts: abstraction, generality, and beyond. ACM SIGCSE Bull. 26(3): 17-21 (1994)
1980 – 1989
- 1987
- [c1]Pavol Návrat, Ludovít Molnár, Vladimir Vojtek:
Using Automatic Program Synthesizer as a Problem Solver: Some Interesting Experiments. EUROCAL 1987: 412-423 - 1985
- [j1]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): 77-79 (1985)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
