Doc. Dr. Ing.

Dušan Kolář

Vedoucí ústavu

+420 54114 1238
kolar@fit.vut.cz
Kancelář C226

[photo]

Publikace

  • 2020

    HRANICKÝ Radek, ZOBAL Lukáš, RYŠAVÝ Ondřej, KOLÁŘ Dušan a MIKUŠ Dávid. Distributed PCFG Password Cracking. In: Computer Security - ESORICS 2020. Lecture notes in Computer Science. Guildford: Springer Nature Switzerland AG, 2020, s. 701-719. ISBN 978-3-030-58950-9.
    Detail

    ZOBAL Lukáš, KOLÁŘ Dušan a KŘOUSTEK Jakub. 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, s. 245-254. ISBN 978-989-758-446-6.
    Detail

  • 2019

    ZOBAL Lukáš, KOLÁŘ Dušan a FUJDIAK Radek. Current State of Honeypots and Deception Strategies in Cybersecurity. In: Proceedings of 11th International Congress on Ultra Modern Telecommunications and Control Systems. Dublin: Institute of Electrical and Electronics Engineers, 2019, s. 1-9. ISBN 978-1-7281-5763-4.
    Detail

    HRANICKÝ Radek, ZOBAL Lukáš, RYŠAVÝ Ondřej a KOLÁŘ Dušan. Distributed password cracking with BOINC and hashcat. Digital Investigation, roč. 30, č. 1, s. 161-172. ISSN 1742-2876.
    Detail

  • 2017

    RYCHLÝ Marek a KOLÁŘ Dušan. Analýza cloud computing systémů pro ŠKODA AUTO. Brno: ŠKODA AUTO a.s., 2017.
    Detail

    RYCHLÝ Marek a KOLÁŘ Dušan. Cloud Computing System Analysis for ŠKODA AUTO. Brno: ŠKODA AUTO a.s., 2017.
    Detail

  • 2014

    KŘOUSTEK Jakub, POKORNÝ Fridolín a KOLÁŘ Dušan. A New Approach to Instruction-Idioms Detection in a Retargetable Decompiler. Computer Science and Information Systems (ComSIS), roč. 11, č. 4, s. 1337-1359. ISSN 1820-0214.
    Detail

    KŘOUSTEK Jakub, MATULA Peter, KOLÁŘ Dušan a ZAVORAL Milan. Advanced Preprocessing of Binary Executable Files and its Usage in Retargetable Decompilation. International Journal on Advances in Software, roč. 7, č. 1, s. 112-122. ISSN 1942-2628.
    Detail

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

    ĎURFINA Lukáš a KOLÁŘ Dušan. Generic detection and annotations of the statically linked code. Acta Electrotechnica et Informatica, roč. 2013, č. 4, s. 51-56. ISSN 1335-8243.
    Detail

  • 2013

    KŘOUSTEK Jakub a KOLÁŘ Dušan. Approaching Retargetable Static, Dynamic, and Hybrid Executable-Code Analysis. Acta Informatica Pragensia, roč. 2, č. 1, s. 18-29. ISSN 1805-4951.
    Detail

    KŘOUSTEK Jakub a KOLÁŘ Dušan. Context Parsing (Not Only) of the Object-File-Format Description Language. Computer Science and Information Systems (ComSIS), roč. 10, č. 4, s. 1673-1702. ISSN 1820-0214.
    Detail

    ĎURFINA Lukáš a KOLÁŘ Dušan. Generic detection of the statically linked code. In: Proceedings of the Twelfth International Conference on Informatics INFORMATICS 2013. Spišská Nová Ves: Fakulta elektrotechniky a informatiky, Technická univerzita v Košiciach, 2013, s. 157-161. ISBN 978-80-8143-127-2.
    Detail

    KŘOUSTEK Jakub a KOLÁŘ Dušan. Preprocessing of Binary Executable Files Towards Retargetable Decompilation. In: 8th International Multi-Conference on Computing in the Global Information Technology (ICCGI'13). Nice: Mezinárodní asociace univerzit, výzkumu a průmyslu, 2013, s. 259-264. ISBN 978-1-61208-283-7.
    Detail

    MATULA Peter a KOLÁŘ Dušan. Reconstruction of simple data types in decompilation. In: 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, s. 1-10. ISBN 978-80-87952-00-9.
    Detail

  • 2012

    KŘOUSTEK Jakub, MATULA Peter, KONČICKÝ Jaromír a KOLÁŘ Dušan. Accurate Retargetable Decompilation Using Additional Debugging Information. In: Proceedings of the Sixth International Conference on Emerging Security Information, Systems and Technologies (SECURWARE'12). Rome: Mezinárodní asociace univerzit, výzkumu a průmyslu, 2012, s. 79-84. ISBN 978-1-61208-209-7.
    Detail

    ĎURFINA Lukáš a KOLÁŘ Dušan. C Source Code Obfuscator. Kybernetika, roč. 48, č. 3, s. 8. ISSN 0023-5954.
    Detail

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

    ĎURFINA Lukáš, KŘOUSTEK Jakub, ZEMEK Petr, KÁBELE Břetislav a KOLÁŘ Dušan. On Complex Reconstruction of Functions from Binary Executable Files. In: 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masarykova universita, 2012, s. 100-101. ISBN 978-80-87342-15-2.
    Detail

    KVĚTOŇOVÁ Šárka a KOLÁŘ Dušan. People Transfer in City Transport Modeled via CPN. In: Computer Aided Systems Theory - EUROCAST 2011. Lecture Notes in Computer Science, roč. 6927. Heidelberg: Springer Verlag, 2012, s. 192-199. ISBN 978-3-642-27548-7.
    Detail

  • 2011

    ĎURFINA Lukáš, KŘOUSTEK Jakub, ZEMEK Petr, KOLÁŘ Dušan, HRUŠKA Tomáš, MASAŘÍK Karel a MEDUNA Alexander. Advanced Static Analysis for Decompilation Using Scattered Context Grammars. In: Proceedings of the Applied Computing Conference 2011 (ACC'11). Angers: World Scientific and Engineering Academy, 2011, s. 164-169. ISBN 978-1-61804-051-0.
    Detail

    ĎURFINA Lukáš a KOLÁŘ Dušan. C Source Code Obfuscator. In: Book of Abstracts ISCAMI 2011. Malenovice: Ostravská univerzita, 2011, s. 1.
    Detail

    JIRÁK Ota a KOLÁŘ Dušan. Comparison of Classical and Lazy Approach in SCG Compiler. In: NUMERICAL ANALYSIS AND APPLIED MATHEMATICS ICNAAM 2011: International Conference on Numerical Analysis and Applied Mathematics. Halkidiki: American Institute of Physics, 2011, s. 873-876. ISBN 978-0-7354-0956-9. ISSN 1551-7616.
    Detail

    PŘIKRYL Zdeněk, KŘOUSTEK Jakub, HRUŠKA Tomáš, KOLÁŘ Dušan, MASAŘÍK Karel a HUSÁR Adam. Design and Simulation of High Performance Parallel Architectures Using the ISAC Language. GSTF International Journal on Computing, roč. 1, č. 2, s. 97-106. ISSN 2010-2283.
    Detail

    ĎURFINA Lukáš, KŘOUSTEK Jakub, ZEMEK Petr, KOLÁŘ Dušan, HRUŠKA Tomáš, MASAŘÍK Karel a MEDUNA Alexander. Design of a Retargetable Decompiler for a Static Platform-Independent Malware Analysis. International Journal of Security and Its Applications, roč. 5, č. 4, s. 91-106. ISSN 1738-9976.
    Detail

    ĎURFINA Lukáš, KŘOUSTEK Jakub, ZEMEK Petr, KOLÁŘ Dušan, HRUŠKA Tomáš, MASAŘÍK Karel a MEDUNA Alexander. Design of a Retargetable Decompiler for a Static Platform-Independent Malware Analysis. In: The 5th International Conference on Information Security and Assurance. Communications in Computer and Information Science, Volume 200. Brno: Springer Verlag, 2011, s. 72-86. ISBN 978-3-642-23140-7.
    Detail

    ĎURFINA Lukáš, KŘOUSTEK Jakub, ZEMEK Petr, KOLÁŘ Dušan, HRUŠKA Tomáš, MASAŘÍK Karel a MEDUNA Alexander. Design of a Retargetable Decompiler for a Static Platform-Independent Malware Analysis. In: 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masarykova universita, 2011, s. 114-114. ISBN 978-80-214-4305-1.
    Detail

    ĎURFINA Lukáš, KŘOUSTEK Jakub, ZEMEK Petr, KOLÁŘ Dušan, HRUŠKA Tomáš, MASAŘÍK Karel a MEDUNA Alexander. Design of an Automatically Generated Retargetable Decompiler. In: 2nd European Conference of COMPUTER SCIENCE (ECCS'11). Puerto De La Cruz, Tenerife: North Atlantic University Union, 2011, s. 199-204. ISBN 978-1-61804-056-5.
    Detail

    PŘIKRYL Zdeněk, KŘOUSTEK Jakub, HRUŠKA Tomáš a KOLÁŘ Dušan. Fast Just-In-Time Translated Simulation for ASIP Design. In: 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems. Cottbus: IEEE Computer Society, 2011, s. 279-282. ISBN 978-1-4244-9753-9.
    Detail

    PŘIKRYL Zdeněk, KŘOUSTEK Jakub, HRUŠKA Tomáš a KOLÁŘ Dušan. Fast Translated Simulation of ASIPs. OpenAccess Series in Informatics (OASIcs), roč. 16, č. 1, s. 93-100. ISSN 2190-6807.
    Detail

    ĎURFINA Lukáš a KOLÁŘ Dušan. Generic detection of register realignment. In: AIP Conference Proceedings. Kassandra, Halkidiki: American Institute of Physics, 2011, s. 806-809. ISBN 978-0-7354-0956-9. ISSN 1551-7616.
    Detail

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

    KŘOUSTEK Jakub, PŘIKRYL Zdeněk, KOLÁŘ Dušan a HRUŠKA Tomáš. Retargetable Multi-level Debugging in HW/SW Codesign. In: The 23rd International Conference on Microelectronics (ICM 2011). Hammamet: Institute of Electrical and Electronics Engineers, 2011, s. 1-6. ISBN 978-1-4577-2209-7.
    Detail

    KŘOUSTEK Jakub, ŽIDEK Stanislav, KOLÁŘ Dušan a MEDUNA Alexander. Scattered Context Grammars with Priority. International Journal of Advanced Research in Computer Science, roč. 2, č. 4, s. 1-6. ISSN 0976-5697.
    Detail

    KVĚTOŇOVÁ Šárka a KOLÁŘ Dušan. Simulation of Petri Nets in Scattered Context Grammars. In: Proceedings of the International Conference on Communication, Computing and Control Applications. Tunisia: HyperSciences Publisher, 2011, s. 1-5. ISBN 978-1-4244-9796-6.
    Detail

  • 2010

    HUSÁR Adam, TRMAČ Miloslav, HRANÁČ Jan, HRUŠKA Tomáš, MASAŘÍK Karel, KOLÁŘ Dušan a PŘIKRYL Zdeněk. Automatic C Compiler Generation from Architecture Description Language ISAC. In: 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masarykova universita, 2010, s. 84-91. ISBN 978-80-87342-10-7.
    Detail

    KOLÁŘ Dušan a KVĚTOŇOVÁ Šárka. Comparison of Formal Models for Processes with Scattered Inter-Dependencies. In: Proceedings of The European Simulation and Modelling Conference - ESM'2010. Ghent: EUROSIS, 2010, s. 23-26. ISBN 978-90-77381-57-1.
    Detail

    PŘIKRYL Zdeněk, KŘOUSTEK Jakub, HRUŠKA Tomáš, KOLÁŘ Dušan, MASAŘÍK Karel a HUSÁR Adam. Design and Debugging of Parallel Architectures Using the ISAC Language. In: Proceedings ot the Annual International Conference on Advanced Distributed and Parallel Computing and Real-Time and Embedded Systems. Singapore: Global Science & Technology Forum, 2010, s. 213-221. ISBN 978-981-08-7656-2.
    Detail

    KŘOUSTEK Jakub, ŽIDEK Stanislav, KOLÁŘ Dušan a MEDUNA Alexander. 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, s. 165-168. ISBN 978-1-4244-7357-1.
    Detail

    PŘIKRYL Zdeněk, KŘOUSTEK Jakub, HRUŠKA Tomáš a KOLÁŘ Dušan. Fast Translated Simulation of ASIPs. In: 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masarykova universita, 2010, s. 135-142. ISBN 978-80-87342-10-7.
    Detail

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

  • 2009

    ŠKARVADA Libor, PETERKA Ondřej, RYŠAVÝ Ondřej a KOLÁŘ Dušan. A Calculus of Coercive Subtyping. In: 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, s. 182-192.
    Detail

    JIRÁK Ota a KOLÁŘ Dušan. Derivation in Scattered Context Grammar via Lazy Function Evaluation. In: Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09). Wadern: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2009, s. 10. ISBN 978-3-939897-15-6. ISSN 2190-6807.
    Detail

    JIRÁK Ota a KOLÁŘ Dušan. Derivation in Scattered Context Grammar via Lazy Function Evaluation. In: 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masarykova universita, 2009, s. 118-125. ISBN 978-80-87342-04-6.
    Detail

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

    KVĚTOŇOVÁ Šárka a KOLÁŘ Dušan. Optimization of Car Repair Processes by Scattered Context Grammars Application. In: The 2009 European Simulation and Modelling Conference. Ghent: EUROSIS, 2009, s. 146-149. ISBN 978-90-77381-52-6.
    Detail

    KVĚTOŇOVÁ Šárka a KOLÁŘ Dušan. Project plan formalisation and modelling via timed coloured Petri nets. International Journal of Computer Aided Engineering and Technology, roč. 2009, č. 4, s. 388-399. ISSN 1757-2665.
    Detail

  • 2008

    KOLÁŘ Dušan a ČERNÝ Stanislav. Component Technologies in Virtual Laboratory Framework. In: 3rd IFIP Central and Eastern European Conference on Software Engineering Techniques CEE-SET 2008. Wroclaw: Politechnika Wrocławska, 2008, s. 179-188. ISBN 978-83-7493-421-3.
    Detail

    JIRÁK Ota a KOLÁŘ Dušan. Control Flow Graph Retrieval and Analysis via Simulation. In: MOSIS '08. Ostrava: MARQ, 2008, s. 67-74. ISBN 978-80-86840-40-6.
    Detail

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

    KOLÁŘ Dušan. Scattered Context Grammars Parsers. In: Proceedings of the 14th International Congress of Cybernetics and Systems of WOCS. Wroclaw: Politechnika Wrocławska, 2008, s. 491-500. ISBN 978-83-7493-400-8.
    Detail

    KOLÁŘ Dušan a KVĚTOŇOVÁ Šárka. Seamless Simplification of Timed-CPN in Project Plan Formalization. In: 3rd IFIP Central and Eastern European Conference on Software Engineering Techniques CEE-SET 2008. Wroclaw: Politechnika Wrocławska, 2008, s. 29-39. ISBN 978-83-7493-421-3.
    Detail

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

    HRUŠKA Tomáš, KOLÁŘ Dušan, LUKÁŠ Roman a ZÁMEČNÍKOVÁ Eva. Two-Way Coupled Finite Automaton and Its Usage in Translators. In: New Aspects of Circuits. Heraklion: World Scientific and Engineering Academy, 2008, s. 445-449. ISBN 978-960-6766-82-4. ISSN 1790-5117.
    Detail

  • 2007

    KOLÁŘ Dušan, KŘIVKA Zbyněk a SCHÖNECKER Rudolf. Component-based Design of Embedded Systems with FPGA Support. In: Proceedings of XXIXth International Autumn Colloquium Advanced Simulation of Systems. Ostrava: MARQ, 2007, s. 167-172. ISBN 978-80-86840-34-5.
    Detail

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

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

    MASAŘÍK Karel, HRUŠKA Tomáš, KOLÁŘ Dušan a LUKÁŠ Roman. Roční zpráva 2007 projektu FT-TA3/128 Jazyk a vývojové prostředí pro návrh mikroprocesoru. Brno: Ústav informačních systémů FIT VUT v Brně, 2007.
    Detail

  • 2006

    KOLÁŘ Dušan a STRUŽKA Petr. Creation of 3D Environmental Model on Embedded System. In: VIII. Medzinárodná vedecká konferencia mladých 2006. Zvolen: Technická univerzita vo Zvolene, 2006, s. 227-234. ISBN 80-228-1596-9.
    Detail

    KOLÁŘ Dušan a STRUŽKA Petr. Formal Views on Rapid Application Development with Processor Expert. In: Sborník příspěvků z XXVIII. konference EurOpen.CZ, 21.-24. května 2006. Plzeň: Česká společnost uživatelů otevřených systémů EurOpen.CZ, 2006, s. 107-118. ISBN 80-86583-10-4.
    Detail

    BLIŽŇÁK Michal a KOLÁŘ Dušan. Formal-method-based Software Development Applied on Embedded Systems: Basic concepts. In: 17th International DAAAM Symposium 2006. Vienna, 2006, s. 45-46. ISBN 3-901509-57-7.
    Detail

    BLIŽŇÁK Michal a KOLÁŘ Dušan. Formal-method-based Software Development Applied on Embedded Systems: Platform-independent Source Code. In: Conference Proceedings of MITIP. Budapest, 2006, s. 487-492. ISBN 963-86586-5-7.
    Detail

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

    MASAŘÍK Karel, HRUŠKA Tomáš a KOLÁŘ Dušan. Language and Development Environment For Microprocessor Design Of Embedded Systems. In: Proceedings of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2006. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2006, s. 120-125. ISBN 80-214-3130-X.
    Detail

  • 2005

    KOLÁŘ Dušan. Pushdown Automata: Another Extensions and Transformations. Brno: Fakulta informačních technologií VUT v Brně, 2005.
    Detail

    KOLÁŘ Dušan a MEDUNA Alexander. Regulated Automata: From Theory towards Applications. In: Proceeding of 8th International Conference on Information Systems Implementation and Modelling ISIM'05. 1st edition. Ostrava: MARQ, 2005, s. 33-48. ISBN 80-86840-09-3.
    Detail

    MASAŘÍK Karel, HRUŠKA Tomáš, KOLÁŘ Dušan a LUKÁŠ Roman. System for design and simulation of microprocessors. In: Proceedings of 8th Spring International Conference - ISIM'05. Ostrava: MARQ, 2005, s. 269-276. ISBN 80-86840-09-3.
    Detail

    LUKÁŠ Roman, HRUŠKA Tomáš, KOLÁŘ Dušan a MASAŘÍK Karel. Two-Way Deterministic Translation and Its Usage in Practice. In: Proceedings of 8th Spring International Conference - ISIM'05. Ostrava: MARQ, 2005, s. 101-107. ISBN 80-86840-09-3.
    Detail

  • 2004

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

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

  • 2002

    KOLÁŘ Dušan a MEDUNA Alexander. Homogenous Grammars with a Reduced Number of Non-Context-Free Productions. Information Processing Letters, roč. 2002, č. 81, s. 253-257. ISSN 0020-0190.
    Detail

    KOLÁŘ Dušan. 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.
    Detail

    ČERNÝ Stanislav, KOLÁŘ Dušan a STRUŽKA Petr. Processor Expert, Component Application Builder for Embedded Systems. In: Proceedings of 5th IEEE Design and Diagnostics of Electronics Circuits and Systems Workshop. Brno: Fakulta informačních technologií VUT v Brně, 2002, s. 393-397. ISBN 80-214-2094-4.
    Detail

  • 2001

    MEDUNA Alexander a KOLÁŘ Dušan. One-Turn Regulated Pushdown Automata and Their Reduction. Fundamenta Informaticae, roč. 2001, č. 21, s. 1001-1007. ISSN 0169-2968.
    Detail

  • 2000

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

    KOLÁŘ Dušan. A Petri Net for Workflow Modelling. In: Proceedings of JCKBSE 2000. Brno: neznámá, 2000, s. 259-266. ISBN 1-58603-060-4.
    Detail

    KOLÁŘ Dušan a MEDUNA Alexander. Descriptional complexity of multi-parallel grammars with respect to the number of nonterminals. Grammars and Automata for String Processing: from Mathematics and Computer Science to Biology, and Back. London: neznámá, 2000, s. 212-225. ISBN 1-85233-074-0.
    Detail

    KOLÁŘ Dušan a MEDUNA Alexander. Regulated Pushdown Automata. Acta Cybernetica, roč. 2000, č. 4, s. 653-664. ISSN 0324-721X.
    Detail

  • 1999

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

    KOLÁŘ Dušan. SFC Validation via Petri Nets. In: Proceedings of XXIst International Colloquium ASIS'99. Krnov: MARQ, 1999, s. 391-396. ISBN 80-85988-41-0.
    Detail

    KOLÁŘ Dušan. Workflow systémy - popisy a modely. In: 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ÁŘ Dušan. Huge Component Modelling for System Design. In: Proceedings of 32nd Spring International Conference MOSIS'98, ISM'98. Sv.Hostyn - Bystrice pod Hostynem: MARQ, 1998, s. 131-136. ISBN 80-85988-24-0.
    Detail

    KOLÁŘ Dušan. Type Inference in OO Functional Languages. In: Knowledge-Based Software Engineering. Smolenice: neznámá, 1998, s. 108-115. ISBN 90-5199-417-6. ISSN 0922-6389.
    Detail

  • 1997

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

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

  • 1996

    KOLÁŘ Dušan. Development Tools for Embedded Systems. In: Proceedings of 10th International Conference SAER'96 and DECUS NUG Seminar. Varna: neznámá, 1996, s. 211-215. ISBN 954-8329-12-3.
    Detail

  • 1995

    KOLÁŘ Dušan. Implementation of Coloured Petri Nets Using Higher-Order Functional Languages. In: Proceedings of 26th Conference on Computer Science. Ostrava: neznámá, 1995, s. 14-21.
    Detail

    KOLÁŘ Dušan. Simulation Strategies of CPN Implementation in Functional Programming. In: Proceedings of Black Sea InfoTech '95 Computer Science Conference. Varna: neznámá, 1995, s. 103-110.
    Detail

Nahoru