Artur Zawlocki

According to our database, Artur Zawlocki authored at least 4 papers between 2002 and 2010.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2010

A heterogeneous approach to service-oriented systems specification.

Alexander Knapp, Grzegorz Marczynski, Martin Wirsing, Artur Zawlocki

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

2005

Property Preserving Redesign of Specifications.

Artur Zawlocki, Grzegorz Marczynski, Piotr Kosiuczenko

Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

2004

Architectural Specifications for Reactive Systems.

Artur Zawlocki

Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

2002

AGILE: Software Architecture for Mobility.

Luís 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

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002