Piotr Hoffman

According to our database, Piotr Hoffman authored at least 10 papers between 2001 and 2007.

Collaborative distances:

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

2007

Reachability in Unions of Commutative Rewriting Systems Is Decidable.

Mikolaj Bojanczyk, Piotr Hoffman

Proceedings of the STACS 2007, 2007

Datatypes in Memory.

David Aspinall, Piotr Hoffman

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006

Unions of Equational Monadic Theories.

Piotr Hoffman

Proceedings of the Term Rewriting and Applications, 17th International Conference, 2006

2005

Amalgamation in the semantics of CASL.

Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman

Theor. Comput. Sci., 2005

Union of Equational Theories: An Algebraic Approach.

Piotr Hoffman

Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005

2002

Verifying Generative Casl Architectural Specifications.

Piotr Hoffman

Proceedings of the Recent Trends in Algebraic Development Techniques, 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

2001

Verifying Architectural Specifications.

Piotr Hoffman

Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

Checking Amalgamability Conditions for C ASL Architectural Specifications.

Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski

Proceedings of the Mathematical Foundations of Computer Science 2001, 2001

Semantics of Architectural Specifications in CASL.

Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman

Proceedings of the Fundamental Approaches to Software Engineering, 2001