doc. Dr. Ing.

Dušan Kolář

Head of Department

+420 54114 1238
kolar@fit.vut.cz
C226 Office
2345/BUT personal ID

Publications

  • 2024

    ANNA Polánecká, BALÁŽ Teodor, KOLÁŘ Dušan, NOVÁČKOVÁ Kateřina and RYDLO Štěpán. Detection of Laser Beams Aimed at Aircraft in Flight. In: 2024 New Trends in Civil Aviation (NTCA). Praha, 2024, pp. 119-124. ISBN 978-80-01-07182-3.
    Detail

  • 2022

    POLIAKOV Daniel, HYNEK Karel, ČEJKA Tomáš and KOLÁŘ Dušan. BOTA: Explainable IoT Malware Detection in Large Networks. IEEE Internet of Things Journal, vol. 10, no. 10, 2022, pp. 8416-8431. ISSN 2327-4662.
    Detail

    KOLÁŘ Dušan, MEDUNA Alexander and TOMKO Martin. Multi-Island Finite Automata and Their Even Computations. Kybernetika, vol. 57, no. 5, 2022, pp. 856-877. ISSN 0023-5954.
    Detail

  • 2021

    REGÉCIOVÁ Dominika, KOLÁŘ Dušan and MILKOVIČ Marek. Pattern Matching in YARA: Improved Aho-Corasick Algorithm. IEEE Access, vol. 9, no. 1, 2021, pp. 62857-62866. ISSN 2169-3536.
    Detail

  • 2020

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

    ZOBAL Lukáš, KOLÁŘ Dušan and 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, pp. 253-262. ISBN 978-989-758-446-6.
    Detail

  • 2019

    ZOBAL Lukáš, KOLÁŘ Dušan and 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, pp. 1-9. ISBN 978-1-7281-5763-4.
    Detail

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

  • 2017

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

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

  • 2014

    KŘOUSTEK Jakub, POKORNÝ Fridolín and KOLÁŘ Dušan. Reconstruction of Instruction Idioms in a Retargetable Decompiler: Revisited. Computer Science and Information Systems (ComSIS), vol. 11, no. 4, 2014, pp. 1337-1359. ISSN 1820-0214.
    Detail

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

    MATULA Peter and 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, pp. 63-76. ISBN 978-80-214-5022-6.
    Detail

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

  • 2013

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

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

    ĎURFINA Lukáš and 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: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2013, pp. 157-161. ISBN 978-80-8143-127-2.
    Detail

    KŘOUSTEK Jakub and 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: International Academy, Research, and Industry Association, 2013, pp. 259-264. ISBN 978-1-61208-283-7.
    Detail

    MATULA Peter and 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, pp. 1-10. ISBN 978-80-87952-00-9.
    Detail

  • 2012

    KŘOUSTEK Jakub, MATULA Peter, KONČICKÝ Jaromír and KOLÁŘ Dušan. Accurate Retargetable Decompilation Using Debug Information. In: Proceedings of the Sixth International Conference on Emerging Security Information, Systems and Technologies (SECURWARE'12). Rome: International Academy, Research, and Industry Association, 2012, pp. 79-84. ISBN 978-1-61208-209-7.
    Detail

    ĎURFINA Lukáš and KOLÁŘ Dušan. C Source Code Obfuscator. Kybernetika, vol. 48, no. 3, 2012, p. 8. ISSN 0023-5954.
    Detail

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

    ĎURFINA Lukáš, KŘOUSTEK Jakub, ZEMEK Petr, KÁBELE Břetislav and 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: Masaryk University, 2012, pp. 100-101. ISBN 978-80-87342-15-2.
    Detail

    KVĚTOŇOVÁ Šárka and KOLÁŘ Dušan. People Transfer in City Transport Modeled via CPN. In: Computer Aided Systems Theory - EUROCAST 2011. Lecture Notes in Computer Science, vol. 6927. Heidelberg: Springer Verlag, 2012, pp. 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 and 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, pp. 164-169. ISBN 978-1-61804-051-0.
    Detail

    ĎURFINA Lukáš and KOLÁŘ Dušan. C Source Code Obfuscator. In: Book of Abstracts ISCAMI 2011. Malenovice: University of Ostrava, 2011, p. 1.
    Detail

    JIRÁK Ota and 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, pp. 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 and HUSÁR Adam. Design and Simulation of High Performance Parallel Architectures Using the ISAC Language. GSTF International Journal on Computing, vol. 1, no. 2, 2011, pp. 97-106. ISSN 2010-2283.
    Detail

    ĎURFINA Lukáš, KŘOUSTEK Jakub, ZEMEK Petr, KOLÁŘ Dušan, HRUŠKA Tomáš, MASAŘÍK Karel and 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, pp. 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 and 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: Masaryk University, 2011, pp. 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 and MEDUNA Alexander. Design of a Retargetable Decompiler for a Static Platform-Independent Malware Analysis. International Journal of Security and Its Applications, vol. 5, no. 4, 2011, pp. 91-106. ISSN 1738-9976.
    Detail

    ĎURFINA Lukáš, KŘOUSTEK Jakub, ZEMEK Petr, KOLÁŘ Dušan, HRUŠKA Tomáš, MASAŘÍK Karel and 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, pp. 199-204. ISBN 978-1-61804-056-5.
    Detail

    PŘIKRYL Zdeněk, KŘOUSTEK Jakub, HRUŠKA Tomáš and KOLÁŘ Dušan. 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, pp. 279-282. ISBN 978-1-4244-9753-9.
    Detail

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

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

    KVĚTOŇOVÁ Šárka and 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: The Universidad de Las Palmas de Gran Canaria, 2011, pp. 106-107. ISBN 978-84-693-9560-8.
    Detail

    KŘOUSTEK Jakub, PŘIKRYL Zdeněk, KOLÁŘ Dušan and 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, pp. 1-6. ISBN 978-1-4577-2209-7.
    Detail

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

    KVĚTOŇOVÁ Šárka and 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, pp. 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 and 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: Masaryk University, 2010, pp. 84-91. ISBN 978-80-87342-10-7.
    Detail

    KOLÁŘ Dušan and 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, pp. 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 and 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, pp. 213-221. ISBN 978-981-08-7656-2.
    Detail

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

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

    KVĚTOŇOVÁ Šárka and 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, pp. 1-12. ISBN 978-1-905088-39-3.
    Detail

  • 2009

    ŠKARVADA Libor, PETERKA Ondřej, RYŠAVÝ Ondřej and 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, pp. 182-192.
    Detail

    JIRÁK Ota and 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: Masaryk University, 2009, pp. 118-125. ISBN 978-80-87342-04-6.
    Detail

    JIRÁK Ota and 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, p. 10. ISBN 978-3-939897-15-6. ISSN 2190-6807.
    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, 2009, pp. 13-18. ISBN 978-80-86840-47-5.
    Detail

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

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

  • 2008

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

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

    KOLÁŘ Dušan and 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, pp. 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: Wroclaw University of Technology, 2008, pp. 491-500. ISBN 978-83-7493-400-8.
    Detail

    KOLÁŘ Dušan and 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: Wroclaw University of Technology, 2008, pp. 29-39. ISBN 978-83-7493-421-3.
    Detail

    KOLÁŘ Dušan and 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, pp. 473-478. ISBN 978-90-77381-44-1.
    Detail

    HRUŠKA Tomáš, KOLÁŘ Dušan, LUKÁŠ Roman and 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, pp. 445-449. ISBN 978-960-6766-82-4. ISSN 1790-5117.
    Detail

  • 2007

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

    KOLÁŘ Dušan and 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, vol. 07, no. 01, 2007, pp. 57-58. ISSN 1335-2237.
    Detail

    KOLÁŘ Dušan and 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, vol. 07, no. 02, 2007, pp. 57-58. ISSN 1335-2237.
    Detail

    MASAŘÍK Karel, HRUŠKA Tomáš, KOLÁŘ Dušan and LUKÁŠ Roman. Roční zpráva 2007 projektu FT-TA3/128 Jazyk a vývojové prostředí pro návrh mikroprocesoru. Brno: Department of Information Systems FIT BUT, 2007.
    Detail

  • 2006

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

    KOLÁŘ Dušan and 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ň: Czech Open Systems User's Group, 2006, pp. 107-118. ISBN 80-86583-10-4.
    Detail

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

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

    KOLÁŘ Dušan and 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, vol. 06, no. 12, 2006, pp. 69-70. ISSN 1335-2237.
    Detail

    MASAŘÍK Karel, HRUŠKA Tomáš and 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: Faculty of Electrical Engineering and Communication BUT, 2006, pp. 120-125. ISBN 80-214-3130-X.
    Detail

  • 2005

    KOLÁŘ Dušan. Pushdown Automata: Another Extensions and Transformations. Brno: Faculty of Information Technology BUT, 2005.
    Detail

    KOLÁŘ Dušan and 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, 2005, pp. 33-48. ISBN 80-86840-09-3.
    Detail

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

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

  • 2004

    KOLÁŘ Dušan and Č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, pp. 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, 2004, pp. 347-354. ISBN 80-85988-98-4.
    Detail

  • 2002

    KOLÁŘ Dušan and MEDUNA Alexander. Homogenous Grammars with a Reduced Number of Non-Context-Free Productions. Information Processing Letters, vol. 2002, no. 81, pp. 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: Faculty of Information Technology BUT, 2002.
    Detail

    ČERNÝ Stanislav, KOLÁŘ Dušan and 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: Faculty of Information Technology BUT, 2002, pp. 393-397. ISBN 80-214-2094-4.
    Detail

  • 2001

    MEDUNA Alexander and KOLÁŘ Dušan. One-Turn Regulated Pushdown Automata and Their Reduction. Fundamenta Informaticae, vol. 2001, no. 21, pp. 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, 2000, pp. 171-176. ISBN 80-85988-45-3.
    Detail

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

    KOLÁŘ Dušan and 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: unknown, 2000, pp. 212-225. ISBN 1-85233-074-0.
    Detail

    KOLÁŘ Dušan and MEDUNA Alexander. Regulated Pushdown Automata. Acta Cybernetica, vol. 2000, no. 4, pp. 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, 1999, pp. 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, 1999, pp. 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: unknown, 1999, pp. 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, 1998, pp. 131-136. ISBN 80-85988-24-0.
    Detail

    KOLÁŘ Dušan. Type Inference in OO Functional Languages. In: Knowledge-Based Software Engineering. Smolenice: unknown, 1998, pp. 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, 1997, pp. 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: unknown, 1997, pp. 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: unknown, 1996, pp. 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: unknown, 1995, pp. 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: unknown, 1995, pp. 103-110.
    Detail

Back to top