io-port.net

io-port 05955734 Pradella, Matteo; Cherubini, Alessandra; Reghizzi, Stefano Crespi

A unifying approach to picture grammars. (English)

Inf. Comput. 209, No. 9, 1246-1267 (2011).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05934394 Lonati, Violetta; Pradella, Matteo

Towards more expressive 2D deterministic automata. (English)

Bouchou-Markhoff, Béatrice (ed.) et al., Implementation and application of automata. 16th international conference, CIAA 2011, Blois, France, July 13‒16, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22255-9/pbk). Lecture Notes in Computer Science 6807, 225-237 (2011).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05923253 Salvaneschi, Guido; Ghezzi, Carlo; Pradella, Matteo

Context-oriented programming: A programming paradigm for autonomic systems. (English)

Comput. Res. Repos. 2011, Article No. 1105.0069 (2011).

3

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05922714 Salvaneschi, Guido; Ghezzi, Carlo; Pradella, Matteo

Javactx: seamless toolchain integration for context-oriented programming. (English)

Comput. Res. Repos. 2011, Article No. 1104.1351 (2011).

4

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05908688 Lonati, Violetta; Mandrioli, Dino; Pradella, Matteo

Precedence automata and languages. (English)

Kulikov, Alexander (ed.) et al., Computer science ‒ theory and applications. 6th international computer science symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14‒18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20711-2/pbk). Lecture Notes in Computer Science 6651, 291-304 (2011).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05907103 Lonati, Violetta; Pradella, Matteo

Strategies to scan pictures with automata based on Wang tiles. (English)

RAIRO, Theor. Inform. Appl. 45, No. 1, 163-180 (2011).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50075883 Lonati, Violetta; Pradella, Matteo

Strategies to scan pictures with automata based on Wang tiles (English)

RAIRO - Theor. Inf. and Applic. 45, No. 1, 163-180 (2011).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70025722 Lonati, Violetta; Mandrioli, Dino; Pradella, Matteo

Precedence automata and languages (English)

CSR, 291-304 (2011).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70925721 Ghezzi, Carlo; Pradella, Matteo; Salvaneschi, Guido

An evaluation of the adaptation capabilities in programming languages (English)

SEAMS, 50-59 (2011).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70942468 Lonati, Violetta; Pradella, Matteo

Towards more expressive 2D deterministic automata (English)

CIAA, 225-237 (2011).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05755765 Bersani, Marcello M.; Cavallaro, Luca; Frigeri, Achille; Pradella, Matteo; Rossi, Matteo

SMT-based verification of LTL specifications with integer constraints and its application to runtime checking of service substitutability. (English)

Comput. Res. Repos. 2010, Article No. 1004.2873 (2010).

11

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05755553 Bersani, Marcello M.; Frigeri, Achille; Morzenti, Angelo; Pradella, Matteo; Rossi, Matteo; Pietro, Pierluigi San

Bounded reachability for temporal logic over constraint systems. (English)

Comput. Res. Repos. 2010, Article No. 1004.1077 (2010).

12

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05664084 Lonati, Violetta; Pradella, Matteo

Picture recognizability with automata based on Wang tiles. (English)

van Leeuwen, Jan (ed.) et al., SOFSEM 2010: Theory and practice of computer science. 36th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 23‒29, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11265-2/pbk). Lecture Notes in Computer Science 5901, 576-587 (2010).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50089764 Lonati, Violetta; Pradella, Matteo

Deterministic recognizability of picture languages with Wang automata (English)

Discrete Mathematics & Theoretical Computer Science 12, No. 4, 73-94 (2010).

14

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70101929 Bersani, Marcello M.; Cavallaro, Luca; Frigeri, Achille; Pradella, Matteo; Rossi, Matteo

SMT-based verification of LTL specification with integer constraints and its application to runtime checking of service substitutability (English)

SEFM, 244-254 (2010).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70123198 Bersani, Marcello M.; Frigeri, Achille; Morzenti, Angelo; Pradella, Matteo; Rossi, Matteo; Pietro, Pierluigi San

Bounded reachability for temporal logic over constraint systems (English)

TIME, 43-50 (2010).

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70836420 Cavallaro, Luca; Di Nitto, Elisabetta; Furia, Carlo A.; Pradella, Matteo

A tile-based approach for self-assembling service compositions (English)

ICECCS, 43-52 (2010).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70879697 Lonati, Violetta; Pradella, Matteo

Picture recognizability with automata based on Wang tiles (English)

SOFSEM, 576-587 (2010).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05753657 Pradella, Matteo

A user’s guide to zot. (English)

Comput. Res. Repos. 2009, Article No. 0912.5014 (2009).

19

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05752584 Pradella, Matteo; Cherubini, Alessandra; Crespi-Reghizzi, Stefano

A unifying approach to picture grammars. (English)

Comput. Res. Repos. 2009, Article No. 0910.2829 (2009).

20

PDF XML AMS-TeX TEXT BIBTeX URL