Publications

Pavol Návrat

| Homepage | Contact | Publications |



2015

Navrat P. a kol.
Odporúčanie pre softvérových inžinierov. Nakladateľstvo STU, Bratislava, 2015. ISBN online 978-80-227-4495-9

Loch L., Navrat P., Kovarova A.
Answering questions based on gradually learned knowledge from the web using lightweight semantics. In Proceedings of the 16th International Conference on Computer Systems and Technologies (CompSysTech '15), Boris Rachev and Angel Smrikarov (Eds.). ACM, New York, NY, USA, 192-198.

Navrat P., Chuda D.
Web by the People, for the People, of the People. Invited lecture. IEEE 19th International Conference on Intelligent Engineering Systems 2015 (INES 2015), Bratislava, Vol. 19, 31-37.

Adamko M., Navrat P., Kovarova A.
Personalised Recommendation of Who to Follow Based on Fellowship of Followers. Computing and Information Systems, 19 (2015), 1, 1-5. ISSN 1352-9404.

Sabo S., Kovarova A., Navrat P.
Multiple developing news stories identified and tracked by social insects and visualized using the new galactic streams and concurrent streams metaphors. International Journal of Hybrid Intelligent Systems, 12 (2015), 1, 27-39. ISSN 1448-5869.

Konopka M., Navrat P., Bielikova M.
Poster: Discovering Code Dependencies by Harnessing Developer’s Activity. In Proc. of ICSE 2015. Poster. IEEE CS. 2015. 801-802. IEEExplore 10.1109/ICSE.2015.255

Konopka M., Navrat P.
Untangling Development Tasks with Software Developer's Activity. In 2015 IEEE/ACM 2nd International Workshop on Context for Software Development (CSD). IEEE CS. 2015. 13-14. IEEExplore DOI 10.1109/CSD.2015.10

2014

Navrat P. a kol.
Weboveda: východiská, predmet, metódy. Nakladateľstvo STU, Bratislava, 2014. ISBN online 978-80-227-4264-1

Bou Ezzeddine A., Kasala S., Navrat P.
Applying the Firefly Approach to the DNA Fragments Assembly Problem. Annales Univ. Sci. Budapest., Sect. Comp. 42 (2014) 69-81. ISSN: 0138-9491
to Homepage to the Top

2013

Zilincik M, Navrat P, Koskova G
Exploratory Search on Twitter Utilizing User Feedback and Multi-Perspective Microblog Analysis. PLoS ONE 8(11):e78857. doi:10.1371/journal.pone.0078857. eISSN-1932-6203

Pavol Navrat - Stefan Sabo
Beehive Based Machine to Give Snapshot of the Ongoing Stories on the Web. M.L. Gavrilova et al. (Eds.): Transactions on Computational Science XXI, LNCS 8160, pp. 296–314, 2013. ISSN: 1866-4733 (print version). ISSN: 1866-4741 (electronic version). pdf

Stefan Sabo - Pavol Navrat
Social insect inspired approach for identification and dynamic tracking of news stories on the Web. 2013 World Congress on Nature and Biologically Inspired Computing (NaBIC), pp.226-231, doi: 10.1109/NaBIC.2013.6617867. IEEE Catalog Number: CFP1395H-ART. ISBN: 978-1-4799-1415-9. IEEEXplore.

Bieliková, M., Návrat, P., Chudá, D., Polášek, I., Barla, M., Tvarožek, J. & Tvarožek, M.
Webification of Software Development: General Outline and the Case of Enterprise Application Development. Global Journal on Technology (formerly AWERProcedia Information Technology & Computer Science). [Online]. 2013, 3, pp 1157-1162.
to Homepage to the Top

2012

Pavol Navrat
Cognitive traveling in digital space: from keyword search through exploratory information seeking. Central European Journal of Computer Science, Vol. 2, No. 3, 170-182, 2012. ISSN: 1896-1533. DOI: 10.2478/s13537-012-0024-6. Pre-Publish version.

Jaroslav Michalco - Pavol Navrat
Arrangement of Face-to-face Meetings Using Social Media. Studies in Informatics and Control, ISSN 1220-1766, vol. 21 (4), pp. 383-392, 2012. Pre-Publish version.

Pavol Navrat - Stefan Sabo
What’s going on out there right now? A beehive based machine to give snapshot of the ongoing stories on the Web. In: World Congress on Nature and Biologically Inspired Computing (NaBIC'12). Mexico, 2012. IEEEXplore pdf. Pre-Publish version.

Aurel Paulovic - Pavol Navrat
Designing a Software Transactional Memory for Peer-to-Peer Systems. In: New Trends in Databases and Information Systems. Advances in Intelligent Systems and Computing, 2013, Volume 185, Part 7, 395-401, DOI: 10.1007/978-3-642-32518-2_37, Springer-Verlag Berlin Heidelberg, 2012.

Návrat, Pavol - Bou Ezzeddine, Anna - Jastrzembská, Lucia - Jelínek, Tomáš
The Bee Hive At Work: Exploring its Searching and Optimizing Potential. INFOCOMP Journal of Computer Science, v. 11, no. 1, p. 32-40, March of 2012. ISSN 1807-4545.

L. Martinsky, P. Navrat
Query formulation improved by suggestions resulting from intermediate web search results. Computing anf Information Systems Journal. Vol.16 (2012), No. 1. p. 56-73. ISSN 1352-9404.

Peter Kajsa - Pavol Navrat
Design Pattern Support at Source Code Level Based on Annotations and Feature Models. In: Lecture Notes in Computer Science. - ISSN 0302-9743. - Vol. 7147 SOFSEM 2012: Theory and Practice of Computer Science : 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 2012, Proceedings (2012). - : Springer-Verlag Berlin Heidelberg, s. 467-478
to Homepage to the Top

2011

Tomas Kuzar, Pavol Navrat
Slovak Blog Clustering Enhanced by Mining the Web Comments. In: Proceedings of the 2011 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT 2011, Campus Scientifique de la Doua, Lyon, France, August 22-27, 2011, pp. 293-296, doi: 10.1109/WI-IAT.2011.150.

Pavol Navrat
From Keyword Search Towards Exploratory Information Seeking, And Beyond. In: (V.Novitzká, Š.Hudák, eds.) Proceedings of the Eleventh International Conference on Informatics INFORMATICS’2011, Technical University of Košice, 2011, ISBN 978-80-89284-94-8, pp.9-15 (invited paper).

Peter Kajsa - Lubomir Majtas - Pavol Navrat
Design Pattern Instantiation Directed by Concretization and Specialization. Computer Science and Information Systems, Volume 08, Issue 01 (January 2011), 41-72. ISSN: 1820-0214, DOI:10.2298/CSIS091212032K.

Miroslav Liska - Pavol Navrat
SPEM Ontology as the Semantic Notation for Method and Process Definition in the Context of SWEBOK. Computer Science and Information Systems, Vol. 8, No. 2, 299-315. (2011)

Chudá, Daniela - Návrat, Pavol - Kovacova, Bianka - Humay, Pavel
The Issue of (Software) Plagiarism: A Student View. IEEE Transactions on Education, date of online publication February 24, 2011; date of paper version February 03, 2012: Vol. 55, No. 1, 2012, 22-28. Digital Object Identifier: 10.1109/TE.2011.2112768. (IEEE Explore)

to Homepage to the Top

2010

Kuzar Tomas - Návrat, Pavol
Preprocessing of Slovak Blog Articles for Clustering. In Proceedings of Web Intelligence and Intelligent Agent Technology (WI-IAT), 2010 IEEE/WIC/ACM International Conference on, Volume: 3, pp. 314-317. DOI:10.1109/WI-IAT.2010.273

Liska, Miroslav - Návrat, Pavol
An Approach to Project Planning Employing Software and Systems Engineering Meta-Model Represented by an Ontology. Computer Science and Information Systems, Volume 07, Issue 04 (December 2010), 722-736. ISSN: 1820-0214, DOI:10.2298/CSIS091110030L.

Liska, Miroslav - Návrat, Pavol
An Ontology Driven Approach to Software Project Enactment with a Supplier. In: Lecture Notes in Computer Science, 2011, Volume 6295, Advances in Databases and Information Systems, Pages 378-391.

Mederly, Pavol - Návrat, Pavol
Construction of Messaging-Based Integration Solutions Using Constraint Programming. In: Lecture Notes in Computer Science, 2011, Volume 6295, Advances in Databases and Information Systems, Pages 579-582.

Suchal, Jan - Návrat, Pavol
Full Text Search Engine as Scalable k-Nearest Neighbor Recommendation System. In: Artificial Intelligence in Theory and Practice III IFIP Advances in Information and Communication Technology, 2010, Volume 331/2010, 165-173.

Návrat, Pavol - Bou Ezzeddine, Anna
Bee Hive at Work: Following a Developing Story on the Web. In: Artificial Intelligence in Theory and Practice III IFIP Advances in Information and Communication Technology, 2010, Volume 331/2010, 187-196.

Návrat, Pavol - Bou Ezzeddine, Anna - Jastrzembská, Lucia - Jelínek, Tomáš
Exploring the bee hive metaphor as a model for problem solving: search, optimisation, and more. In: Zeeshan-ul-hassan Usmani PhD (Ed.): Web Intelligence and Intelligent Agents. - Vukovar : In-Tech, 2010. - ISBN 978-953-7619-85-5. - S. 429-446

Chudá, Daniela - Návrat, Pavol
Support for checking plagiarism in e-learning. In: WCES 2010 Abstracts Book. World Conference on Educational Sciences, February 4-8, 2010, Istanbul, Turkey (2010), nestr.

Chudá, Daniela - Návrat, Pavol
Support for checking plagiarism in e-learning. Procedia - Social and Behavioral Sciences, Vol. 2, No. 2, 2010, s. 3140-3144. - ISSN 1877-0428.

to Homepage to the Top

2009

Bieliková, Mária - Návrat, Pavol
Adaptive web-based portal for effective learning programming. Communication & Cognition. - ISSN 0378-0880. - Vol. 42, No. 1/2 (2009), s. 75-88

Návrat, Pavol - Paralič, Ján
Acquiring, Organising and Presenting Information and Knowledge on the Web. Computing and Informatics. - ISSN 1335-9150. - Vol. 28, No. 4 (2009), s. 393-398

Kuzár, Tomáš - Návrat, Pavol
Burst Moment Estimation for Information Propagation. In: Advances in Soft Computing, 2010, Volume 67, Advances in Intelligent Web Mastering - 2 : Proceedings of the 6th Atlantic Web Inteligence Conference - AWIC´2009, Prague, CzR. - : Springer Science+Business Media B.V., 2010. - ISBN 978-3-642-10686-6. - S. 147-154

P. Návrat, L. Jastrzembska, T. Jelinek
Bee Hive At Work: A Problem Solving, Optimizing Mechanism. World Congress on Nature and Biologically Inspired Computing (NaBIC'09). Coimbatore, India, Dec 09-11, 2009. - Print ISBN: 978-1-4244-5053-4 : IEEE Computer Society, 2009. - - S. 122-127 (IEEE CS library) (IEEE Xplore)

Rozinajova, V.; Kasan, M.; Navrat, P.
Towards More Effective Support of Service Composition: Utilizing AI-planning, Semantics and User's Assistance. Fifth International Conference on Next Generation Web Services Practices, 2009. NWESP '09. Prague 2009. - Print ISBN: 978-0-7695-3821-1 : IEEE Computer Society, 2009. - - S. 50-55 (IEEE CS library) (IEEE Xplore)

M. Kajaba, P. Návrat, D. Chudá
A Simple Personalization Layer Improving Relevancy of Web Search. Computing anf Information Systems Journal. Vol.13 (2009), No. 3. p. 29-35.

M. Kajaba, P. Návrat
Personalized Web Search Using Context Enhanced Query. ACM International Conference Proceedings Series. Ruse 2009, Bulgarian Chapter of ACM, IIIA 18-1 -18-6 - ISSN 1313-8936.

Mederly, Pavol - Lekavý, Marián - Závodský, Marek - Návrat, Pavol
Messaging-Based Enterprise Integration Solutions Using AI Planning. Preprint of the Proceedings of the 4th IFIP TC2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. - Krakow : AGH University of Science and Technology, 2009. - S. 37-50.

Mederly, Pavol - Lekavý, Marián - Návrat, Pavol
Service Adaptation Using AI Planning Techniques. Proceedings of the 2009 Fifth International Conference on Next Generation web Services Practices, NWeSP 2009, 9-11 September 2009, Prague, Czech Republic. - Los Alamitos, Califonia : IEEE Computer Society, 2009. - ISBN 978-0-7695-3821-1. - S. 56-59 (IEEE CS library)

P. Návrat, L. Jastrzembska, T. Jelinek
Bee Hive At Work: Story Tracking Case Study. 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology. Milan, Italy, 15-18 September 2009. - : IEEE Computer Society, 2009. - ISBN 978-0-7695-3801-3. - S. 117-120 (IEEE CS library) (IEEE Xplore)

Návrat, Pavol - Bieliková, Mária - Chudá, Daniela - Rozinajová, Viera
Intelligent Information Processing in Semantically Enriched Web. In: Lecture Notes in Computer Science. - ISSN 0302-9743. - Vol. 5722 Foundations of Intelligent Systems : 18th International Symposium ISMIS 2009, Prague, September 2009, Proceedings (2009). - : Springer-Verlag Berlin Heidelberg. - ISBN 3-642-04124-8, s. 331-340

to Homepage to the Top

2008

P. Navrat, M. Kovacik, A.Bou Ezzeddine, V.Rozinajová
Web Search Engine Working as a Bee Hive. Web Intelligence and Agent Systems: An International Journal. Vol.6 (2008). IOS Press, p. 441-452.

Rozinajová, Viera - Braun, Marek - Návrat, Pavol - Bieliková, Mária
Bridging the gap between service-oriented and object-oriented approach in information systems development. In: IFIP Series. - ISSN 1571-5736. - Vol. 274: Advances in Information Systems Research, Education and Practice. IFIP 20th World Computer Congress, TC 8, Information Systems, Septmber 7-10, 2008, Milano, Italy (2008). - New York : Springer Science+Business Media, LLC. p. 125-134

Návrat, Pavol - Taraba, Tomáš - Bou Ezzeddine, Anna - Chudá, Daniela
Context Search Enhanced by Readability Index. In: IFIP Series. - ISSN 1571-5736. - Vol. 276: Artificial Intelligence in Theory and Practice II. IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy (2008). - New York : Springer Science+Business Media, LLC. - p. 373-382

Lekavý, Marián - Návrat, Pavol
Extension of Rescheduling Based on Minimal Graph Cut. In: Lecture Notes in Computer Science. - Berlin Heidelberg : Springer. - ISSN 0302-9743. - Vol. 4910 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. - Berlin : Springer-Verlag Berlin Heidelberg, 2008. - , p. 340-351

Bieliková, Mária - Návrat, Pavol
Adaptívny webový portál pre výučbu programovania. In: Znalosti 2008: 7. ročník konferencie, Bratislava 13.-15. februára 2008. Zborník príspevkov. - Bratislava : STU v Bratislave FIIT, 2008. p. 413-416

to Homepage to the Top

2007

P. Navrat, M. Bieliková, V. Rozinajova
Acquiring, Organising and Presenting Information and Knowledge from the Web. Communication and Cognition, Vol. 40, Nr 1-2, 2007, p. 37-44.

P. Navrat, T. Taraba
Context Search. In: Y. Li, V.V. Raghavan, A. Broder, H. Ho: 2007 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology (Workshops), Silicon Valley, USA, 2-5 November 2007. - Los Alamitos USA : IEEE Computer Society, 2007. ISBN 0-7695-3028-1. p. 99-102. (IEEE Xplore) (IEEE CS library)

P. Navrat, L. Jastrzembska, T. Jelinek, A.Bou Ezzeddine, V.Rozinajová
Exploring Social Behaviour of Honey Bees Searching on the Web. In: Y. Li, V.V. Raghavan, A. Broder, H. Ho: 2007 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology (Workshops), Silicon Valley, USA, 2-5 November 2007. - Los Alamitos USA : IEEE Computer Society, 2007. ISBN 0-7695-3028-1. p. 21-25. (IEEE CS library)

P. Navrat, M.Kovacik, A.Bou Ezzeddine, V.Rozinajová
Metafora včelieho úľa – model vyhľadávania a odporúčania informácií. In: Kognícia a umelý život 2007, Smolenice 2007, pp. 249-258.

P. Navrat, M.Kovacik, A.Bou Ezzeddine, V.Rozinajová
Vyhľadávanie informácií pomocou včiel. In: Znalosti 2007, Ostrava 2007, pp. 63-74.

Lekavý, Marián - Návrat, Pavol
Expressivity of STRIPS-Like and HTN-Like Planning. In: Lecture Notes in Artificial Intelligence. Subseries of LNCS. - ISSN 0302-9743. - Vol. 4496 Agent and multi-agent Systems. Technologies and applications. 1st KES International Symposium, KES-AMSTA 2007, Wroclaw, poland, May/June 2007 (2007). - : Springer-Verlag Berlin Heidelberg. - ISBN 978-3-540-72829-0, s. 121-130

P. Bartalos, M. Barla, G. Frivolt, M. Tvarožek, A. Andrejko, M. Bieliková, P. Návrat
Building an Ontological Base for Experimental Evaluation of Semantic Web Applications. In Lecture Notes in Computer Science 4362, Sofsem 2007, Jan van Leeuwen et al. (Eds.), Springer-Verlag, 682–692.

to Homepage to the Top

2006

P. Navrat
Bee Hive Metaphor for Web Search. Communication and Cognition-Artificial Intelligence Vol 23, N° 1-4, 2006, p. 15-20.

Halanova, Z. - Navrat, P. - Rozinajová, V.
A Tool for Searching the Semantic Web for Supplies Matching Demands. Communication and Cognition-Artificial Intelligence Vol 23, N° 1-4, p 77-82, 2006.

P. Navrat, M. Kovacik
Web Search Engine as a Bee Hive. In: 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings)(WI'06), Hong Kong, 2006, pp. 694-701. (IEEE CS library) (IEEE Xplore)

M. Bieliková - P. Návrat.
Selected software engineering studies 2. Slovak University of Technology in Bratislava, Edition of research texts in informatics and information technologies, 2006. (in slovak) (.pdf)

M. Bieliková - P. Návrat.
Selected software engineering studies 1. Slovak University of Technology in Bratislava, Edition of research texts in informatics and information technologies, 2006. (in slovak) (.pdf)

P. Navrat
Accreditation - from programmes to institutions. 18th Annual EAIE Conference on Quality in internationalisation, from theory to practice, Basel 2006, invited lecture.

M. Vnuk - P. Navrat
Decompression of run-time compressed PE-files. Studies in Informatics and Control. Vol. 15, No. 2, 169-180, June 2006.

P. Navrat
Bee Hive Metaphor for Web Search. In: CompSysTech 2006, B. Rachev, A. Smrikarov (Eds.), Veliko Turnovo, Bulgaria, June 2006, IIIA.12-1-7.

Halanova, Z. - Navrat, P. - Rozinajová, V.
A Tool for Searching the Semantic Web for Supplies Matching Demands. In: CompSysTech 2006, B. Rachev, A. Smrikarov (Eds.), Veliko Turnovo, Bulgaria, June 2006, IIIB,18-1-7.

P. Navrat – Bieliková, M. - Rozinajová, V.
Acquiring, Organising and Presenting Information and Knowledge from the Web. In: CompSysTech 2006, B. Rachev, A. Smrikarov (Eds.), Veliko Turnovo, Bulgaria, June 2006, IIIB.19-1-5.

P. Navrat – Bieliková, M.
Tools for Acquiring, Organising and Presenting Knowledge in heterogeneous environment of information sources. In: Paralic, J., Dvorský J., Krátký, M. (Eds.): Proc. Znalosti 2006 5th Annual Conference, 2006, 237-242.

M. Bieliková - P. Návrat.
Developing Web-Based Tools to Support and Enhance Education. Communication and Cognition, vol.39 no.1, 2006. ISSN 03780880. - S. 33-40

to Homepage to the Top

2005

P. Navrat – Bieliková, M. – Rozinajová, V.
Methods and Tools for Acquiring and Presenting Information and Knowledge in the Web. In: CompSysTech 2005, B. Rachev, A. Smrikarov (Eds.), Varna, Bulgaria, June 2005. – pp. IIIB.7.1-IIIB.7.6.

R. Filkorn - P. Navrat.
Feature-based Filtering in Semantic Web. In: Emerging Database Research in East Europe, Proceedings of the Pre-Conference Workshop of VLDB 2003 (ed. B. Thalheim and G. Fiedler), Computer Science Reports, Brandenburg University of Technology at Cottbus, Report 14/03, ISSN 1437-7969, pages 46 – 50.

P. Navrat – R. Filkorn.
A Note on the Role of Abstraction and Generality in Software Development. Journal of Computer Science 1(1): 98-102, 2005.

R. Filkorn, P. Navrat.
An Approach for Integrating Analysis Patterns and Feature Diagrams into Model Driven Architecture. In: Peter Vojtáš, Mária Bieliková, Bernadette Charron-Bost (Eds.): SOFSEM 2005: Theory and Practice of Informatics, Lecture Notes in Computer Science 3381, Springer Verlag, Berlin 2005, p.372-375.

M. Bieliková - P. Návrat.
Experiences with Designing a Module for Teaching Teamwork to Students. Journal of Computing and Information Technology, Vol. 13, No. 1, 1-10.

P. Navrat.
Accreditation of study programmes in Slovakia (in Europe). Invited lecture. In: The conference on "Accreditation in the European Higher Education Area - different paths to internationalisation", July 6-8, 2005, German Rectors Conference, Berlin 2005.
to Homepage to the Top

2003

R. Filkorn, P. Navrat.
Feature-based Filtering in Semantic Web. In: Emerging Database Research in East Europe, Proceedings of the Pre-Conference Workshop of VLDB 2003 (ed. B. Thalheim and G. Fiedler), Computer Science Reports, Brandenburg University of Technology at Cottbus, Report 14/03, ISSN 1437-7969, pages 46 – 50.

P. Navrat.
Introducing Accreditation in (Central) Europe: Lessons from Slovakia. In: Proc. INQAAHE Conference, Dublin 2003. lecture presentation

to Homepage to the Top

2002

P. Navrat.
Accreditation and Evaluation in Higher Education in Slovakia. Invited lecture. In: Proc. Quality Assurance and Accreditation in Europe Conference, Cologne 2002.

G. Polčicová, P. Navrat.
Semantic Similarity in Content-based Filtering. In: Proc. of ADBIS2002 - Advances in Databases and Information Systems, Manolopoulos, Y. and Návrat, P. (Eds.), Springer LNCS 2435, pp 80-85, 2002. (.pdf)

R. Koval, P. Navrat.
Intelligent Support for Information retrieval in the WWW Environment. In: Proc. of ADBIS2002 - Advances in Databases and Information Systems, Manolopoulos, Y. and Návrat, P. (Eds.), Springer LNCS 2435, pp 51-64, 2002. (.pdf)

R. Koval, P. Navrat.
Intelligent Support for Information retrieval of Web Documents. Computing and Informatics, 21, 5,2002, pp. 509-528. (.pdf)
to Homepage to the Top

2001

P. Navrat.
Creating Systems in Informatics. In: Proc. Spring Plenum 2001 Information Technology, European Academy of Sciences and Arts and Slovak Academy of Sciences, Veda, Bratislava 2001. Pp. 16-26.

P. Navrat, J. Šafařík.
Informatika v kontexte vied o informáciách. Informatics in the context of Information Sciences. In: M. Jelšina, Š. Hudák (Eds.): Proc. of the Computer Science Education Workshop 2001, Košice, TU 2001. Pp. 7-10.

M. Bieliková, P. Návrat and M. Smolárová.
Reingeneering of Legacy Data and Knowledge for Electromyography Studies. Proc. Of the 5th East European Conference on Advances in Databases and Information Systems /ADBIS 2001/, Vilnius, 25.-28.9.2001. Vol.1, Research Communications. Eds. Caplinskas, A., Eder, J., Vilnius, Technika 2001. Pp. 183-192 (.ps)

M. Bieliková, P. Návrat and M. Smolárová.
Computer Support for Electromyographic Studies. Journal of Electrical Engineering, Vol.52, No.9-10, (2001), pp. 289-293. (.ps)

M. Bieliková, P. Návrat and M. Smolárová.
Collection and Management of EMG Examination Cases. ERCIM News, No.45, April 2001, 43-44. (.pdf)
to Homepage to the Top

2000

P. Navrat.
Higher Education in the Field of Informatics, and Accreditation. In: Proc. Int. Conference Management and Informatics in the New Millenium, Žilina 2000, 9-15.

M. Smolárová, P. Navrat.
Reuse with Design Patterns: Towards Pattern-Based Design. In: Proc. IFIP World Computer Congress, Conference Software: Theory and Practice, Beijing, China, Y. Feng, D. Notkin and M.C. Gaudel (eds.), PHEI - Publishing House of Electronics Industry, pp. 232-235. .ps

P. Návrat, M. Smolárová.
Pattern-Supported Software Development: Rôle of Abstraction and Generality. Technical Report, Slovak University of technology in Bratislava, 2000. .ps

M. Bieliková, P. Návrat, M. Smolárová, P. Kučera, P. Záhon and P. Traubner.
Computer Support for Normative EMG Data Determination. In Proc. of AAITM 2000 - The Int. Workshop on Application of Advanced Information Technologies to Medicine, G. Agre and D. Ziebelin (Eds.), ALEA Publ., ISBN 954-9958-05-1. Varna, September 23-24, 2000. pp. 39-47.

M. Bieliková, P. Návrat and M. Smolárová.
Data Representation for EMG Case Collection and Management. In Proc. of AAITM 2000 - The Int. Workshop on Application of Advanced Information Technologies to Medicine, G. Agre and D. Ziebelin (Eds.), ALEA Publ., Varna 2000. pp. 48-56.

P. Navrat, G. Polčicová.
Recommending WWW information sources using Feature Guided Automated Collaborative Filtering. In: Shi, Z., Faltings, B. and Musen, M. (Eds.): Proceedings of Conference on Intelligent Information Processing at 16th World Computer Congress, 115-118, 2000. (.ps)

G. Polčicová, R. Slovák, P. Navrat.
Combining Content-based and Collaborative Filtering. In: Masunaga, Y., Pokorný, J., Štuller, J., and Thalheim, B.: Proceedings of Challenges, 2000 ADBIS-DASFAA Symposium on Advances in Databases and Infromation Systems, 118-127, 2000. (.ps)

G. Polčicová, P. Navrat.
Combining Content-based and Collaborative Filtering. In Proc. of AAITM 2000 - The Int. Workshop on Application of Advanced Information Technologies to Medicine, G. Agre and D. Ziebelin (Eds.), ALEA Publ., Varna 2000. pp. 103-116.
to Homepage to the Top

1999

M. Bielikova and P. Navrat.
An approach to automated building of software system configurations. International Journal of Software Engineering and Knowledge Engineering, Vol.9, No.1, 73-95, 1999. (.pdf) (.ps)

P. Navrat and M. Bieliková.
Software engineering education: diferent contexts, similar contents. SIGSCE Bulletin, Vol. 31, No. 2, 55-59, 1999. (.ps)


P. Navrat and M. Kotočová.
International Voluntary Accreditation - Meeting the Requirements of Professional Institutions. In: Ľ. Molnár, M. Bieliková (Eds.): 1st Workshop on Higher Education in Informatics, Smolenice, 13-22, 1999.

P. Navrat.
Evaluation and Accreditation of Science and Higher Education in Slovakia. In: S. Buehrer, S. Kuhlmann (Eds.): Evaluation of Science and Technology in the New Europe. Proceedings of an International Conference, Frauenhofer Institute for Systems and Innovation Research, Berlin 1999, pp. 161-162.

M. Bielikova and P. Navrat.
Team projects as a means to learn some aspects of development process of information systems. In Proc. of ISM'99 - Information Systems Modelling, T. Hruška (Ed.), MARQ Ostrava, Czech Republic, April 27-29, pages 59-66, 1999. (.ps)

M. Smolárová, P. Návrat.
Representing Design Patterns as Design Components. In: Proc. of Short Papers ADBIS'99 - Advances in Databases and Information Systems, Maribor, Slovenia, J. Eder, I. Rozman and T. Welzer (eds.), pp. 140-148. .ps

to Homepage to the Top

1998

P. Navrat and M. Bielikova.
The context and the contents of software engineering education in Slovakia. In Proc. of SEES'98 - The Software Engineering Education Symposium, P. Klint and J.R. Nawrocki (Eds.), Scientific Publishers OWN, Poznań, Poland, November 18-20, pages 141-148. (.ps)


M. Smolarova, P. Navrat and M. Bielikova.
Abstracting and generalising with design patterns. In ISCIS'98 - The 13th Int. Symposium on Computer and Information Sciences, A. Gürsoy U. Güdükbay, T. Dayar and E. Gelenbe (Eds.), Belek-Antalya, Turkey, October 26-28, pages 551-558, IOS Press, Amsterdam. .ps

M. Bielikova and P. Navrat.
Modelling versioned hypertext documents. In B. Magnusson, editor, System Configuration Management, ECOOP'98 SCM-8 Symposium, pages 188-197, Brussels, Belgium, July 1998. Springer-Verlag, LNCS 1439. (.ps)

M. Smolarova, P. Navrat and M. Bieliková.
A technique for modelling design patterns. In P. Navrat and H. Ueno, editors, Knowledge-Based Software Engineering - JCKBSE'98, pages 89-97, Smolenice, Sept., 1998. IOS Press, Amsterdam. .ps

M. Duriancik and P. Navrat.
Adding a visual dimension to formal specifications in Z. In: Navrat, P. and Ueno, H. (Eds.): Knowledge-Based Software Engineering, Proc. Third Joint Conference on Knowledge-Based Software Engineering, IOS Press, 1998, pp. 47-54.

I. Koziak and P. Navrat.
ANALYZER's approach to knowledge representation for automated program recognition. In: Navrat, P. and Ueno, H. (Eds.): Knowledge-Based Software Engineering, Proc. Third Joint Conference on Knowledge-Based Software Engineering, IOS Press, 1998, pp. 140-148.

M. Bielikova and P. Navrat.
Use of program schemata in lisp programming: an evaluation of its impact on learning. Informatica, 9(1):5--20, 1998. (.ps)

P. Navrat and L. Molnár.
Curricula transformation in the countries in transition: An experience from Slovakia. IEEE Transactions in Education, Vol. 41, 2(1998), 48-51. (IEEE Xplore) (IEEE CS library)

M. Bielikova and P. Navrat.
Learning programming in prolog using schemata. ACM SIGPLAN Notices, 33(2):41-47, February, 1998. (.ps)
to Homepage to the Top

1997

P. Navrat.
Development of Software Related Curricula. In: P. Brna and D. Dicheva (eds.): Proc. Eighth Int. PEG Conference "Meeting the challenge of the new technologies", Sozopol, 1997, invited lecture, 11-20.

M. Bielikova and P. Navrat.
A Schema-Based Approach to Teaching Programming in Lisp and Prolog. In: P. Brna and D. Dicheva (eds.): Proc. Eighth Int. PEG Conference "Meeting the challenge of the new technologies", Sozopol, 1997, 22-29. (.ps)

P. Navrat.
A note on using artificial intelligence techniques in software engineering. Journal of Electrical Engineering, 48(3-4):105-112,1997.

M. Bielikova and P. Navrat.
An experience with the use of Systems Engineer CASE tool. Journal of Software Engineering and Knowledge Engineering, 7(1997), 2, 253-259. (.ps)

M. Smolarova and P. Navrat.
Software Reuse: Principles, Patterns, Prospects. Journal of Computing and Information Technology, 5(1997), 1, 33-48. (.ps)

M. Bielikova and P. Navrat.
Knowledge-based systems development tools evaluation: Educational point of view. In D. Kalpic and V.H. Dobric, editors, 19th Int. Conf. on Information Technology Interfaces, ITI'97, pp.91-98, Pula, Croatia, June, 1997. (.ps)

M. Bielikova, B. Finance, G. Gardarin, L. Molnár, P. Navrat, M. Smolarova, and Z.H. Tang.
Modeling a query optimizer with multi-level logic programming. Revue ingenierie des systemes d'information, 5, 195-218, 1997.

M. Bielikova and P. Navrat.
A Prolog technique of implementing search of A/O graphs with constraints. Computers and Artificial Intelligence, 16(4), 377-400, 1997. (.ps)

M. Bielikova and P. Navrat.
A multilevel knowledge representation of strategies for combining modules.. 7th Int. Conf. Artificial Intelligence and Information-control Systems of Robots'97, pp.155-168, 1997, World Scientific. (.ps)

M. Bielikova and P. Navrat.
Identification of versions in databases of software components. Advances in Databases and Information Systems - ADBIS'97, pp.367-370, 1997. (.ps)

M. Bielikova, B. Finance, P. Navrat.
A multi-level logic programming model of a query optimizer. In: R. Manthey, V. Wolfengagen (Eds.): Advances in Databases and Information Systems, Proc. of the First East-European Symposium ADBIS'97, St. Petersburg, Springer Electronic Workshops in Computing , pp. 1-11.
to Homepage to the Top

1996


Publications are linked to their abstracts. An option to download postscript files is available.
P. Navrat.
What is the knowledge that knowledge based programming is based on?: an analysis. In P. Vanneste, K. Bertels, B. De Decker, and J.M. Jaques, editors, Proc. 8th Annual Workshop Psychology of Programming Interest Group, invited lecture, 161-162, Gent, 1996.

P. Navrat, M. Bielikova, I. Koziak, V. Rozinajova, and M. Smolarova.
Intelligent support for program development. In P. Vanneste, K. Bertels, B. De Decker, and J.M. Jaques, editors, Proc. 8th Annual Workshop Psychology of Programming Interest Group, invited lecture, 161-162, Gent, 1996. (.ps)

P. Navrat.
A closer look at programming expertise: critical survey of some methodological issues.
Information and Software Technology, 38(1):37-46, 1996.

P. Navrat.
Survey of knowledge based approaches to automating program formation.
J. King Saud Univ., Vol. 8, Computer and Information Sciences, 1-19, 1416/1996.

P. Navrat and V. Rozinajová.
Experiment in knowledge based programming.
J. King Saud Univ., Vol. 8, Computer and Information Sciences, 79-110, 1416/1996.

P. Navrat and V. Rozinajova.
Knowledge base programming: an experiment in selecting a data type.
Arab Gulf Journal of Scientific Research, 14(1):79-100, 1996.

L. Molnar and P. Navrat.
Transforming curricula in the transforming countries: experience from Slovakia.
International UNESCO Conference on Informatics and Education, Moscow, 1996.

P. Navrat and M. Bielikova.
Knowledge controlled version selection in software configuration management. Software - Concepts and Tools, 17:40-48, 1996. (.ps)

P. Navrat.
Artificial Intelligence in Slovakia. Informatica, 20(2):249-253, 1996.

M. Bielikova and P. Navrat.
A knowledge based method for building a software system configuration. Knowledge Based Systems, 9(1):61-65, 1996. (.ps)

M. Bielikova, M. Galbavý, I. Kapustík, L. Molnár, and P. Navrat.
Using a CASE tool in developing an information system for Slovak Telecom. In Information Tools and Technologies, pages 159-164, Moscow, October, 1996. International Academy of Automation. (.ps)

M. Bielikova and Navrat P.
Approach to improving software configuration management. In Fifth European Conference on Software Quality, pages 374-383, Trinity College, Dublin, Ireland, 1996. (.ps)

M. Bielikova and P. Navrat.
Space-efficient techniques for storing versions of software components. In Proc. of Scientific Conf. Electronic Computers and Informatics, pages 56-61, Kosice - Herlany, Slovakia, September, 1996. (.ps)

M. Smolárová and P. Navrat.
Recent Directions in Software Development with Reuse: Design Patterns and Beyond. In Proc. of Scientific Conf. Electronic Computers and Informatics, pages 212-217, Kosice - Herlany, Slovakia, September, 1996.
to Homepage to the Top

1995


Publications are linked to their abstracts. An option to download postscript files is available.
M. Bielikova and P. Navrat.
An approach to building a software system configuration using heuristic knowledge. In D. Karpic and V.H. Dobric, editors, Proc. of the 17th International Conference on Information Technology Interfaces ITI'95, pages 575-580, Pula, June, 1995. (.ps)

P. Navrat and M. Bielikova.
Representing calendrical algorithms and data in Prolog and Prolog III languages. ACM SIGPLAN Notices, 30(7):45-51, July, 1995. (.ps)

M. Smolárová and P. Navrat.
Use of PrologIII in Teaching Artificial Intelligence Techniques. In Proc. of 3rd International Conference on Computer Aided Engineering Education CAEE'95, Breza, J. and Donoval, D. and Redhammer, R. (eds.), pages 311-316, Bratislava 1995.

M. Bielikova and P. Navrat.
Modelling software systems in configuration management. Applied Mathematics and Computer Science, 5(4):751-764, 1995. (.ps)
to Homepage to the Top

Pavol Navrat navrat@fiit.stuba.sk