@article{DBLP:journals/cai/MartonovaMNTG19,
author = {Alena Martonova and
Jozef Marcin and
Pavol N{\'{a}}vrat and
Jozef Tvarozek and
Gabriela Grmanov{\'{a}}},
title = {Automatic Query Refining Based on Eye-Tracking Feedback},
journal = {Comput. Informatics},
volume = {38},
number = {6},
pages = {1341--1374},
year = {2019},
url = {https://doi.org/10.31577/cai\_2019\_6\_1341},
doi = {10.31577/CAI\_2019\_6\_1341},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cai/MartonovaMNTG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etra/KonopkaTTN18,
author = {Martin Konopka and
Adam Talian and
Jozef Tvarozek and
Pavol N{\'{a}}vrat},
editor = {Roman Bednarik and
Carsten Schulte},
title = {Data flow metrics in program comprehension tasks},
booktitle = {Proceedings of the Workshop on Eye Movements in Programming, EMIP@ETRA
2018, Warsaw, Poland, June 15, 2018},
pages = {2:1--2:6},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3216723.3216728},
doi = {10.1145/3216723.3216728},
timestamp = {Tue, 28 May 2024 17:14:29 +0200},
biburl = {https://dblp.org/rec/conf/etra/KonopkaTTN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/LackoKN17,
author = {Peter Lacko and
Peter Kajsa and
Pavol N{\'{a}}vrat},
title = {Design Pattern Instances within Model Driven Development Based on
Abstraction, Concretization and Variability},
journal = {Comput. Informatics},
volume = {36},
number = {1},
pages = {55--85},
year = {2017},
url = {https://doi.org/10.4149/cai\_2017\_1\_55},
doi = {10.4149/CAI\_2017\_1\_55},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cai/LackoKN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/VincurNP17,
author = {Juraj Vincur and
Pavol N{\'{a}}vrat and
Ivan Pol{\'{a}}sek},
title = {{VR} City: Software Analysis in Virtual Reality Environment},
booktitle = {2017 {IEEE} International Conference on Software Quality, Reliability
and Security Companion, {QRS-C} 2017, Prague, Czech Republic, July
25-29, 2017},
pages = {509--516},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/QRS-C.2017.88},
doi = {10.1109/QRS-C.2017.88},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qrs/VincurNP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vrst/VincurPN17,
author = {Juraj Vincur and
Ivan Pol{\'{a}}sek and
Pavol N{\'{a}}vrat},
editor = {Morten Fjeld and
Marco Fratarcangeli and
Daniel Sj{\"{o}}lie and
Oliver G. Staadt and
Jonas Unger},
title = {Searching and exploring software repositories in virtual reality},
booktitle = {Proceedings of the 23rd {ACM} Symposium on Virtual Reality Software
and Technology, {VRST} 2017, Gothenburg, Sweden, November 8-10, 2017},
pages = {75:1--75:2},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3139131.3141209},
doi = {10.1145/3139131.3141209},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vrst/VincurPN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vrst/VincurKTHN17,
author = {Juraj Vincur and
Martin Konopka and
Jozef Tvarozek and
Martin Hoang and
Pavol N{\'{a}}vrat},
editor = {Morten Fjeld and
Marco Fratarcangeli and
Daniel Sj{\"{o}}lie and
Oliver G. Staadt and
Jonas Unger},
title = {Cubely: virtual reality block-based programming environment},
booktitle = {Proceedings of the 23rd {ACM} Symposium on Virtual Reality Software
and Technology, {VRST} 2017, Gothenburg, Sweden, November 8-10, 2017},
pages = {84:1--84:2},
publisher = {{ACM}},
year = {2017},
url = {https://dl.acm.org/citation.cfm?id=3141785},
timestamp = {Thu, 29 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vrst/VincurKTHN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijhis/SaboKN15,
author = {Stefan Sabo and
Alena Kov{\'{a}}rov{\'{a}} and
Pavol N{\'{a}}vrat},
title = {Multiple developing news stories identified and tracked by social
insects and visualized using the new galactic streams and concurrent
streams metaphors},
journal = {Int. J. Hybrid Intell. Syst.},
volume = {12},
number = {1},
pages = {27--39},
year = {2015},
url = {https://doi.org/10.3233/HIS-140203},
doi = {10.3233/HIS-140203},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijhis/SaboKN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsystech/LochNK15,
author = {Lukas Loch and
Pavol N{\'{a}}vrat and
Alena Kov{\'{a}}rov{\'{a}}},
editor = {Boris Rachev and
Angel Smrikarov},
title = {Answering questions based on gradually learned knowledge from the
web using lightweight semantics},
booktitle = {Proceedings of the 16th International Conference on Computer Systems
and Technologies, CompSysTech, Dublin, Ireland, June 25 - 26, 2015},
pages = {192--198},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2812428.2812435},
doi = {10.1145/2812428.2812435},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compsystech/LochNK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KonopkaN15,
author = {Martin Konopka and
Pavol N{\'{a}}vrat},
editor = {Kelly Blincoe and
Daniela E. Damian and
Giuseppe Valetto and
James D. Herbsleb},
title = {Untangling Development Tasks with Software Developer's Activity},
booktitle = {2nd {IEEE/ACM} International Workshop on Context for Software Development,
{CSD} 2015, Florence, Italy, May 19, 2015},
pages = {13--14},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/CSD.2015.10},
doi = {10.1109/CSD.2015.10},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/KonopkaN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KonopkaNB15,
author = {Martin Konopka and
Pavol N{\'{a}}vrat and
M{\'{a}}ria Bielikov{\'{a}}},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {Poster: Discovering Code Dependencies by Harnessing Developer's Activity},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
pages = {801--802},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.255},
doi = {10.1109/ICSE.2015.255},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/KonopkaNB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsystech/NavratT14,
author = {Pavol N{\'{a}}vrat and
Jozef Tvarozek},
editor = {Boris Rachev and
Angel Smrikarov},
title = {Online programming exercises for summative assessment in university
courses},
booktitle = {Proceedings of the 15th International Conference on Computer Systems
and Technologies, CompSysTech '14, Ruse, Bulgaria, June 27-28, 2014},
pages = {341--348},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2659532.2659628},
doi = {10.1145/2659532.2659628},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compsystech/NavratT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcos/NavratS13,
author = {Pavol N{\'{a}}vrat and
Stefan Sabo},
title = {Beehive Based Machine to Give Snapshot of the Ongoing Stories on the
Web},
journal = {Trans. Comput. Sci.},
volume = {21},
pages = {296--314},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45318-2\_13},
doi = {10.1007/978-3-642-45318-2\_13},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcos/NavratS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nabic/SaboN13,
author = {Stefan Sabo and
Pavol N{\'{a}}vrat},
title = {Social insect inspired approach for identification and dynamic tracking
of news stories on the Web},
booktitle = {Fifth World Congress on Nature and Biologically Inspired Computing,
NaBIC 2013, Fargo, ND, USA, August 12-14, 2013},
pages = {226--231},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/NaBIC.2013.6617867},
doi = {10.1109/NABIC.2013.6617867},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nabic/SaboN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cejcs/Navrat12,
author = {Pavol N{\'{a}}vrat},
title = {Cognitive traveling in digital space: from keyword search through
exploratory information seeking},
journal = {Central Eur. J. Comput. Sci.},
volume = {2},
number = {3},
pages = {170--182},
year = {2012},
url = {https://doi.org/10.2478/s13537-012-0024-6},
doi = {10.2478/S13537-012-0024-6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cejcs/Navrat12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/te/ChudaNKH12,
author = {Daniela Chud{\'{a}} and
Pavol N{\'{a}}vrat and
Bianka Kov{\'{a}}cov{\'{a}} and
Pavel Humay},
title = {The Issue of (Software) Plagiarism: {A} Student View},
journal = {{IEEE} Trans. Educ.},
volume = {55},
number = {1},
pages = {22--28},
year = {2012},
url = {https://doi.org/10.1109/TE.2011.2112768},
doi = {10.1109/TE.2011.2112768},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/te/ChudaNKH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/PaulovicN12,
author = {Aurel Paulovic and
Pavol N{\'{a}}vrat},
editor = {Mykola Pechenizkiy and
Marek Wojciechowski},
title = {Designing a Software Transactional Memory for Peer-to-Peer Systems},
booktitle = {New Trends in Databases and Information Systems, Workshop Proceedings
of the 16th East European Conference, {ADBIS} 2012, Pozna{\'{n}},
Poland, September 17-21, 2012},
series = {Advances in Intelligent Systems and Computing},
volume = {185},
pages = {395--401},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32518-2\_37},
doi = {10.1007/978-3-642-32518-2\_37},
timestamp = {Sat, 19 Oct 2019 20:00:25 +0200},
biburl = {https://dblp.org/rec/conf/adbis/PaulovicN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nabic/NavratS12,
author = {Pavol N{\'{a}}vrat and
Stefan Sabo},
title = {What's going on out there right now? {A} beehive based machine to
give snapshot of the ongoing stories on the Web},
booktitle = {Fourth World Congress on Nature and Biologically Inspired Computing,
NaBIC 2012, Mexico City, Mexico, November 5-9, 2012},
pages = {168--174},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/NaBIC.2012.6402257},
doi = {10.1109/NABIC.2012.6402257},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nabic/NavratS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/KajsaN12,
author = {Peter Kajsa and
Pavol N{\'{a}}vrat},
editor = {M{\'{a}}ria Bielikov{\'{a}} and
Gerhard Friedrich and
Georg Gottlob and
Stefan Katzenbeisser and
Gy{\"{o}}rgy Tur{\'{a}}n},
title = {Design Pattern Support Based on the Source Code Annotations and Feature
Models},
booktitle = {{SOFSEM} 2012: Theory and Practice of Computer Science - 38th Conference
on Current Trends in Theory and Practice of Computer Science, {\v{S}}pindler{\r{u}}v
Ml{\'{y}}n, Czech Republic, January 21-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7147},
pages = {467--478},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27660-6\_38},
doi = {10.1007/978-3-642-27660-6\_38},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/KajsaN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsis/KajsaMN11,
author = {Peter Kajsa and
L'ubom{\'{\i}}r Majt{\'{a}}s and
Pavol N{\'{a}}vrat},
title = {Design pattern instantiation directed by concretization and specialization},
journal = {Comput. Sci. Inf. Syst.},
volume = {8},
number = {1},
pages = {41--72},
year = {2011},
url = {https://doi.org/10.2298/CSIS091212032K},
doi = {10.2298/CSIS091212032K},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/comsis/KajsaMN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsis/LiskaN11,
author = {Miroslav L{\'{\i}}ska and
Pavol N{\'{a}}vrat},
title = {{SPEM} ontology as the semantic notation for method and process definition
in the context of {SWEBOK}},
journal = {Comput. Sci. Inf. Syst.},
volume = {8},
number = {2},
pages = {299--315},
year = {2011},
url = {https://doi.org/10.2298/CSIS101230011L},
doi = {10.2298/CSIS101230011L},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/comsis/LiskaN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/KuzarN11,
author = {Tomas Kuzar and
Pavol N{\'{a}}vrat},
editor = {Jomi Fred H{\"{u}}bner and
Jean{-}Marc Petit and
Einoshin Suzuki},
title = {Slovak Blog Clustering Enhanced by Mining the Web Comments},
booktitle = {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},
pages = {293--296},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/WI-IAT.2011.150},
doi = {10.1109/WI-IAT.2011.150},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iat/KuzarN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsis/LiskaN10,
author = {Miroslav L{\'{\i}}ska and
Pavol N{\'{a}}vrat},
title = {An approach to project planning employing software and systems engineering
meta-model represented by an ontology},
journal = {Comput. Sci. Inf. Syst.},
volume = {7},
number = {4},
pages = {721--736},
year = {2010},
url = {https://doi.org/10.2298/CSIS091110030L},
doi = {10.2298/CSIS091110030L},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/comsis/LiskaN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/LiskaN10,
author = {Miroslav L{\'{\i}}ska and
Pavol N{\'{a}}vrat},
editor = {Barbara Catania and
Mirjana Ivanovic and
Bernhard Thalheim},
title = {An Ontology Driven Approach to Software Project Enactment with a Supplier},
booktitle = {Advances in Databases and Information Systems - 14th East European
Conference, {ADBIS} 2010, Novi Sad, Serbia, September 20-24, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6295},
pages = {378--391},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15576-5\_29},
doi = {10.1007/978-3-642-15576-5\_29},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adbis/LiskaN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/MederlyN10,
author = {Pavol Mederly and
Pavol N{\'{a}}vrat},
editor = {Barbara Catania and
Mirjana Ivanovic and
Bernhard Thalheim},
title = {Construction of Messaging-Based Integration Solutions Using Constraint
Programming},
booktitle = {Advances in Databases and Information Systems - 14th East European
Conference, {ADBIS} 2010, Novi Sad, Serbia, September 20-24, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6295},
pages = {579--582},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15576-5\_50},
doi = {10.1007/978-3-642-15576-5\_50},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adbis/MederlyN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/KuzarN10,
author = {Tomas Kuzar and
Pavol N{\'{a}}vrat},
title = {Preprocessing of Slovak Blog Articles for Clustering},
booktitle = {Proceedings of the 2010 {IEEE/WIC/ACM} International Conference on
Web Intelligence and International Conference on Intelligent Agent
Technology - Workshops, Toronto, Canada, August 31 - September 3,
2010},
pages = {314--317},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/WI-IAT.2010.273},
doi = {10.1109/WI-IAT.2010.273},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iat/KuzarN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip12/SuchalN10,
author = {J{\'{a}}n Suchal and
Pavol N{\'{a}}vrat},
editor = {Max Bramer},
title = {Full Text Search Engine as Scalable k-Nearest Neighbor Recommendation
System},
booktitle = {Artificial Intelligence in Theory and Practice {III} - Third {IFIP}
{TC} 12 International Conference on Artificial Intelligence, {IFIP}
{AI} 2010, Held as Part of {WCC} 2010, Brisbane, Australia, September
20-23, 2010. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {331},
pages = {165--173},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15286-3\_16},
doi = {10.1007/978-3-642-15286-3\_16},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip12/SuchalN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip12/NavratE10,
author = {Pavol N{\'{a}}vrat and
Anna Bou Ezzeddine},
editor = {Max Bramer},
title = {Bee Hive at Work: Following a Developing Story on the Web},
booktitle = {Artificial Intelligence in Theory and Practice {III} - Third {IFIP}
{TC} 12 International Conference on Artificial Intelligence, {IFIP}
{AI} 2010, Held as Part of {WCC} 2010, Brisbane, Australia, September
20-23, 2010. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {331},
pages = {187--196},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15286-3\_18},
doi = {10.1007/978-3-642-15286-3\_18},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip12/NavratE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsystech/KajabaN09,
author = {Michal Kajaba and
Pavol N{\'{a}}vrat},
editor = {Boris Rachev and
Angel Smrikarov},
title = {Personalized web search using context enhanced query},
booktitle = {Proceedings of the 2009 International Conference on Computer Systems
and Technologies and Workshop for PhD Students in Computing, CompSysTech
2009, Rousse, Bulgaria, June 18-19, 2009},
pages = {44},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1731740.1731788},
doi = {10.1145/1731740.1731788},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compsystech/KajabaN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/NavratJJ09,
author = {Pavol N{\'{a}}vrat and
Lucia Jastrzembska and
Tomas Jelinek},
title = {Bee Hive at Work: Story Tracking Case Study},
booktitle = {Proceedings of the 2009 {IEEE/WIC/ACM} International Conference on
Web Intelligence and International Conference on Intelligent Agent
Technology - Workshops, Milan, Italy, 15-18 September 2009},
pages = {117--120},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/WI-IAT.2009.244},
doi = {10.1109/WI-IAT.2009.244},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iat/NavratJJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/MederlyLZN09,
author = {Pavol Mederly and
Mari{\'{a}}n Lekav{\'{y}} and
Marek Z{\'{a}}vodsk{\'{y}} and
Pavol N{\'{a}}vrat},
editor = {Tomasz Szmuc and
Marcin Szpyrka and
Jaroslav Zendulka},
title = {Construction of Messaging-Based Enterprise Integration Solutions Using
{AI} Planning},
booktitle = {Advances in Software Engineering Techniques - 4th {IFIP} {TC} 2 Central
and East European Conference on Software Engineering Techniques, {CEE-SET}
2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7054},
pages = {16--29},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-28038-2\_2},
doi = {10.1007/978-3-642-28038-2\_2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip2/MederlyLZN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/NavratBCR09,
author = {Pavol N{\'{a}}vrat and
M{\'{a}}ria Bielikov{\'{a}} and
Daniela Chud{\'{a}} and
Viera Rozinajov{\'{a}}},
editor = {Jan Rauch and
Zbigniew W. Ras and
Petr Berka and
Tapio Elomaa},
title = {Intelligent Information Processing in Semantically Enriched Web},
booktitle = {Foundations of Intelligent Systems, 18th International Symposium,
{ISMIS} 2009, Prague, Czech Republic, September 14-17, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5722},
pages = {331--340},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04125-9\_36},
doi = {10.1007/978-3-642-04125-9\_36},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ismis/NavratBCR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nabic/NavratJJ09,
author = {Pavol N{\'{a}}vrat and
Tomas Jelinek and
Lucia Jastrzembska},
title = {Bee Hive at Work: {A} Problem Solving, Optimizing Mechanism},
booktitle = {World Congress on Nature {\&} Biologically Inspired Computing, NaBIC
2009, 9-11 December 2009, Coimbatore, India},
pages = {122--127},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/NABIC.2009.5393611},
doi = {10.1109/NABIC.2009.5393611},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nabic/NavratJJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wias/NavratKER08,
author = {Pavol N{\'{a}}vrat and
Martin Kovacik and
Anna Bou Ezzeddine and
Viera Rozinajov{\'{a}}},
title = {Web search engine working as a bee hive},
journal = {Web Intell. Agent Syst.},
volume = {6},
number = {4},
pages = {441--452},
year = {2008},
url = {https://doi.org/10.3233/WIA-2008-0150},
doi = {10.3233/WIA-2008-0150},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/wias/NavratKER08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip12/NavratTEC08,
author = {Pavol N{\'{a}}vrat and
Tomas Taraba and
Anna Bou Ezzeddine and
Daniela Chud{\'{a}}},
editor = {Max Bramer},
title = {Context Search Enhanced by Readability Index},
booktitle = {Artificial Intelligence in Theory and Practice II, {IFIP} 20th World
Computer Congress, {TC} 12: {IFIP} {AI} 2008 Stream, September 7-10,
2008, Milano, Italy},
series = {{IFIP}},
volume = {276},
pages = {373--382},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-0-387-09695-7\_36},
doi = {10.1007/978-0-387-09695-7\_36},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip12/NavratTEC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip8/RozinajovaBNB08,
author = {Viera Rozinajov{\'{a}} and
Marek Braun and
Pavol N{\'{a}}vrat and
M{\'{a}}ria Bielikov{\'{a}}},
editor = {David E. Avison and
George M. Kasper and
Barbara Pernici and
Isabel Ramos and
Dewald Roode},
title = {Bridging the Gap Between Service-Oriented and Object-Oriented Architectures
in Information Systems Development},
booktitle = {Advances in Information Systems Research, Education and Practice -
{IFIP} 20th World Computer Congress, {TC} 8, Information Systems,
September 7-10, 2008, Milano, Italy},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {274},
pages = {125--134},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-0-387-09682-7-9\_10},
doi = {10.1007/978-0-387-09682-7-9\_10},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip8/RozinajovaBNB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/LekavyN08,
author = {Mari{\'{a}}n Lekav{\'{y}} and
Pavol N{\'{a}}vrat},
editor = {Viliam Geffert and
Juhani Karhum{\"{a}}ki and
Alberto Bertoni and
Bart Preneel and
Pavol N{\'{a}}vrat and
M{\'{a}}ria Bielikov{\'{a}}},
title = {Extension of Rescheduling Based on Minimal Graph Cut},
booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference
on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}}
Smokovec, Slovakia, January 19-25, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4910},
pages = {340--351},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77566-9\_29},
doi = {10.1007/978-3-540-77566-9\_29},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/LekavyN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sofsem/2008,
editor = {Viliam Geffert and
Juhani Karhum{\"{a}}ki and
Alberto Bertoni and
Bart Preneel and
Pavol N{\'{a}}vrat and
M{\'{a}}ria Bielikov{\'{a}}},
title = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference
on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}}
Smokovec, Slovakia, January 19-25, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4910},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77566-9},
doi = {10.1007/978-3-540-77566-9},
isbn = {978-3-540-77565-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sofsem/2008-2,
editor = {Viliam Geffert and
Juhani Karhum{\"{a}}ki and
Alberto Bertoni and
Bart Preneel and
Pavol N{\'{a}}vrat and
M{\'{a}}ria Bielikov{\'{a}}},
title = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference
on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}}
Smokovec, Slovakia, January 19-25, 2008, Volume {II} - Student Research
Forum},
publisher = {Safarik University, Kosice, Slovakia},
year = {2008},
isbn = {978-80-7097-697-5},
timestamp = {Tue, 25 Nov 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/2008-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/NavratJJER07,
author = {Pavol N{\'{a}}vrat and
Lucia Jastrzembska and
Tomas Jelinek and
Anna Bou Ezzeddine and
Viera Rozinajov{\'{a}}},
title = {Exploring Social Behaviour of Honey Bees Searching on the Web},
booktitle = {Proceedings of the 2007 {IEEE/WIC/ACM} International Conference on
Web Intelligence and International Conference on Intelligent Agent
Technology - Workshops, 2-5 November 2007, Silicon Valley, CA, {USA}},
pages = {21--25},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/WIIATW.2007.4427531},
doi = {10.1109/WIIATW.2007.4427531},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iat/NavratJJER07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/NavratT07,
author = {Pavol N{\'{a}}vrat and
Tomas Taraba},
title = {Context Search},
booktitle = {Proceedings of the 2007 {IEEE/WIC/ACM} International Conference on
Web Intelligence and International Conference on Intelligent Agent
Technology - Workshops, 2-5 November 2007, Silicon Valley, CA, {USA}},
pages = {99--102},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/WIIATW.2007.4427549},
doi = {10.1109/WIIATW.2007.4427549},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iat/NavratT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesamsta/LekavyN07,
author = {Mari{\'{a}}n Lekav{\'{y}} and
Pavol N{\'{a}}vrat},
editor = {Ngoc Thanh Nguyen and
Adam Grzech and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Expressivity of STRIPS-Like and HTN-Like Planning},
booktitle = {Agent and Multi-Agent Systems: Technologies and Applications, First
{KES} International Symposium, {KES-AMSTA} 2007, Wroclaw, Poland,
May 31- June 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4496},
pages = {121--130},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72830-6\_13},
doi = {10.1007/978-3-540-72830-6\_13},
timestamp = {Thu, 16 Mar 2023 20:00:31 +0100},
biburl = {https://dblp.org/rec/conf/kesamsta/LekavyN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BartalosBFTABN07,
author = {Peter Bartalos and
Michal Barla and
Gy{\"{o}}rgy Frivolt and
Michal Tvarozek and
Anton Andrejko and
M{\'{a}}ria Bielikov{\'{a}} and
Pavol N{\'{a}}vrat},
editor = {Jan van Leeuwen and
Giuseppe F. Italiano and
Wiebe van der Hoek and
Christoph Meinel and
Harald Sack and
Frantisek Pl{\'{a}}sil},
title = {Building an Ontological Base for Experimental Evaluation of Semantic
Web Applications},
booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference
on Current Trends in Theory and Practice of Computer Science, Harrachov,
Czech Republic, January 20-26, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4362},
pages = {682--692},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69507-3\_59},
doi = {10.1007/978-3-540-69507-3\_59},
timestamp = {Fri, 21 Oct 2022 16:47:28 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/BartalosBFTABN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jckbse/JakubikN06,
author = {Jaroslav Jakub{\'{\i}}k and
Pavol N{\'{a}}vrat},
editor = {Enn Tyugu and
Takahira Yamaguchi},
title = {Reuse of Patterns' Source Code},
booktitle = {Knowledge-Based Software Engineering, Proceedings of the Seventh Joint
Conference on Knowledge-Based Software Engineering, {JCKBSE} 2006,
August 28-31, 2006, Tallinn, Estonia},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {140},
pages = {143--146},
publisher = {{IOS} Press},
year = {2006},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=1602},
timestamp = {Tue, 13 Mar 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jckbse/JakubikN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webi/NavratK06,
author = {Pavol N{\'{a}}vrat and
Martin Kovacik},
title = {Web Search Engine as a Bee Hive},
booktitle = {2006 {IEEE} / {WIC} / {ACM} International Conference on Web Intelligence
{(WI} 2006), 18-22 December 2006, Hong Kong, China},
pages = {694--701},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/WI.2006.192},
doi = {10.1109/WI.2006.192},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/webi/NavratK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cit/BielikovaN05,
author = {M{\'{a}}ria Bielikov{\'{a}} and
Pavol N{\'{a}}vrat},
title = {Experiences with Designing a Team Project Module for Teaching Teamwork
to Students},
journal = {J. Comput. Inf. Technol.},
volume = {13},
number = {1},
pages = {1--10},
year = {2005},
url = {https://doi.org/10.2498/cit.2005.01.01},
doi = {10.2498/CIT.2005.01.01},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cit/BielikovaN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/FilkornN05,
author = {Roman Filkorn and
Pavol N{\'{a}}vrat},
editor = {Peter Vojt{\'{a}}s and
M{\'{a}}ria Bielikov{\'{a}} and
Bernadette Charron{-}Bost and
Ondrej S{\'{y}}kora},
title = {An Approach for Integrating Analysis Patterns and Feature Diagrams
into Model Driven Architecture},
booktitle = {{SOFSEM} 2005: Theory and Practice of Computer Science, 31st Conference
on Current Trends in Theory and Practice of Computer Science, Liptovsk{\'{y}}
J{\'{a}}n, Slovakia, January 22-28, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3381},
pages = {372--375},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30577-4\_42},
doi = {10.1007/978-3-540-30577-4\_42},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/FilkornN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/NavratMV04,
author = {Pavol N{\'{a}}vrat and
Yannis Manolopoulos and
Gottfried Vossen},
title = {Special issue on {ADBIS} 2002: advances in databases and information
systems},
journal = {Inf. Syst.},
volume = {29},
number = {6},
pages = {437--438},
year = {2004},
url = {https://doi.org/10.1016/j.is.2003.10.003},
doi = {10.1016/J.IS.2003.10.003},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/NavratMV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Navrat04,
author = {Pavol N{\'{a}}vrat},
title = {Review of "Algorithm design: foundations, analysis and internet examples"
by Michael T. Goodrich and Roberto Tamassia. John Wiley {\&} Sons,
Inc. 2001},
journal = {{SIGACT} News},
volume = {35},
number = {2},
pages = {14--16},
year = {2004},
url = {https://doi.org/10.1145/992287.992293},
doi = {10.1145/992287.992293},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Navrat04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/BielikovaMN03,
author = {M{\'{a}}ria Bielikov{\'{a}} and
Yannis Manolopoulos and
Pavol N{\'{a}}vrat},
title = {Report on the 6th ADBIS'2002 Conference},
journal = {Comput. Artif. Intell.},
volume = {22},
number = {2},
year = {2003},
url = {http://www.cai.sk/ojs/index.php/cai/article/view/454},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cai/BielikovaMN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/KovalN02,
author = {Robert Koval and
Pavol N{\'{a}}vrat},
title = {Intelligent Support for Information Retrieval of Web Documents},
journal = {Comput. Artif. Intell.},
volume = {21},
number = {5},
year = {2002},
url = {http://www.cai.sk/ojs/index.php/cai/article/view/483},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cai/KovalN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/KovalN02,
author = {Robert Koval and
Pavol N{\'{a}}vrat},
editor = {Yannis Manolopoulos and
Pavol N{\'{a}}vrat},
title = {Intelligent Support for Information Retrieval in {WWW} Environment},
booktitle = {Advances in Databases and Information Systems, 6th East European Conference,
{ADBIS} 2002, Bratislava, Slovakia, September 8-11, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2435},
pages = {51--64},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45710-0\_5},
doi = {10.1007/3-540-45710-0\_5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adbis/KovalN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/PolcicovaN02,
author = {Gabriela Polcicov{\'{a}} and
Pavol N{\'{a}}vrat},
editor = {Yannis Manolopoulos and
Pavol N{\'{a}}vrat},
title = {Semantic Similarity in Content-Based Filtering},
booktitle = {Advances in Databases and Information Systems, 6th East European Conference,
{ADBIS} 2002, Bratislava, Slovakia, September 8-11, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2435},
pages = {80--85},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45710-0\_7},
doi = {10.1007/3-540-45710-0\_7},
timestamp = {Tue, 02 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adbis/PolcicovaN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adbis/2002,
editor = {Yannis Manolopoulos and
Pavol N{\'{a}}vrat},
title = {Advances in Databases and Information Systems, 6th East European Conference,
{ADBIS} 2002, Bratislava, Slovakia, September 8-11, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2435},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45710-0},
doi = {10.1007/3-540-45710-0},
isbn = {3-540-44138-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adbis/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adbis/2002l,
editor = {Yannis Manolopoulos and
Pavol N{\'{a}}vrat},
title = {Advances in Databases and Information Systems, 6th East European Conference,
{ADBIS} 2002, Bratislava, Slovakia, September 8-11, 2002, Proceedings,
Volume 2: Research Communications},
publisher = {Slovak University of Technology, Bratislava},
year = {2002},
isbn = {80-227-1744-4},
timestamp = {Thu, 11 Nov 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adbis/2002l.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/PolcicovaSN00,
author = {Gabriela Polcicov{\'{a}} and
R. Slov{\'{a}}k and
Pavol N{\'{a}}vrat},
editor = {Yoshifumi Masunaga and
Jaroslav Pokorn{\'{y}} and
Julius Stuller and
Bernhard Thalheim},
title = {Combining Content-Based and Collaborative Filtering},
booktitle = {Proceedings of Chalenges, 2000 {ADBIS-DASFAA} Symposium on Advances
in Databases and Information Systems, Enlarged Fourth East-European
Conference on Advances in Databases and Information Systems, Prague,
Czech Republic, September 5-8, 2000},
pages = {118--127},
publisher = {Matfyz Press, Vydavatelstvi, Matematicko-Fyzikalni Fakulty, Unverzity
Karlovy},
year = {2000},
timestamp = {Tue, 02 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adbis/PolcicovaSN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/BielikovaN99,
author = {M{\'{a}}ria Bielikov{\'{a}} and
Pavol N{\'{a}}vrat},
title = {An Approach to Automated Building of Software System Configurations},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {9},
number = {1},
pages = {73--95},
year = {1999},
url = {https://doi.org/10.1142/S0218194099000061},
doi = {10.1142/S0218194099000061},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/BielikovaN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigcse/NavratB99,
author = {Pavol N{\'{a}}vrat and
M{\'{a}}ria Bielikov{\'{a}}},
title = {Software engineering education: different contexts, similar contents},
journal = {{ACM} {SIGCSE} Bull.},
volume = {31},
number = {2},
pages = {55--59},
year = {1999},
url = {https://doi.org/10.1145/571535.571569},
doi = {10.1145/571535.571569},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigcse/NavratB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/SmolarovaN99,
author = {M{\'{a}}ria Smol{\'{a}}rov{\'{a}} and
Pavol N{\'{a}}vrat},
editor = {Johann Eder and
Ivan Rozman and
Tatjana Welzer},
title = {Representing Design Patterns as Design Components},
booktitle = {Advances in Databases and Information Systems, Third East European
Conference, ADBIS'99, Maribor, Slovenia, September 13-16, 1999, Proceedings
of Short Papers},
pages = {139--147},
publisher = {Institute of Informatics, Faculty of Electrical Engineering and Computer
Science, Smetanova 17, {IS-2000} Maribor, Slovenia},
year = {1999},
timestamp = {Thu, 13 Sep 2012 12:35:37 +0200},
biburl = {https://dblp.org/rec/conf/adbis/SmolarovaN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informaticaLT/BielikovaN98,
author = {M{\'{a}}ria Bielikov{\'{a}} and
Pavol N{\'{a}}vrat},
title = {Use of Program Schemata in Lisp Programming: an Evaluation of its
Impact on Learning},
journal = {Informatica},
volume = {9},
number = {1},
pages = {5--20},
year = {1998},
url = {https://doi.org/10.3233/INF-1998-9102},
doi = {10.3233/INF-1998-9102},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/informaticaLT/BielikovaN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/BielikovaN98,
author = {M{\'{a}}ria Bielikov{\'{a}} and
Pavol N{\'{a}}vrat},
title = {Learning Programming in Prolog Using Schemata},
journal = {{ACM} {SIGPLAN} Notices},
volume = {33},
number = {2},
pages = {41--47},
year = {1998},
url = {https://doi.org/10.1145/274930.274936},
doi = {10.1145/274930.274936},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/BielikovaN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scm/BielikovaN98,
author = {M{\'{a}}ria Bielikov{\'{a}} and
Pavol N{\'{a}}vrat},
editor = {Boris Magnusson},
title = {Modelling Versioned Hypertext Documents},
booktitle = {System Configuration Management, ECOOP'98 {SCM-8} Symposium, Brussels,
Belgium, July 20-21, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1439},
pages = {188--197},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0053889},
doi = {10.1007/BFB0053889},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scm/BielikovaN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/BielikovaN97,
author = {M{\'{a}}ria Bielikov{\'{a}} and
Pavol N{\'{a}}vrat},
title = {A Prolog Technique of Implementing Search of {A/O} Graphs with Constraints},
journal = {Comput. Artif. Intell.},
volume = {16},
number = {4},
pages = {377--400},
year = {1997},
url = {http://www.cai.sk/ojs/index.php/cai/article/view/654},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cai/BielikovaN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/BielikovaN97,
author = {M{\'{a}}ria Bielikov{\'{a}} and
Pavol N{\'{a}}vrat},
title = {An Experience with the Use of Systems Engineer Case Tool},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {7},
number = {2},
pages = {253--259},
year = {1997},
url = {https://doi.org/10.1142/S0218194097000151},
doi = {10.1142/S0218194097000151},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/BielikovaN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigart/Navrat97,
author = {Pavol N{\'{a}}vrat},
title = {Book review: Artificial Intelligence by Ian Pratt (The Macmillan Press
Ltd, Houndmills, 1994)},
journal = {{SIGART} Bull.},
volume = {8},
number = {1-4},
pages = {35--36},
year = {1997},
url = {https://doi.org/10.1145/272874.1067694},
doi = {10.1145/272874.1067694},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigart/Navrat97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/BielikovaFN97,
author = {M{\'{a}}ria Bielikov{\'{a}} and
B{\'{e}}atrice Finance and
Pavol N{\'{a}}vrat},
title = {A Multi-Level Logic Programming Model of a Query Optimizer},
booktitle = {Proceedings of the First East-European Symposium on Advances in Databases
and Information Systems (ADBIS'97), St.-Petersburg, Russia, September
2-5, 1997. Volume 1: Regular Papers},
pages = {90--96},
publisher = {Nevsky Dialect},
year = {1997},
timestamp = {Thu, 21 Jun 2018 07:16:24 +0200},
biburl = {https://dblp.org/rec/conf/adbis/BielikovaFN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/NavratB97,
author = {Pavol N{\'{a}}vrat and
M{\'{a}}ria Bielikov{\'{a}}},
title = {Identification of Versions in Databases of Software Components},
booktitle = {Proceedings of the First East-European Symposium on Advances in Databases
and Information Systems (ADBIS'97), St.-Petersburg, Russia, September
2-5, 1997. Volume 1: Regular Papers},
pages = {367--370},
publisher = {Nevsky Dialect},
year = {1997},
timestamp = {Thu, 13 Sep 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adbis/NavratB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/Navrat96,
author = {Pavol N{\'{a}}vrat},
title = {A closer look at programming expertise: critical survey of some methodological
issues},
journal = {Inf. Softw. Technol.},
volume = {38},
number = {1},
pages = {37--46},
year = {1996},
url = {https://doi.org/10.1016/0950-5849(95)01043-2},
doi = {10.1016/0950-5849(95)01043-2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/Navrat96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jksucis/Navrat96,
author = {Pavol N{\'{a}}vrat},
title = {Survey of Knowledge Based Approaches to Automating Program Formation},
journal = {J. King Saud Univ. Comput. Inf. Sci.},
volume = {8},
pages = {1--19},
year = {1996},
url = {https://doi.org/10.1016/S1319-1578(96)80003-6},
doi = {10.1016/S1319-1578(96)80003-6},
timestamp = {Thu, 17 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jksucis/Navrat96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jksucis/NavratR96,
author = {Pavol N{\'{a}}vrat and
Viera Rozinajov{\'{a}}},
title = {Experiment in Knowledge Based Programing},
journal = {J. King Saud Univ. Comput. Inf. Sci.},
volume = {8},
pages = {79--109},
year = {1996},
url = {https://doi.org/10.1016/S1319-1578(96)80006-1},
doi = {10.1016/S1319-1578(96)80006-1},
timestamp = {Thu, 17 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jksucis/NavratR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/BielikovaN96,
author = {M{\'{a}}ria Bielikov{\'{a}} and
Pavol N{\'{a}}vrat},
title = {Knowledge based method for building a software system configuration},
journal = {Knowl. Based Syst.},
volume = {9},
number = {1},
pages = {61--65},
year = {1996},
url = {https://doi.org/10.1016/0950-7051(95)01014-9},
doi = {10.1016/0950-7051(95)01014-9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/kbs/BielikovaN96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/NavratB96,
author = {Pavol N{\'{a}}vrat and
M{\'{a}}ria Bielikov{\'{a}}},
title = {Knowledge-Controlled Version Selection in Software Configuration Management},
journal = {Softw. Concepts Tools},
volume = {17},
number = {1},
pages = {40},
year = {1996},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stp/NavratB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppig/Navrat96,
author = {Pavol N{\'{a}}vrat},
title = {What is the knowledge that knowledge based programming is based on?:
An analysis},
booktitle = {Proceedings of the 8th Annual Workshop of the Psychology of Programming
Interest Group, {PPIG} 1996, Ghent, Belgium, April 10-12, 1996},
pages = {7},
publisher = {Psychology of Programming Interest Group},
year = {1996},
url = {https://ppig.org/papers/1996-ppig-8th-navrat/},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppig/Navrat96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppig/NavratBKRS96,
author = {Pavol N{\'{a}}vrat and
M{\'{a}}ria Bielikov{\'{a}} and
Igor Koziak and
Viera Rozinajov{\'{a}} and
M{\'{a}}ria Smol{\'{a}}rov{\'{a}}},
title = {Intelligent Support for Program Development},
booktitle = {Proceedings of the 8th Annual Workshop of the Psychology of Programming
Interest Group, {PPIG} 1996, Ghent, Belgium, April 10-12, 1996},
pages = {18},
publisher = {Psychology of Programming Interest Group},
year = {1996},
url = {https://ppig.org/papers/1996-ppig-8th-navrat2/},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppig/NavratBKRS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/NavratB95,
author = {Pavol N{\'{a}}vrat and
M{\'{a}}ria Bielikov{\'{a}}},
title = {Representing Calendrical Algorithms and Data in Prolog and Prolog
{III}},
journal = {{ACM} {SIGPLAN} Notices},
volume = {30},
number = {7},
pages = {45--51},
year = {1995},
url = {https://doi.org/10.1145/208639.208644},
doi = {10.1145/208639.208644},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/NavratB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigcse/Navrat94,
author = {Pavol N{\'{a}}vrat},
title = {Hierarchies of programming concepts: abstraction, generality, and
beyond},
journal = {{ACM} {SIGCSE} Bull.},
volume = {26},
number = {3},
pages = {17--21},
year = {1994},
url = {https://doi.org/10.1145/187387.187397},
doi = {10.1145/187387.187397},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigcse/Navrat94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/NavratMV87,
author = {Pavol N{\'{a}}vrat and
Ludov{\'{\i}}t Moln{\'{a}}r and
Vladimir Vojtek},
editor = {James H. Davenport},
title = {Using Automatic Program Synthesizer as a Problem Solver: Some Interesting
Experiments},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {412--423},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_146},
doi = {10.1007/3-540-51517-8\_146},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/NavratMV87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/MolnarNS85,
author = {Ludov{\'{\i}}t Moln{\'{a}}r and
Pavol N{\'{a}}vrat and
Jir{\'{\i}} Safar{\'{\i}}k},
title = {The programming language Pascal (in teaching perspective): take it
or leave it},
journal = {{ACM} {SIGPLAN} Notices},
volume = {20},
number = {2},
pages = {77--79},
year = {1985},
url = {https://doi.org/10.1145/988304.988314},
doi = {10.1145/988304.988314},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/MolnarNS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
