Dušan Kolář

Publications

• 2024

  ANNA, P.; RYDLO, Š.; BALÁŽ, T.; KOLÁŘ, D.; NOVÁČKOVÁ, K. Detection of Laser Beams Aimed at Aircraft in Flight. 2024 New Trends in Civil Aviation (NTCA). Praha: 2024. p. 119-124. ISBN: 978-80-01-07182-3. Detail

• 2023

  REGÉCIOVÁ, D.; KOLÁŘ, D. GenRex: Leveraging Regular Expressions for Dynamic Malware Detection. IEEE Xplore. Exeter: Institute of Electrical and Electronics Engineers, 2023. p. 857-864. ISBN: 979-8-3503-8199-3. Detail

• 2022

  KOLÁŘ, D.; MEDUNA, A.; TOMKO, M. Multi-Island Finite Automata and Their Even Computations. Kybernetika, 2022, vol. 57, no. 5, p. 856-877. ISSN: 0023-5954. Detail

• 2021

  REGÉCIOVÁ, D.; KOLÁŘ, D.; MILKOVIČ, M. Pattern Matching in YARA: Improved Aho-Corasick Algorithm. IEEE Access, 2021, vol. 9, no. 1, p. 62857-62866. ISSN: 2169-3536. Detail

• 2020

  HRANICKÝ, R.; ZOBAL, L.; RYŠAVÝ, O.; KOLÁŘ, D.; MIKUŠ, D. Distributed PCFG Password Cracking. In Computer Security - ESORICS 2020. Lecture notes in Computer Science. Guildford: Springer Nature Switzerland AG, 2020. p. 701-719. ISBN: 978-3-030-58950-9. Detail

  ZOBAL, L.; KOLÁŘ, D.; KŘOUSTEK, J. Exploring Current E-mail Cyber Threats Using Authenticated SMTP Honeypot. In Proceedings of the 17th International Conference on Security and Cryptography (SECRYPT 2020). Paris: SciTePress - Science and Technology Publications, 2020. p. 253-262. ISBN: 978-989-758-446-6. Detail

• 2019

  HRANICKÝ, R.; ZOBAL, L.; RYŠAVÝ, O.; KOLÁŘ, D. Distributed password cracking with BOINC and hashcat. Digital Investigation, 2019, vol. 30, no. 1, p. 161-172. ISSN: 1742-2876. Detail

• 2014

  ĎURFINA, L.; KOLÁŘ, D. Generic detection and annotations of the statically linked code. Acta Electrotechnica et Informatica, 2014, vol. 2013, no. 4, p. 51-56. ISSN: 1335-8243. Detail

  KŘOUSTEK, J.; MATULA, P.; KOLÁŘ, D.; ZAVORAL, M. Advanced Preprocessing of Binary Executable Files and its Usage in Retargetable Decompilation. International Journal on Advances in Software, 2014, vol. 7, no. 1, p. 112-122. ISSN: 1942-2628. Detail

  KŘOUSTEK, J.; POKORNÝ, F.; KOLÁŘ, D. Reconstruction of Instruction Idioms in a Retargetable Decompiler: Revisited. COMPUT SCI INF SYST, 2014, vol. 11, no. 4, p. 1337-1359. ISSN: 1820-0214. Detail

  MATULA, P.; KOLÁŘ, D. Composite Data Type Recovery in a Retargetable Decompilation. Proceedings of the 9th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Telč: NOVPRESS s.r.o., 2014. p. 63-76. ISBN: 978-80-214-5022-6. Detail

