Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
doc. Dr. Ing.
FIT, UIFS – vedoucí ústavu
+420 54114 1238kolar@fit.vut.cz
Odeslat VUT zprávu
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. s. 119-124. ISBN: 978-80-01-07182-3.Detail | WWW
2023
REGÉCIOVÁ, D.; KOLÁŘ, D. GenRex: Leveraging Regular Expressions for Dynamic Malware Detection. IEEE Xplore. Exeter: Institute of Electrical and Electronics Engineers, 2023. s. 857-864. ISBN: 979-8-3503-8199-3.Detail | WWW
2022
KOLÁŘ, D.; MEDUNA, A.; TOMKO, M. Multi-Island Finite Automata and Their Even Computations. Kybernetika, 2022, roč. 57, č. 5, s. 856-877. ISSN: 0023-5954.Detail | WWW
2021
REGÉCIOVÁ, D.; KOLÁŘ, D.; MILKOVIČ, M. Pattern Matching in YARA: Improved Aho-Corasick Algorithm. IEEE Access, 2021, roč. 9, č. 1, s. 62857-62866. ISSN: 2169-3536.Detail | WWW
2020
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. s. 253-262. ISBN: 978-989-758-446-6.Detail | WWW
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. s. 701-719. ISBN: 978-3-030-58950-9.Detail | WWW
2019
ZOBAL, L.; KOLÁŘ, D.; FUJDIAK, R. Current State of Honeypots and Deception Strategies in Cybersecurity. In 2019 11th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT). Ireland, Dublin: 2019. s. 1-9. ISBN: 978-1-7281-5763-4.Detail | WWW
HRANICKÝ, R.; ZOBAL, L.; RYŠAVÝ, O.; KOLÁŘ, D. Distributed password cracking with BOINC and hashcat. Digital Investigation, 2019, roč. 30, č. 1, s. 161-172. ISSN: 1742-2876.Detail | WWW
2014
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, roč. 7, č. 1, s. 112-122. ISSN: 1942-2628.Detail | WWW
KŘOUSTEK, J.; POKORNÝ, F.; KOLÁŘ, D. Reconstruction of Instruction Idioms in a Retargetable Decompiler: Revisited. COMPUT SCI INF SYST, 2014, roč. 11, č. 4, s. 1337-1359. ISSN: 1820-0214.Detail | WWW
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. s. 63-76. ISBN: 978-80-214-5022-6.Detail
ĎURFINA, L.; KOLÁŘ, D. Generic detection and annotations of the statically linked code. Acta Electrotechnica et Informatica, 2014, roč. 2013, č. 4, s. 51-56. ISSN: 1335-8243.Detail | WWW
2013
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. s. 1-10. ISBN: 978-80-87952-00-9.Detail
KŘOUSTEK, J.; KOLÁŘ, D. Approaching Retargetable Static, Dynamic, and Hybrid Executable-Code Analysis. Acta Informatica Pragensia, 2013, roč. 2, č. 1, s. 18-29. ISSN: 1805-4951.Detail | WWW
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. s. 259-264. ISBN: 978-1-61208-283-7.Detail | WWW
Ď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. s. 157-161. ISBN: 978-80-8143-127-2.Detail | WWW
KŘOUSTEK, J.; KOLÁŘ, D. Context Parsing (Not Only) of the Object-File-Format Description Language. COMPUT SCI INF SYST, 2013, roč. 10, č. 4, s. 1673-1702. ISSN: 1820-0214.Detail | WWW
2012
ĎURFINA, L.; KOLÁŘ, D. C Source Code Obfuscator. Kybernetika, 2012, roč. 48, č. 3, s. 0-0. ISSN: 0023-5954.Detail | WWW
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. s. 79-84. ISBN: 978-1-61208-209-7.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. s. 466-469. ISBN: 978-0-7354-1091-6. ISSN: 1551-7616.Detail | WWW
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. s. 192-199. ISBN: 978-3-642-27548-7.Detail
2011
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. s. 279-282. ISBN: 978-1-4244-9753-9.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. s. 1-5. ISBN: 978-1-4244-9796-6.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. s. 114-114. ISBN: 978-80-214-4305-1.Detail
ĎURFINA, L.; KOLÁŘ, D. C Source Code Obfuscator. Book of Abstracts ISCAMI 2011. Malenovice: University of Ostrava, 2011. s. 52-52. 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. s. 106-107. ISBN: 978-84-693-9560-8.Detail
ĎURFINA, L.; KOLÁŘ, D. Generic detection of register realignment. AIP Conference Proceedings. AIP Conference Proceedings. Kassandra, Halkidiki: American Institute of Physics, 2011. s. 806-809. ISBN: 978-0-7354-0956-9. ISSN: 1551-7616.Detail | WWW
PŘIKRYL, Z.; KŘOUSTEK, J.; HRUŠKA, T.; KOLÁŘ, D. Fast Translated Simulation of ASIPs. OpenAccess Series in Informatics (OASIcs), 2011, roč. 16, č. 1, s. 93-100. ISSN: 2190-6807.Detail | WWW
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. s. 873-876. ISBN: 978-0-7354-0956-9. ISSN: 1551-7616.Detail | WWW
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, roč. 1, č. 2, s. 97-106. ISSN: 2010-2283.Detail | WWW
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. s. 1-6. ISBN: 978-1-4577-2209-7.Detail | WWW
Ď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. s. 72-86. ISBN: 978-3-642-23140-7.Detail | WWW
KŘOUSTEK, J.; ŽIDEK, S.; KOLÁŘ, D.; MEDUNA, A. Scattered Context Grammars with Priority. International Journal of Advanced Research in Computer Science, 2011, roč. 2, č. 4, s. 1-6. ISSN: 0976-5697.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. s. 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. 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. s. 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. International Journal of Security and Its Applications, 2011, roč. 5, č. 4, s. 91-106. ISSN: 1738-9976.Detail
2010
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. s. 23-26. ISBN: 978-90-77381-57-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. s. 1-12. ISBN: 978-1-905088-39-3.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. s. 213-221. ISBN: 978-981-08-7656-2.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. s. 165-168. ISBN: 978-1-4244-7357-1.Detail | WWW
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. s. 135-142. ISBN: 978-80-87342-10-7.Detail
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. s. 84-91. ISBN: 978-80-87342-10-7.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. s. 118-125. ISBN: 978-80-87342-04-6.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. s. 182-192. Detail | WWW
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. s. 1-10. ISBN: 978-3-939897-15-6. ISSN: 2190-6807.Detail | WWW
KVĚTOŇOVÁ, Š.; KOLÁŘ, D. Project plan formalisation and modelling via timed coloured Petri nets. International Journal of Computer Aided Engineering and Technology, 2009, roč. 2009, č. 4, s. 388-399. ISSN: 1757-2665.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. s. 146-149. ISBN: 978-90-77381-52-6.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. s. 13-18. ISBN: 978-80-86840-47-5.Detail
2008
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. s. 179-188. ISBN: 978-83-7493-421-3.Detail
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. s. 445-449. ISBN: 978-960-6766-82-4. ISSN: 1790-5117.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. s. 34-39. ISBN: 978-90-77381-40-3.Detail
JIRÁK, O.; KOLÁŘ, D. Control Flow Graph Retrieval and Analysis via Simulation. MOSIS '08. Ostrava: 2008. s. 67-74. ISBN: 978-80-86840-40-6.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. s. 473-478. ISBN: 978-90-77381-44-1.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. s. 491-500. ISBN: 978-83-7493-400-8.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. s. 29-39. ISBN: 978-83-7493-421-3.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
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. s. 167-172. ISBN: 978-80-86840-34-5.Detail | WWW
MASAŘÍK, K., HRUŠKA, T., KOLÁŘ, D., LUKÁŠ, R. 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. s. 1-31. 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
2006
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. s. 227-234. ISBN: 80-228-1596-9.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. s. 487-492. ISBN: 963-86586-5-7.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. s. 120-125. ISBN: 80-214-3130-X.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. s. 107-118. ISBN: 80-86583-10-4.Detail
KOLÁŘ, D.; BLIŽŇÁK, M. Formal-method-based Software Development Applied on Embedded Systems: Basic concepts. 17th International DAAAM Symposium 2006. Vienna: 2006. s. 45-46. ISBN: 3-901509-57-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
2005
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. s. 33-48. ISBN: 80-86840-09-3.Detail
KOLÁŘ, D. Pushdown Automata: Another Extensions and Transformations. Brno: Faculty of Information Technology BUT, 2005. s. 0-0. Detail | WWW
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. s. 269-276. 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. s. 101-107. ISBN: 80-86840-09-3.Detail
2004
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. s. 419-422. ISBN: 0-7695-2125-8.Detail
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. s. 347-354. ISBN: 80-85988-98-4.Detail
2002
KOLÁŘ, D.; MEDUNA, A. Homogenous Grammars with a Reduced Number of Non-Context-Free Productions. Information Processing Letters, 2002, roč. 2002, č. 81, s. 253-257. ISSN: 0020-0190.Detail
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.; 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. s. 393-397. ISBN: 80-214-2094-4.Detail
2001
MEDUNA, A.; KOLÁŘ, D. One-Turn Regulated Pushdown Automata and Their Reduction. Fundamenta Informaticae, 2001, roč. 2001, č. 21, s. 1001-1007. ISSN: 0169-2968.Detail
2000
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. s. 212-225. ISBN: 1-85233-074-0.Detail
KOLÁŘ, D.; MEDUNA, A. Regulated Pushdown Automata. Acta Cybernetica, 2000, roč. 2000, č. 4, s. 653-664. ISSN: 0324-721X.Detail
KOLÁŘ, D. A Petri Net for Workflow Modelling. Proceedings of JCKBSE 2000. Brno: unknown, 2000. s. 259-266. ISBN: 1-58603-060-4.Detail
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. s. 171-176. ISBN: 80-85988-45-3.Detail
1999
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
KOLÁŘ, D. SFC Validation via Petri Nets. Proceedings of XXIst International Colloquium ASIS'99. Krnov: 1999. s. 391-396. ISBN: 80-85988-41-0.Detail
KOLÁŘ, D. SFC - A Language for Workflow Description. Proceedings of 33rd Spring International Conference MOSIS'99, ISM'99. Roznov pod Radhostem: 1999. s. 101-108. ISBN: 80-85988-31-3.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. s. 131-136. ISBN: 80-85988-24-0.Detail
KOLÁŘ, D. Functional Technology for Object-Oriented Modeling and Databases. ÚIVT FEI VUT Brno: 1998. s. 0-0. Detail | WWW
KOLÁŘ, D. Type Inference in OO Functional Languages. Knowledge-Based Software Engineering. Frontiers in Artificial Intelligence and Applications. Smolenice: unknown, 1998. s. 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. s. 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. s. 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. s. 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. s. 103-110. Detail
*) Citace publikací se generují jednou za 24 hodin.