Artur Zawlocki

According to our database, Artur Zawlocki authored at least 5 papers between 2002 and 2024.

Collaborative distances:

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

2024

Arctic-TILT. Business Document Understanding at Sub-Billion Scale.

Lukasz Borchmann, Michal Pietruszka, Wojciech Jaskowski, Dawid Jurkiewicz, Piotr Halama, Pawel Józiak, Lukasz Garncarek, Pawel Liskowski, Karolina Szyndler, Andrzej Gretkowski, Julita Oltusek, Gabriela Nowakowska, Artur Zawlocki, Lukasz Duhr, Pawel Dyda, Michal Turski

CoRR, 2024

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