• 2013

  ĎURFINA, L.; KOLÁŘ, D. Generic detection of the statically linked code. Proceedings of the Twelfth International Conference on Informatics INFORMATICS 2013. Spišská Nová Ves: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2013. p. 157-161. ISBN: 978-80-8143-127-2. Detail

  KŘOUSTEK, J.; KOLÁŘ, D. Preprocessing of Binary Executable Files Towards Retargetable Decompilation. 8th International Multi-Conference on Computing in the Global Information Technology (ICCGI'13). Nice: International Academy, Research, and Industry Association, 2013. p. 259-264. ISBN: 978-1-61208-283-7. Detail

  KŘOUSTEK, J.; KOLÁŘ, D. Approaching Retargetable Static, Dynamic, and Hybrid Executable-Code Analysis. Acta Informatica Pragensia, 2013, vol. 2, no. 1, p. 18-29. ISSN: 1805-4951. Detail

  KŘOUSTEK, J.; KOLÁŘ, D. Context Parsing (Not Only) of the Object-File-Format Description Language. COMPUT SCI INF SYST, 2013, vol. 10, no. 4, p. 1673-1702. ISSN: 1820-0214. Detail

  MATULA, P.; KOLÁŘ, D. Reconstruction of simple data types in decompilation. Sborník příspěvků Mezinárodní Masarykovy konference pro doktorandy a mladé vědecké pracovníky 2013. Hradec Králové: Akademické sdružení MAGNANIMITAS Assn., 2013. p. 1-10. ISBN: 978-80-87952-00-9. Detail

• 2012

  ĎURFINA, L.; KOLÁŘ, D. C Source Code Obfuscator. Kybernetika, 2012, vol. 48, no. 3, p. 0-0. ISSN: 0023-5954. Detail

  KŘOUSTEK, J.; KOLÁŘ, D. Object-File-Format Description Language and Its Usage in Retargetable Decompilation. In AIP Conference Proceedings. AIP Conference Proceedings. Kos: American Institute of Physics, 2012. p. 466-469. ISBN: 978-0-7354-1091-6. ISSN: 1551-7616. Detail

  KŘOUSTEK, J.; MATULA, P.; KONČICKÝ, J.; KOLÁŘ, D. Accurate Retargetable Decompilation Using Debug Information. Proceedings of the Sixth International Conference on Emerging Security Information, Systems and Technologies (SECURWARE'12). Rome: International Academy, Research, and Industry Association, 2012. p. 79-84. ISBN: 978-1-61208-209-7. Detail

  KVĚTOŇOVÁ, Š.; KOLÁŘ, D. People Transfer in City Transport Modeled via CPN. Computer Aided Systems Theory - EUROCAST 2011. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2012. p. 192-199. ISBN: 978-3-642-27548-7. Detail

• 2011

  ĎURFINA, L.; KOLÁŘ, D. C Source Code Obfuscator. Book of Abstracts ISCAMI 2011. Malenovice: University of Ostrava, 2011. p. 52-52. Detail

  ĎURFINA, L.; KOLÁŘ, D. Generic detection of register realignment. AIP Conference Proceedings. AIP Conference Proceedings. Kassandra, Halkidiki: American Institute of Physics, 2011. p. 806-809. ISBN: 978-0-7354-0956-9. ISSN: 1551-7616. Detail

  ĎURFINA, L.; KŘOUSTEK, J.; ZEMEK, P.; KOLÁŘ, D.; HRUŠKA, T.; MASAŘÍK, K.; MEDUNA, A. Advanced Static Analysis for Decompilation Using Scattered Context Grammars. Proceedings of the Applied Computing Conference 2011 (ACC'11). Angers: World Scientific and Engineering Academy, 2011. p. 164-169. ISBN: 978-1-61804-051-0. Detail

  ĎURFINA, L.; KŘOUSTEK, J.; ZEMEK, P.; KOLÁŘ, D.; HRUŠKA, T.; MASAŘÍK, K.; MEDUNA, A. Design of a Retargetable Decompiler for a Static Platform-Independent Malware Analysis. 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2011. p. 114-114. ISBN: 978-80-214-4305-1. Detail

  ĎURFINA, L.; KŘOUSTEK, J.; ZEMEK, P.; KOLÁŘ, D.; HRUŠKA, T.; MASAŘÍK, K.; MEDUNA, A. Design of a Retargetable Decompiler for a Static Platform-Independent Malware Analysis. The 5th International Conference on Information Security and Assurance. Communications in Computer and Information Science, Volume 200. Brno: Springer Verlag, 2011. p. 72-86. ISBN: 978-3-642-23140-7. Detail

  ĎURFINA, L.; KŘOUSTEK, J.; ZEMEK, P.; KOLÁŘ, D.; HRUŠKA, T.; MASAŘÍK, K.; MEDUNA, A. Design of an Automatically Generated Retargetable Decompiler. 2nd European Conference of COMPUTER SCIENCE (ECCS'11). Puerto De La Cruz, Tenerife: North Atlantic University Union, 2011. p. 199-204. ISBN: 978-1-61804-056-5. Detail

  ĎURFINA, L.; KŘOUSTEK, J.; ZEMEK, P.; KOLÁŘ, D.; HRUŠKA, T.; MASAŘÍK, K.; MEDUNA, A. Design of a Retargetable Decompiler for a Static Platform-Independent Malware Analysis. International Journal of Security and Its Applications, 2011, vol. 5, no. 4, p. 91-106. ISSN: 1738-9976. Detail

  JIRÁK, O.; KOLÁŘ, D. Comparison of Classical and Lazy Approach in SCG Compiler. NUMERICAL ANALYSIS AND APPLIED MATHEMATICS ICNAAM 2011: International Conference on Numerical Analysis and Applied Mathematics. AIP Conference Proceedings. Halkidiki: American Institute of Physics, 2011. p. 873-876. ISBN: 978-0-7354-0956-9. ISSN: 1551-7616. Detail

  KŘOUSTEK, J.; PŘIKRYL, Z.; KOLÁŘ, D.; HRUŠKA, T. Retargetable Multi-level Debugging in HW/SW Codesign. The 23rd International Conference on Microelectronics (ICM 2011). Hammamet: Institute of Electrical and Electronics Engineers, 2011. p. 1-6. ISBN: 978-1-4577-2209-7. Detail

  KŘOUSTEK, J.; ŽIDEK, S.; KOLÁŘ, D.; MEDUNA, A. Scattered Context Grammars with Priority. International Journal of Advanced Research in Computer Science, 2011, vol. 2, no. 4, p. 1-6. ISSN: 0976-5697. Detail

  KVĚTOŇOVÁ, Š.; KOLÁŘ, D. People Transfer in City Transport Modeled via CPN. Proceedings of the 13th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: The Universidad de Las Palmas de Gran Canaria, 2011. p. 106-107. ISBN: 978-84-693-9560-8. Detail

  KVĚTOŇOVÁ, Š.; KOLÁŘ, D. Simulation of Petri Nets in Scattered Context Grammars. Proceedings of the International Conference on Communication, Computing and Control Applications. Tunisia: HyperSciences Publisher, 2011. p. 1-5. ISBN: 978-1-4244-9796-6. Detail

  PŘIKRYL, Z.; KŘOUSTEK, J.; HRUŠKA, T.; KOLÁŘ, D. Fast Just-In-Time Translated Simulator for ASIP Design. In 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems. Cottbus: IEEE Computer Society, 2011. p. 279-282. ISBN: 978-1-4244-9753-9. Detail

  PŘIKRYL, Z.; KŘOUSTEK, J.; HRUŠKA, T.; KOLÁŘ, D. Fast Translated Simulation of ASIPs. OpenAccess Series in Informatics (OASIcs), 2011, vol. 16, no. 1, p. 93-100. ISSN: 2190-6807. Detail

  PŘIKRYL, Z.; KŘOUSTEK, J.; HRUŠKA, T.; KOLÁŘ, D.; MASAŘÍK, K.; HUSÁR, A. Design and Simulation of High Performance Parallel Architectures Using the ISAC Language. GSTF International Journal on Computing, 2011, vol. 1, no. 2, p. 97-106. ISSN: 2010-2283. Detail

• 2010

  HUSÁR, A.; TRMAČ, M.; HRANÁČ, J.; HRUŠKA, T.; MASAŘÍK, K.; KOLÁŘ, D.; PŘIKRYL, Z. Automatic C Compiler Generation from Architecture Description Language ISAC. 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2010. p. 84-91. ISBN: 978-80-87342-10-7. Detail

  KOLÁŘ, D.; KVĚTOŇOVÁ, Š. COMPARISON OF FORMAL MODELS FOR PROCESSES WITH SCATTERED INTER-DEPENDENCIES. Proceedings of The European Simulation and Modelling Conference - ESM'2010. Ghent: EUROSIS, 2010. p. 23-26. ISBN: 978-90-77381-57-1. Detail

  KŘOUSTEK, J.; ŽIDEK, S.; KOLÁŘ, D.; MEDUNA, A. Exploitation of Scattered Context Grammars to Model VLIW Instruction Constraints. In Proceedings of the 12th Biennial Baltic Electronics Conference. Tallinn: Institute of Electrical and Electronics Engineers, 2010. p. 165-168. ISBN: 978-1-4244-7357-1. Detail

  KVĚTOŇOVÁ, Š.; KOLÁŘ, D. Process Modeling & Optimization of Complex Systems by Scattered Context Grammars. Proceedings of the International Conference on Engineering Computational Technology. Kippen: Civil-Comp Press, 2010. p. 1-12. ISBN: 978-1-905088-39-3. Detail

  PŘIKRYL, Z.; KŘOUSTEK, J.; HRUŠKA, T.; KOLÁŘ, D. Fast Translated Simulation of ASIPs. 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2010. p. 135-142. ISBN: 978-80-87342-10-7. Detail

  PŘIKRYL, Z.; KŘOUSTEK, J.; HRUŠKA, T.; KOLÁŘ, D.; MASAŘÍK, K.; HUSÁR, A. Design and Debugging of Parallel Architectures Using the ISAC Language. Proceedings ot the Annual International Conference on Advanced Distributed and Parallel Computing and Real-Time and Embedded Systems. Singapore: Global Science & Technology Forum, 2010. p. 213-221. ISBN: 978-981-08-7656-2. Detail

• 2009

  JIRÁK, O.; KOLÁŘ, D. Derivation in Scattered Context Grammar via Lazy Function Evaluation. 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2009. p. 118-125. ISBN: 978-80-87342-04-6. Detail

  JIRÁK, O.; KOLÁŘ, D. Derivation in Scattered Context Grammar via Lazy Function Evaluation. Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09). OpenAccess Series in Informatics (OASIcs). Wadern: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2009. p. 1-10. ISBN: 978-3-939897-15-6. ISSN: 2190-6807. Detail

  KOLÁŘ, D. Exploitation of Scattered Context Grammars to Model Constraints between Components. Proceedings of 31st Autumn International Colloqium ASIS 2009, Advanced Simulation of Systems. Ostrava: 2009. p. 13-18. ISBN: 978-80-86840-47-5. Detail

  KVĚTOŇOVÁ, Š.; KOLÁŘ, D. Optimization of Car Repair Processes by Scattered Context Grammars Application. The 2009 European Simulation and Modelling Conference. Ghent: EUROSIS, 2009. p. 146-149. ISBN: 978-90-77381-52-6. Detail

  KVĚTOŇOVÁ, Š.; KOLÁŘ, D. Project plan formalisation and modelling via timed coloured Petri nets. International Journal of Computer Aided Engineering and Technology, 2009, vol. 2009, no. 4, p. 388-399. ISSN: 1757-2665. Detail

  ŠKARVADA, L.; PETERKA, O.; RYŠAVÝ, O.; KOLÁŘ, D. A Calculus of Coercive Subtyping. Draft Proceedings of the 21st International Symposium on Implementation and Application of Functional Languages. SHU-TR-CS-2009-09-01. South Orange: Seton Hall University, 2009. p. 182-192. Detail

• 2008

  HRUŠKA, T.; KOLÁŘ, D.; LUKÁŠ, R.; ZÁMEČNÍKOVÁ, E. Two-Way Coupled Finite Automaton and Its Usage in Translators. New Aspects of Circuits. WSEAS Applied Informatics & Communications. Heraklion: World Scientific and Engineering Academy, 2008. p. 445-449. ISBN: 978-960-6766-82-4. ISSN: 1790-5117. Detail

  JIRÁK, O.; KOLÁŘ, D. Control Flow Graph Retrieval and Analysis via Simulation. MOSIS '08. Ostrava: 2008. p. 67-74. ISBN: 978-80-86840-40-6. Detail

  KOLÁŘ, D. Scattered Context Grammars Parsers. Proceedings of the 14th International Congress of Cybernetics and Systems of WOCS. Wroclaw: Wroclaw University of Technology, 2008. p. 491-500. ISBN: 978-83-7493-400-8. Detail

  KOLÁŘ, D.; ČERNÝ, S. Component Technologies in Virtual Laboratory Framework. 3rd IFIP Central and Eastern European Conference on Software Engineering Techniques CEE-SET 2008. Wroclaw: Wroclaw University of Technology, 2008. p. 179-188. ISBN: 978-83-7493-421-3. Detail

  KOLÁŘ, D.; KVĚTOŇOVÁ, Š. Project Plan Formalization and Modeling via Timed CPN. Proceedings of the 6th Industrial Simulation Conference - ISC´08. Ostend: EUROSIS, 2008. p. 34-39. ISBN: 978-90-77381-40-3. Detail

  KOLÁŘ, D.; KVĚTOŇOVÁ, Š. Seamless Simplification of Timed-CPN in Project Plan Formalization. 3rd IFIP Central and Eastern European Conference on Software Engineering Techniques CEE-SET 2008. Wroclaw: Wroclaw University of Technology, 2008. p. 29-39. ISBN: 978-83-7493-421-3. Detail

  KOLÁŘ, D.; KVĚTOŇOVÁ, Š. Timed Coloured Petri Nets Use in Project Management Formalization Domain. Proceedings of 23th European Simulation and Modelling Conference ESM'2008. France: EUROSIS, 2008. p. 473-478. ISBN: 978-90-77381-44-1. Detail

• 2007

  KOLÁŘ, D.; BLIŽŇÁK, M. Formální metody návrhu software aplikované na embedded systémy: Platformně nezávislý zdrojový kód (/druhá část/). AT&P Journal, 2007, roč. 07, č. 01, s. 57-58. ISSN: 1335-2237. Detail

  KOLÁŘ, D.; BLIŽŇÁK, M. Formální metody návrhu software aplikované na embedded systémy: Platformně nezávislý zdrojový kód (/třetí část/). AT&P Journal, 2007, roč. 07, č. 02, s. 57-58. ISSN: 1335-2237. Detail

  KŘIVKA, Z.; KOLÁŘ, D.; SCHÖNECKER, R. Component-based Design of Embedded Systems with FPGA Support. Proceedings of XXIXth International Autumn Colloquium Advanced Simulation of Systems. Ostrava: 2007. p. 167-172. ISBN: 978-80-86840-34-5. Detail

• 2006

  KOLÁŘ, D.; BLIŽŇÁK, M. Formal-method-based Software Development Applied on Embedded Systems: Basic concepts. 17th International DAAAM Symposium 2006. Vienna: 2006. p. 45-46. ISBN: 3-901509-57-7. Detail

  KOLÁŘ, D.; BLIŽŇÁK, M. Formal-method-based Software Development Applied on Embedded Systems: Platform-independent Source Code. Conference Proceedings of MITIP. Budapest: 2006. p. 487-492. ISBN: 963-86586-5-7. Detail

  KOLÁŘ, D.; BLIŽŇÁK, M. Formální metody návrhu software aplikované na embedded systémy: Platformně nezávislý zdrojový kód (/první část/). AT&P Journal, 2006, roč. 06, č. 12, s. 69-70. ISSN: 1335-2237. Detail

  KOLÁŘ, D.; STRUŽKA, P. Creation of 3D Environmental Model on Embedded System. VIII. Medzinárodná vedecká konferencia mladých 2006. Zvolen: Technical University in Zvolen, 2006. p. 227-234. ISBN: 80-228-1596-9. Detail

  KOLÁŘ, D.; STRUŽKA, P. Formal Views on Rapid Application Development with Processor Expert. Sborník příspěvků z XXVIII. konference EurOpen.CZ, 21.-24. května 2006. Plzeň: Czech Open Systems User's Group, 2006. p. 107-118. ISBN: 80-86583-10-4. Detail

  MASAŘÍK, K.; HRUŠKA, T.; KOLÁŘ, D. Language and Development Environment For Microprocessor Design Of Embedded Systems. Proceedings of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2006. Brno: Faculty of Electrical Engineering and Communication BUT, 2006. p. 120-125. ISBN: 80-214-3130-X. Detail

• 2005

  KOLÁŘ, D. Pushdown Automata: Another Extensions and Transformations. Brno: Faculty of Information Technology BUT, 2005. p. 0-0. Detail

  KOLÁŘ, D.; MEDUNA, A. Regulated Automata: From Theory towards Applications. Proceeding of 8th International Conference on Information Systems Implementation and Modelling ISIM'05. 1st edition. Ostrava: 2005. p. 33-48. ISBN: 80-86840-09-3. Detail

  LUKÁŠ, R.; HRUŠKA, T.; KOLÁŘ, D.; MASAŘÍK, K. Two-Way Deterministic Translation and Its Usage in Practice. Proceedings of 8th Spring International Conference - ISIM'05. Ostrava: 2005. p. 101-107. ISBN: 80-86840-09-3. Detail

  MASAŘÍK, K.; HRUŠKA, T.; KOLÁŘ, D.; LUKÁŠ, R. System for design and simulation of microprocessors. Proceedings of 8th Spring International Conference - ISIM'05. Ostrava: 2005. p. 269-276. ISBN: 80-86840-09-3. Detail

• 2004

  KOLÁŘ, D. Simulation of LLk Parsers with Wide Context by Automaton with One-Symbol Reading Head. Proceedings of 38th International Conference MOSIS '04 - Modelling and Simulation of Systems. Ostrava: 2004. p. 347-354. ISBN: 80-85988-98-4. Detail

  KOLÁŘ, D.; ČERNÝ, S. Evolution of Software for Embedded Systems in Processort Expert. Proceedings of Eleventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2004. Los Alamitos, CA: IEEE Computer Society, 2004. p. 419-422. ISBN: 0-7695-2125-8. Detail

• 2002

  KOLÁŘ, D. Postrelační databáze. Učební texty pro předmět PRD, obor VTI, předmět PDS, obor IT. Brno: Fakulta informačních technologií VUT v Brně, 2002. s. 0-0. Detail

  KOLÁŘ, D.; MEDUNA, A. Homogenous Grammars with a Reduced Number of Non-Context-Free Productions. Information Processing Letters, 2002, vol. 2002, no. 81, p. 253-257. ISSN: 0020-0190. Detail

  KOLÁŘ, D.; STRUŽKA, P.; ČERNÝ, S. Processor Expert, Component Application Builder for Embedded Systems. Proceedings of 5th IEEE Design and Diagnostics of Electronics Circuits and Systems Workshop. Brno: Faculty of Information Technology BUT, 2002. p. 393-397. ISBN: 80-214-2094-4. Detail

• 2001

  MEDUNA, A.; KOLÁŘ, D. One-Turn Regulated Pushdown Automata and Their Reduction. Fundamenta Informaticae, 2001, vol. 2001, no. 21, p. 1001-1007. ISSN: 0169-2968. Detail

• 2000

  KOLÁŘ, D. A Petri Net Class for Better Process Verification. Proceedings of 34th Spring International Conference MOSIS 2000, ISM 2000. Rožnov pod Radhoštěm: 2000. p. 171-176. ISBN: 80-85988-45-3. Detail

  KOLÁŘ, D. A Petri Net for Workflow Modelling. Proceedings of JCKBSE 2000. Brno: unknown, 2000. p. 259-266. ISBN: 1-58603-060-4. Detail

  KOLÁŘ, D.; MEDUNA, A. Descriptional complexity of multi-parallel grammars with respect to the number of nonterminals. In Grammars and Automata for String Processing: from Mathematics and Computer Science to Biology, and Back. London: unknown, 2000. p. 212-225. ISBN: 1-85233-074-0. Detail

  KOLÁŘ, D.; MEDUNA, A. Regulated Pushdown Automata. Acta Cybernetica, 2000, vol. 2000, no. 4, p. 653-664. ISSN: 0324-721X. Detail

• 1999

  KOLÁŘ, D. SFC - A Language for Workflow Description. Proceedings of 33rd Spring International Conference MOSIS'99, ISM'99. Roznov pod Radhostem: 1999. p. 101-108. ISBN: 80-85988-31-3. Detail

  KOLÁŘ, D. SFC Validation via Petri Nets. Proceedings of XXIst International Colloquium ASIS'99. Krnov: 1999. p. 391-396. ISBN: 80-85988-41-0. Detail

  KOLÁŘ, D. Workflow systémy - popisy a modely. Sborník z letní školy Informační systémy a jejich aplikace. Ruprechtov: neznámá, 1999. s. 79-86. ISBN: 80-214-1397-2. Detail

• 1998

  KOLÁŘ, D. Huge Component Modelling for System Design. Proceedings of 32nd Spring International Conference MOSIS'98, ISM'98. Sv.Hostyn - Bystrice pod Hostynem: 1998. p. 131-136. ISBN: 80-85988-24-0. Detail

  KOLÁŘ, D. Type Inference in OO Functional Languages. Knowledge-Based Software Engineering. Frontiers in Artificial Intelligence and Applications. Smolenice: unknown, 1998. p. 108-115. ISBN: 90-5199-417-6. ISSN: 0922-6389. Detail

• 1997

  KOLÁŘ, D. Overloading in Object-Oriented Data Models. Proceedings of 31st International Conference MOSIS'97. Hradec nad Moravici: 1997. p. 86-91. ISBN: 80-85988-16-X. Detail

  KOLÁŘ, D. Přetěžování funkcí a operátorů, Vlastnosti typů bez překrytí. In Sborník prací studentů a doktorandů 1997. Brno: neznámá, 1997. s. 136-138. ISBN: 80-214-0637-2. Detail

• 1996

  KOLÁŘ, D. Development Tools for Embedded Systems. Proceedings of 10th International Conference SAER'96 and DECUS NUG Seminar. Varna: unknown, 1996. p. 211-215. ISBN: 954-8329-12-3. Detail

• 1995

  KOLÁŘ, D. Implementation of Coloured Petri Nets Using Higher-Order Functional Languages. Proceedings of 26th Conference on Computer Science. Ostrava: unknown, 1995. p. 14-21. Detail

  KOLÁŘ, D. Simulation Strategies of CPN Implementation in Functional Programming. Proceedings of Black Sea InfoTech '95 Computer Science Conference. Varna: unknown, 1995. p. 103-110. Detail