×

zbMATH — the first resource for mathematics

Mantovani, Jacopo

Compute Distance To:
Author ID: mantovani.jacopo Recent zbMATH articles by "Mantovani, Jacopo"
Published as: Mantovani, Jacopo; Mantovani, J.
Documents Indexed: 3 Publications since 2005

Serials

Publications by Year

Citations contained in zbMATH Open

3 Publications have been cited 53 times in 52 Documents Cited by Year
The AVISPA tool for the automated validation of internet security protocols and applications. Zbl 1081.68523
Armando, A.; Basin, D.; Boichut, Y.; Chevalier, Y.; Compagna, L.; Cuellar, J.; Hankes Drielsma, P.; Heám, P. C.; Kouchnarenko, O.; Mantovani, J.; Mödersheim, S.; von Oheimb, D.; Rusinowitch, M.; Santiago, J.; Turuani, M.; Viganò, L.; Vigneron, L.
45
2005
Bounded model checking of software using SMT solvers instead of SAT solvers. Zbl 1178.68148
Armando, Alessandro; Mantovani, Jacopo; Platania, Lorenzo
6
2006
Abstraction refinement of linear programs with arrays. Zbl 1186.68275
Armando, Alessandro; Benerecetti, Massimo; Mantovani, Jacopo
2
2007
Abstraction refinement of linear programs with arrays. Zbl 1186.68275
Armando, Alessandro; Benerecetti, Massimo; Mantovani, Jacopo
2
2007
Bounded model checking of software using SMT solvers instead of SAT solvers. Zbl 1178.68148
Armando, Alessandro; Mantovani, Jacopo; Platania, Lorenzo
6
2006
The AVISPA tool for the automated validation of internet security protocols and applications. Zbl 1081.68523
Armando, A.; Basin, D.; Boichut, Y.; Chevalier, Y.; Compagna, L.; Cuellar, J.; Hankes Drielsma, P.; Heám, P. C.; Kouchnarenko, O.; Mantovani, J.; Mödersheim, S.; von Oheimb, D.; Rusinowitch, M.; Santiago, J.; Turuani, M.; Viganò, L.; Vigneron, L.
45
2005
all top 5

Cited by 104 Authors

9 Delaune, Stéphanie
7 Cortier, Véronique
5 Kremer, Steve
4 Basin, David A.
4 Cremers, Cas J. F.
3 Cheval, Vincent
3 Meadows, Catherine A.
3 Viganò, Luca
2 Arnaud, Mathilde
2 Ayala-Rincón, Mauricio
2 Caleiro, Carlos
2 Ciobâcă, Ştefan
2 Ghilardi, Silvio
2 Lafourcade, Pascal
2 Mauw, Sjouke
2 Mödersheim, Sebastian A.
2 Radomirović, Saša
2 Ranise, Silvio
2 Sasse, Ralf
2 Tinelli, Cesare
1 Alberti, Francesco
1 Andova, Suzana
1 Arsac, Wihem
1 Babel, Kushal
1 Barrett, Clark W.
1 Belardinelli, Francesco
1 Bella, Giampaolo
1 Ben Rajeb, Narjes
1 Berrima, Mouhebeddine
1 Blanchet, Bruno
1 Boichut, Yohan
1 Bruttomesso, Roberto
1 Cervesato, Iliano
1 Chantry, Xavier
1 Chaudhari, Narendra S.
1 Chevalier, Céline
1 Chevalier, Yannick
1 Collavizza, Hélène
1 Colvin, Robert J.
1 Comon-Lundh, Hubert
1 Compagna, Luca
1 Datta, Anupam
1 de Vink, Erik P.
1 Derek, Ante
1 Dreier, Jannik
1 Du, Hongwei
1 Duan, Zhenhua
1 Duménil, Charles
1 Erbatur, Serdar
1 Escobar, Santiago
1 Falcone, Yliès
1 Fallah, Mehran S.
1 Fernández, Maribel
1 Focardi, Riccardo
1 Genet, Thomas
1 Gjøsteen, Kristian
1 Gupta, Shubham
1 Hadarean, Liana
1 Hayes, Ian J.
1 Héam, Pierre-Cyrille
1 Hördegen, Heinrich
1 Jaggard, Aaron D.
1 Janvier, Romain
1 Kassem, Ali
1 Keller, Michel
1 Kouchnarenko, Olga
1 Kurkowski, Mirosław
1 Lakhnech, Yassine
1 Lomuscio, Alessio
1 Luccio, Flaminia L.
1 Marshall, Andrew M.
1 Mazaré, Laurent
1 Meseguer Guaita, José
1 Mitchell, John C.
1 Mjølsnes, Stig Frode
1 Nadeau, Philippe
1 Novotný, Marián
1 Oe, Duckki
1 Parne, Balu L.
1 Piątkowski, Jacek
1 Ramos, Jaime
1 Rego, Yuri Santos
1 Reynolds, Andrew
1 Ringeissen, Christophe
1 Roy, Arnab
1 Rueher, Michel
1 Rusinowitch, Michaël
1 Ryan, Mark Dermot
1 Sattarzadeh, Behnam
1 Scedrov, Andre
1 Sharygina, Natasha
1 Siedlecka-Lamch, Olga
1 Sobrinho, Daniele Nantes
1 Steel, Graham
1 Stump, Aaron
1 Sundararajan, Vaishnavi
1 Szymoniak, Sabina
1 Tian, Cong
1 Tsay, Joe-Kai
1 Valsecchi, Thomas
...and 4 more Authors

Citations by Year