2008 |
37 | | 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 |
36 | | 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
Springer 2008 |
35 | EE | Pavol Návrat,
Tomas Taraba,
Anna Bou Ezzeddine,
Daniela Chuda:
Context Search Enhanced by Readability Index.
IFIP AI 2008: 373-382 |
34 | EE | Marián Lekavý,
Pavol Návrat:
Extension of Rescheduling Based on Minimal Graph Cut.
SOFSEM 2008: 340-351 |
33 | EE | Pavol Návrat,
Martin Kovacik,
Anna Bou Ezzeddine,
Viera Rozinajova:
Web search engine working as a bee hive.
Web Intelligence and Agent Systems 6(4): 441-452 (2008) |
2007 |
32 | EE | Marián Lekavý,
Pavol Návrat:
Expressivity of STRIPS-Like and HTN-Like Planning.
KES-AMSTA 2007: 121-130 |
31 | EE | 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 |
30 | EE | Pavol Návrat,
Lucia Jastrzembska,
Tomas Jelinek,
Anna Bou Ezzeddine,
Viera Rozinajova:
Exploring Social Behaviour of Honey Bees Searching on the Web.
Web Intelligence/IAT Workshops 2007: 21-25 |
29 | EE | Pavol Návrat,
Tomas Taraba:
Context Search.
Web Intelligence/IAT Workshops 2007: 99-102 |
2006 |
28 | | Jaroslav Jakubík,
Pavol Návrat:
Reuse of Patterns' Source Code.
JCKBSE 2006: 143-146 |
27 | EE | Pavol Návrat,
Martin Kovacik:
Web Search Engine as a Bee Hive.
Web Intelligence 2006: 694-701 |
2005 |
26 | EE | Roman Filkorn,
Pavol Návrat:
An Approach for Integrating Analysis Patterns and Feature Diagrams into Model Driven Architecture.
SOFSEM 2005: 372-375 |
25 | | Mária Bieliková,
Pavol Návrat:
Experiences with Designing a Team Project Module for Teaching Teamwork to Students.
CIT 13(1): 1-10 (2005) |
2004 |
24 | EE | 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) |
23 | EE | 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 |
22 | | Mária Bieliková,
Yannis Manolopoulos,
Pavol Návrat:
Report on the 6th ADBIS'2002 Conference.
Computers and Artificial Intelligence 22(2): (2003) |
2002 |
21 | | 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 |
20 | | Yannis Manolopoulos,
Pavol Návrat:
Advances in Databases and Information Systems, 6th East European Conference, ADBIS 2002, Bratislava, Slovakia, September 8-11, 2002, Proceedings
Springer 2002 |
19 | EE | Robert Koval,
Pavol Návrat:
Intelligent Support for Information Retrieval in WWW Environment.
ADBIS 2002: 51-64 |
18 | EE | Gabriela Polcicova,
Pavol Návrat:
Semantic Similarity in Content-Based Filtering.
ADBIS 2002: 80-85 |
17 | | Robert Koval,
Pavol Návrat:
Intelligent Support for Information Retrieval of Web Documents.
Computers and Artificial Intelligence 21(5): (2002) |
2000 |
16 | | Gabriela Polcicova,
R. Slovák,
Pavol Návrat:
Combining Content-Based and Collaborative Filtering.
ADBIS-DASFAA Symposium 2000: 118-127 |
1999 |
15 | EE | Mária Smolárová,
Pavol Návrat:
Representing Design Patterns as Design Components.
ADBIS (Short Papers) 1999: 139-147 |
14 | EE | Mária Bieliková,
Pavol Návrat:
An Approach to Automated Building of Software System Configurations.
International Journal of Software Engineering and Knowledge Engineering 9(1): 73-96 (1999) |
1998 |
13 | EE | Mária Bieliková,
Pavol Návrat:
Modelling Versioned Hypertext Documents.
SCM 1998: 188-197 |
12 | EE | Mária Bieliková,
Pavol Návrat:
Use of Program Schemata in Lisp Programming: an Evaluation of its Impact on Learning.
Informatica, Lith. Acad. Sci. 9(1): 5-20 (1998) |
11 | | Mária Bieliková,
Pavol Návrat:
Learning Programming in Prolog Using Schemata.
SIGPLAN Notices 33(2): 41-47 (1998) |
1997 |
10 | EE | Pavol Návrat,
Mária Bieliková:
Identification of Versions in Databases of Software Components.
ADBIS 1997: 367-370 |
9 | EE | Mária Bieliková,
Béatrice Finance,
Pavol Návrat:
A Multi-Level Logic Programming Model of a Query Optimizer.
ADBIS 1997: 90-96 |
8 | | Mária Bieliková,
Pavol Návrat:
A Prolog Technique of Implementing Search of A/O Graphs with Constraints.
Computers and Artificial Intelligence 16(4): (1997) |
7 | EE | Mária Bieliková,
Pavol Návrat:
An Experience with the Use of Systems Engineer Case Tool.
International Journal of Software Engineering and Knowledge Engineering 7(2): 253-259 (1997) |
6 | EE | Pavol Návrat:
Book review: Artificial Intelligence by Ian Pratt (The Macmillan Press Ltd, Houndmills, 1994).
SIGART Bulletin 8(1-4): 35-36 (1997) |
1996 |
5 | EE | Pavol Návrat:
A closer look at programming expertise: critical survey of some methodological issues.
Information & Software Technology 38(1): 37-46 (1996) |
4 | EE | Mária Bieliková,
Pavol Návrat:
Knowledge based method for building a software system configuration.
Knowl.-Based Syst. 9(1): 61-65 (1996) |
3 | | Pavol Návrat,
Mária Bieliková:
Knowledge-Controlled Version Selection in Software Configuration Management.
Software - Concepts and Tools 17(1): 40- (1996) |
1995 |
2 | | Pavol Návrat,
Mária Bieliková:
Representing Calendrical Algorithms and Data in Prolog and Prolog III.
SIGPLAN Notices 30(7): 45-51 (1995) |
1987 |
1 | | Pavol Návrat,
Ludovit Molnár,
Vladimir Vojtek:
Using Automatic Program Synthesizer as a Problem Solver: Some Interesting Experiments.
EUROCAL 1987: 412-423 |