×

zbMATH — the first resource for mathematics

D’Antoni, Loris

Compute Distance To:
Author ID: dantoni.loris Recent zbMATH articles by "D'Antoni, Loris"
Published as: D’Antoni, Loris
External Links: ORCID
Documents Indexed: 13 Publications since 2008

Publications by Year

Citations contained in zbMATH

9 Publications have been cited 64 times in 56 Documents Cited by Year
Global progress in dynamically interleaved multiparty sessions. Zbl 1160.68456
Bettini, Lorenzo; Coppo, Mario; D’Antoni, Loris; De Luca, Marco; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko
28
2008
Regular functions and cost register automata (invited paper). Zbl 1366.68046
Alur, Rajeev; D’Antoni, Loris; Deshmukh, Jyotirmoy; Raghothaman, Mukund; Yuan, Yifei
15
2013
Streaming tree transducers. Zbl 1367.68157
Alur, Rajeev; D’Antoni, Loris
7
2012
Minimization of symbolic automata. Zbl 1284.68347
D’Antoni, Loris; Veanes, Margus
6
2014
DReX: a declarative language for efficiently evaluating regular string transformations. Zbl 1345.68032
Alur, Rajeev; D’Antoni, Loris; Raghothaman, Mukund
3
2015
Extended symbolic finite automata and transducers. Zbl 1341.68085
D’Antoni, Loris; Veanes, Margus
2
2015
Streaming tree transducers. Zbl 1426.68136
Alur, Rajeev; D’Antoni, Loris
1
2017
Monadic second-order logic on finite sequences. Zbl 1387.03006
D’Antoni, Loris; Veanes, Margus
1
2017
Static analysis of string encoders and decoders. Zbl 1426.68043
D’Antoni, Loris; Veanes, Margus
1
2013
Streaming tree transducers. Zbl 1426.68136
Alur, Rajeev; D’Antoni, Loris
1
2017
Monadic second-order logic on finite sequences. Zbl 1387.03006
D’Antoni, Loris; Veanes, Margus
1
2017
DReX: a declarative language for efficiently evaluating regular string transformations. Zbl 1345.68032
Alur, Rajeev; D’Antoni, Loris; Raghothaman, Mukund
3
2015
Extended symbolic finite automata and transducers. Zbl 1341.68085
D’Antoni, Loris; Veanes, Margus
2
2015
Minimization of symbolic automata. Zbl 1284.68347
D’Antoni, Loris; Veanes, Margus
6
2014
Regular functions and cost register automata (invited paper). Zbl 1366.68046
Alur, Rajeev; D’Antoni, Loris; Deshmukh, Jyotirmoy; Raghothaman, Mukund; Yuan, Yifei
15
2013
Static analysis of string encoders and decoders. Zbl 1426.68043
D’Antoni, Loris; Veanes, Margus
1
2013
Streaming tree transducers. Zbl 1367.68157
Alur, Rajeev; D’Antoni, Loris
7
2012
Global progress in dynamically interleaved multiparty sessions. Zbl 1160.68456
Bettini, Lorenzo; Coppo, Mario; D’Antoni, Loris; De Luca, Marco; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko
28
2008
all top 5

Cited by 108 Authors

9 Dezani-Ciancaglini, Mariangiola
9 Yoshida, Nobuko
5 Padovani, Luca
4 Capecchi, Sara
4 Castellani, Ilaria
4 Coppo, Mario
3 Allender, Eric W.
3 Bartoletti, Massimo
3 Chen, Tzu-Chun
3 Engelfriet, Joost
3 Honda, Kohei
3 Krebs, Andreas
3 Maneth, Sebastian
3 Scalas, Alceste
2 Alur, Rajeev
2 Babari, Parvaneh
2 Bocchi, Laura
2 Bono, Viviana
2 Chatterjee, Krishnendu
2 Demangeon, Romain
2 Droste, Manfred
2 Fisman, Dana
2 Giachino, Elena
2 Henzinger, Thomas A.
2 Hu, Raymond
2 McKenzie, Pierre
2 Montesi, Fabrizio
2 Mostrous, Dimitris
2 Otop, Jan
2 Perevoshchikov, Vitaly
2 Raghothaman, Mukund
2 Tuosto, Emilio
2 Veanes, Margus
2 Venneri, Betti
2 Vieira, Hugo Torres
2 Zunino, Roberto
1 Arafailova, Ekaterina
1 Basin, David A.
1 Bejleri, Andi
1 Beldiceanu, Nicolas
1 Benedikt, Michael A.
1 Bettini, Lorenzo
1 Bjørner, Nikolaj S.
1 Bodei, Chiara
1 Bozzelli, Laura
1 Brucker, Achim D.
1 Caires, Luís
1 Carbone, Marco
1 Castagna, Giuseppe
1 Costa, Gabriele
1 Dalla Preda, Mila
1 D’Antoni, Loris
1 Daviaud, Laure
1 Degano, Pierpaolo
1 Deniélou, Pierre-Malo
1 D’silva, Vijay
1 Durand-Gasselin, Antoine
1 Eugster, Patrick Th.
1 Fiedor, Tomáš
1 Galletta, Letterio
1 Ghilezan, Silvia
1 Giannini, Paola
1 Habermehl, Peter
1 Hains, Gaétan
1 Holík, Lukáš
1 Horne, Ross
1 Jecker, Ismaël
1 Kostolányi, Peter
1 Kouzapas, Dimitrios
1 Lanese, Ivan
1 Lapadula, Alessandro
1 Lengál, Ondřej
1 Limaye, Nutan
1 Ludwig, Michael
1 Maletti, Andreas
1 Mamouras, Konstantinos
1 Margaria, Ines
1 Mazowiecki, Filip
1 Melgratti, Hernán
1 Mertz, Ian
1 Messa, Chiara
1 Murgia, Maurizio
1 Neykova, Rumyana
1 Pantović, Jovanka
1 Pérez, Jorge A.
1 Pugliese, Rosario
1 Reynier, Pierre-Alain
1 Riveros, Cristian
1 Sánchez, César
1 Schürmann, Carsten
1 Seidl, Helmut
1 Seki, Hiroyuki
1 Simonis, Helmut
1 Stanford, Caleb
1 Takata, Yoshiaki
1 Thiemann, Peter J.
1 Tiezzi, Francesco
1 Toninho, Bernardo
1 Urban, Caterina
1 Vidali, Vanessa
...and 8 more Authors

Citations by Year