Vladimír Janousek

	2010
17		Radek Kocí, Vladimír Janousek: OOPN and DEVS Formalisms for System Specification and Analysis. ICSEA 2010: 305-310
	2009
16		Vladimír Janousek, Sárka Kvetonová: Object-Oriented Petri Nets-Based Modeling of Resources in Project Engineering. EUROCAST 2009: 841-848
15		Radek Kocí, Vladimír Janousek: Simulation Based Design of Control Systems Using DEVS and Petri Nets. EUROCAST 2009: 849-856
14		Jirí Hýsek, Milan Ceska, Vladimír Janousek: Model-Based Design and Verification of Reactive Systems. EUROCAST 2009: 865-872
13		Radek Kocí, Vladimír Janousek: Towards Simulation-Based Design of the Software Systems. ICSEA 2009: 452-457
12		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)
11		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)
10		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)
	2008
9		Radek Kocí, Vladimír Janousek, Frantisek Zboril Jr.: Object Oriented Petri Nets — Modelling Techniques Case Study. EMS 2008: 165-170
8		Frantisek Zboril Jr., Frantisek Zboril, Radek Kocí, Vladimír Janousek, Zdenek Mazal: T-Mass v.2, State of the Art. EMS 2008: 240-245
7		Radek Kocí, Vladimír Janousek: System Design with Object Oriented Petri Nets Formalism. ICSEA 2008: 421-426
6		Frantisek Zboril Jr., Vladimír Janousek, Radek Kocí, Zdenek Mazal: Reactive Planning with Weak Plan Instances. ISDA (1) 2008: 643-648
5		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
	2001
4		Milan Ceska, Vladimír Janousek, Tomás Vojnar: Analysis and Verification Queries over Object-Oriented Petri Nets. EUROCAST 2001: 369-384
3		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)
	1999
2		Milan Ceska, Vladimír Janousek, Tomás Vojnar: Towards Verifying Distributed Systems Using Object-Oriented Petri Nets. EUROCAST 1999: 90-104
	1997
1		Milan Ceska, Vladimír Janousek, Tomás Vojnar: PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling. EUROCAST 1997: 591-610

Coauthor Index

1	Milan Ceska	[1] [2] [3] [4] [14]
2	Jirí Hýsek	[14]
3	Elod Kironsky	[12]
4	Radek Kocí	[5] [6] [7] [8] [9] [10] [11] [13] [15] [17]
5	Sárka Kvetonová	[16]
6	Zdenek Mazal	[5] [6] [8] [10] [11]
7	Tomás Vojnar	[1] [2] [3] [4]
8	Frantisek Zboril (Frantisek Vítezslav Zboril)	[5] [8] [10]
9	Frantisek Zboril Jr.	[6] [8] [9] [10] [11]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page