Piotr Kosiuczenko

	2009
21		Piotr Kosiuczenko: On the Implementation of @pre. FASE 2009: 246-261
20		Piotr Kosiuczenko: Redesign of UML class diagrams: a formal approach. Software and System Modeling 8(2): 165-183 (2009)
	2007
19		Piotr Kosiuczenko, Georgios Lajios: Simulation of Generalised Semi-Markov Processes based on Graph Transformation Systems. Electr. Notes Theor. Comput. Sci. 175(4): 73-86 (2007)
	2006
18		Piotr Kosiuczenko: Specification of Invariability in OCL. MoDELS 2006: 676-691
	2005
17		Artur Zawlocki, Grzegorz Marczynski, Piotr Kosiuczenko: Property Preserving Redesign of Specifications. CALCO 2005: 439-455
16		Piotr Kosiuczenko: Proof Transformation via Interpretation Functions: Results, Problems and Applications. Electr. Notes Theor. Comput. Sci. 127(3): 139-145 (2005)
	2003
15		Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens, Martin Wirsing: UML for Global Computing. Global Computing 2003: 1-24
14		Piotr Kosiuczenko: Partial Order Semantics of Sequence Diagrams for Mobility. Scenarios: Models, Transformations and Tools 2003: 212-227
	2002
13		Piotr Kosiuczenko: Sequence Diagrams for Mobility. ER (Workshops) 2002: 147-158
12		Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Martin Wirsing: Extending Activity Diagrams to Model Mobile Systems. NetObjectDays 2002: 278-293
11		Luis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki: AGILE: Software Architecture for Mobility. WADT 2002: 1-33
	2001
10		Piotr Kosiuczenko: Towards a Formal Redesign of UML Class Diagrams. GI Jahrestagung (1) 2001: 655-661
9		Piotr Kosiuczenko: Formal Redesign of UML Class Diagrams. pUML 2001: 174-190
	2000
8		L. J. Steggles, Piotr Kosiuczenko: A Formal Model for SDL Specifications Based on Timed Rewriting Logic. Autom. Softw. Eng. 7(1): 61-90 (2000)
	1999
7		Piotr Kosiuczenko, Martin Wirsing: Formalizing and Executing Message Sequence Charts via Timed Rewriting. Electr. Notes Theor. Comput. Sci. 25: (1999)
	1998
6		L. J. Steggles, Piotr Kosiuczenko: A timed rewriting logic semantics for SDL: A case study of alternating bit protocol. Electr. Notes Theor. Comput. Sci. 15: (1998)
	1997
5		Piotr Kosiuczenko: Time in Message Sequence Charts: A Formal Approach (Extended Abstract). Euro-Par 1997: 562-566
4		Piotr Kosiuczenko: Formal Semantics of Basic Message Sequence Charts: an Algebraic Approach. FBT 1997: 135-144
3		Piotr Kosiuczenko, Martin Wirsing: Timed Rewriting Logic with an Application to Object-Based Specification. Sci. Comput. Program. 28(2-3): 225-246 (1997)
	1996
2		Piotr Kosiuczenko, Karl Meinke: On the Power of Higher-Order Algebraic Specification Methods. Inf. Comput. 124(1): 85-101 (1996)
	1995
1		Peter Csaba Ölveczky, Piotr Kosiuczenko, Martin Wirsing: An Object-Oriented Algebraic Steam-Boiler Control Specification. Formal Methods for Industrial Applications 1995: 379-402

Coauthor Index

1	Luis Filipe Andrade	[11]
2	Paolo Baldan	[11]
3	Hubert Baumeister	[11] [12] [15]
4	Roberto Bruni	[11]
5	Andrea Corradini	[11]
6	José Luiz Fiadeiro	[11]
7	Fabio Gadducci	[11]
8	Stefania Gnesi	[11]
9	Piotr Hoffman	[11]
10	Nora Koch	[11] [12] [15]
11	Georgios Lajios	[19]
12	Alessandro Lapadula	[11]
13	Diego Latella	[11]
14	Antónia Lopes	[11]
15	Michele Loreti	[11]
16	Grzegorz Marczynski	[17]
17	Mieke Massink	[11]
18	Franco Mazzanti	[11]
19	Karl Meinke	[2]
20	Ugo Montanari	[11]
21	Rocco De Nicola	[11]
22	Cristóvão Oliveira	[11]
23	Peter Csaba Ölveczky	[1]
24	Rosario Pugliese	[11]
25	L. Jason Steggles (L. J. Steggles)	[6] [8]
26	Perdita Stevens	[15]
27	Andrzej Tarlecki	[11]
28	Michel Wermelinger	[11]
29	Martin Wirsing	[1] [3] [7] [11] [12] [15]
30	Artur Zawlocki	[11] [17]

Colors in the list of coauthors