- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j4 |      | Dusan Kolár: Drawing Programs: The Theory and Practice of Schematic Functional Programming, by Tom Addis and Jan Addis Springer, 2010, ISBN 978-1-84882-617-5, 379pp. J. Funct. Program. 22(2): 219-221 (2012) |
| 2011 | ||
| c8 | | Zdenek Prikryl, Jakub Kroustek, Tomas Hruska, Dusan Kolár: Fast just-in-time translated simulator for ASIP design. DDECS 2011: 279-282 |
| c7 | | Dusan Kolár, Sárka Kvetonová: People Transfer in City Transport Modeled via CPN. EUROCAST (1) 2011: 192-199 |
| c6 | | Lukás Durfina, Jakub Kroustek, Petr Zemek, Dusan Kolár, Tomas Hruska, Karel Masarik, Alexander Meduna: Design of a Retargetable Decompiler for a Static Platform-Independent Malware Analysis. ISA 2011: 72-86 |
| 2010 | ||
| j3 | | Sárka Kvetonová, Dusan Kolár: Project plan formalisation and modelling via timed coloured Petri nets. IJCAET 2(4): 388-399 (2010) |
| c5 | | Zdenek Prikryl, Jakub Kroustek, Tomas Hruska, Dusan Kolár: Fast Translated Simulation of ASIPs. MEMICS 2010: 93-100 |
| 2009 | ||
| c4 | | Ota Jirák, Dusan Kolár: Derivation in Scattered Context Grammar via Lazy Function Evaluation. MEMICS 2009 |
| 2007 | ||
| c3 | | Lukás Sekanina, Tomas Hruska, Tomás Vojnar, Dusan Kolár, Jan Cernocký: On Some Directions in Security-Oriented Research. BLISS 2007: 141-144 |
| e1 |  | Alica Kelemenová, Dusan Kolár, Alexander Meduna (Eds.): Proceedings of the 2nd International Workshop on Formal Models WFM'07, Hradec nad Moravicí, Czech Republic, April 23-25, 2007. CEUR Workshop Proceedings 255, CEUR-WS.org 2007 |
| 2004 | ||
| c2 | | Dusan Kolár, Stanislav Cerny: Evolution of Software for Embedded Systems in Processor Expert. ECBS 2004: 419-422 |
| 2003 | ||
| c1 | | Alexander Meduna, Dusan Kolár: Descriptional Complexity of Multi-Parallel Grammars with Respect to the Number of Nonterminals. Grammars and Automata for String Processing 2003: 91-98 |
| 2002 | ||
| j2 | | Alexander Meduna, Dusan Kolár: Homogeneous grammars with a reduced number of non-context-free productions. Inf. Process. Lett. 81(5): 253-257 (2002) |
| 2000 | ||
| j1 | | |
Data released under the ODC-BY 1.0 license — See also our legal information page