- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| c13 |      | Radek Kocí, Vladimír Janousek: OOPN and DEVS Formalisms for System Specification and Analysis. ICSEA 2010: 305-310 |
| 2009 | ||
| j4 | | Vladimír Janousek, Elod Kironsky: Interactive evolutionary modelling and simulation of discrete-event systems using prototypical objects. Int. J. Auton. Comp. 1(2): 104-120 (2009) |
| j3 | | Zdenek Mazal, Radek Kocí, Vladimír Janousek, Frantisek Zboril Jr.: Modelling intelligent agents for autonomic computing in the PNagent framework. Int. J. Auton. Comp. 1(2): 121-139 (2009) |
| j2 | | Frantisek Zboril Jr., Vladimír Janousek, Radek Kocí, Frantisek Zboril, Zdenek Mazal: Framework for model-based design of multi-agent systems. Int. J. Auton. Comp. 1(2): 140-162 (2009) |
| c12 | | Vladimír Janousek, Sárka Kvetonová: Object-Oriented Petri Nets-Based Modeling of Resources in Project Engineering. EUROCAST 2009: 841-848 |
| c11 | | Radek Kocí, Vladimír Janousek: Simulation Based Design of Control Systems Using DEVS and Petri Nets. EUROCAST 2009: 849-856 |
| c10 | | Jirí Hýsek, Milan Ceska, Vladimír Janousek: Model-Based Design and Verification of Reactive Systems. EUROCAST 2009: 865-872 |
| c9 | | Radek Kocí, Vladimír Janousek: Towards Simulation-Based Design of the Software Systems. ICSEA 2009: 452-457 |
| 2008 | ||
| c8 | | Radek Kocí, Vladimír Janousek, Frantisek Zboril Jr.: Object Oriented Petri Nets — Modelling Techniques Case Study. EMS 2008: 165-170 |
| c7 | | Frantisek Zboril Jr., Frantisek Zboril, Radek Kocí, Vladimír Janousek, Zdenek Mazal: T-Mass v.2, State of the Art. EMS 2008: 240-245 |
| c6 | | Radek Kocí, Vladimír Janousek: System Design with Object Oriented Petri Nets Formalism. ICSEA 2008: 421-426 |
| c5 | | Zdenek Mazal, Radek Kocí, Vladimír Janousek, Frantisek Zboril: PNagent: A Framework for Modelling BDI Agents Using Object Oriented Petri Nets. ISDA (2) 2008: 420-425 |
| c4 | | Frantisek Zboril Jr., Vladimír Janousek, Radek Kocí, Zdenek Mazal: Reactive Planning with Weak Plan Instances. ISDA (1) 2008: 643-648 |
| 2001 | ||
| j1 |  | Milan Ceska, Vladimír Janousek, Tomás Vojnar: Generating and using state spaces of object-oriented Petri nets. Comput. Syst. Sci. Eng. 16(3): 183-193 (2001) |
| c3 | | Milan Ceska, Vladimír Janousek, Tomás Vojnar: Analysis and Verification Queries over Object-Oriented Petri Nets. EUROCAST 2001: 369-384 |
| 1999 | ||
| c2 | | Milan Ceska, Vladimír Janousek, Tomás Vojnar: Towards Verifying Distributed Systems Using Object-Oriented Petri Nets. EUROCAST 1999: 90-104 |
| 1997 | ||
| c1 | | Milan Ceska, Vladimír Janousek, Tomás Vojnar: PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling. EUROCAST 1997: 591-610 |
| 1 | Milan Ceska | |
| 2 | Jirí Hýsek | |
| 3 | Elod Kironsky | |
| 4 | Radek Kocí | |
| 5 | Sárka Kvetonová | |
| 6 | Zdenek Mazal | |
| 7 | Tomás Vojnar | |
| 8 | Frantisek Zboril (Frantisek Vítezslav Zboril) | |
| 9 | Frantisek Zboril Jr. |
Colors in the list of coauthors
Last update Sat May 25 19:06:06 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page