Luca Vigano
AuthID: R-00H-B6F
1
TITLE: Minor Hepatectomies: Focusing a Blurred Picture Analysis of the Outcome of 4471 Open Resections in Patients Without Cirrhosis
AUTHORS: Luca Vigano; Guido Torzilli; Roberto Troisi; Luca Aldrighetti; Alessandro Ferrero; Pietro Majno; Christian Toso; Joan Figueras; Daniel Cherqui; Rene Adam; Norihiro Kokudo; Kiyoshi Hasegawa; Alfredo Guglielmi; Marek Krawczyk; Felice Giuliante; Mohammad Abu Hilal; Jose Costa Maia; Antonio Daniele Pinna; Matteo Cescon; Eduardo De Santibanes; ...More
PUBLISHED: 2019, SOURCE: ANNALS OF SURGERY, VOLUME: 270, ISSUE: 5
AUTHORS: Luca Vigano; Guido Torzilli; Roberto Troisi; Luca Aldrighetti; Alessandro Ferrero; Pietro Majno; Christian Toso; Joan Figueras; Daniel Cherqui; Rene Adam; Norihiro Kokudo; Kiyoshi Hasegawa; Alfredo Guglielmi; Marek Krawczyk; Felice Giuliante; Mohammad Abu Hilal; Jose Costa Maia; Antonio Daniele Pinna; Matteo Cescon; Eduardo De Santibanes; ...More
PUBLISHED: 2019, SOURCE: ANNALS OF SURGERY, VOLUME: 270, ISSUE: 5
INDEXED IN: 
WOS
WOS2
TITLE: Compositional Meaning in Logic Full Text
AUTHORS: Carlos Caleiro ; Luca Vigano;
PUBLISHED: 2017, SOURCE: LOGICA UNIVERSALIS, VOLUME: 11, ISSUE: 3
AUTHORS: Carlos Caleiro ; Luca Vigano;
PUBLISHED: 2017, SOURCE: LOGICA UNIVERSALIS, VOLUME: 11, ISSUE: 3
INDEXED IN: WOS
WOS3
TITLE: Compositional Meaning in Logic
AUTHORS: Carlos Caleiro; Luca Viganò;
PUBLISHED: 2017, SOURCE: Logica Universalis, VOLUME: 11, ISSUE: 3
AUTHORS: Carlos Caleiro; Luca Viganò;
PUBLISHED: 2017, SOURCE: Logica Universalis, VOLUME: 11, ISSUE: 3
INDEXED IN: 
DBLP
DBLP4
TITLE: Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete Full Text
AUTHORS: Pedro Adao ; Paulo Mateus ; Luca Vigano;
PUBLISHED: 2014, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 538, ISSUE: C
AUTHORS: Pedro Adao ; Paulo Mateus ; Luca Vigano;
PUBLISHED: 2014, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 538, ISSUE: C
5
TITLE: A Labeled Deduction System for the Logic UB Full Text
AUTHORS: Carlos Caleiro ; Luca Vigano; Marco Volpe;
PUBLISHED: 2013, SOURCE: 20th International Symposium on Temporal Representation and Reasoning (TIME) in 2013 20th International Symposium on Temporal Representation and Reasoning (TIME)
AUTHORS: Carlos Caleiro ; Luca Vigano; Marco Volpe;
PUBLISHED: 2013, SOURCE: 20th International Symposium on Temporal Representation and Reasoning (TIME) in 2013 20th International Symposium on Temporal Representation and Reasoning (TIME)
6
TITLE: Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete
AUTHORS: Adao, P; Mateus, P; Vigano, L;
PUBLISHED: 2013, SOURCE: Theoretical Computer Science
AUTHORS: Adao, P; Mateus, P; Vigano, L;
PUBLISHED: 2013, SOURCE: Theoretical Computer Science
INDEXED IN: 
Scopus
Scopus7
TITLE: On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators
AUTHORS: Carlos Caleiro; Luca Viganò; Marco Volpe;
PUBLISHED: 2013, SOURCE: Logica Universalis, VOLUME: 7, ISSUE: 1
AUTHORS: Carlos Caleiro; Luca Viganò; Marco Volpe;
PUBLISHED: 2013, SOURCE: Logica Universalis, VOLUME: 7, ISSUE: 1
INDEXED IN: DBLP
DBLP8
TITLE: A labeled tableaux system for the distributed temporal logic DTL
AUTHORS: David Basin; Carlos Caleiro ; Jaime Ramos ; Luca Vigano;
PUBLISHED: 2008, SOURCE: 15th International Symposium on Temporal Representation and Reasoning in TIME 2008: 15TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS
AUTHORS: David Basin; Carlos Caleiro ; Jaime Ramos ; Luca Vigano;
PUBLISHED: 2008, SOURCE: 15th International Symposium on Temporal Representation and Reasoning in TIME 2008: 15TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS
9
TITLE: Towards a Quantitative Analysis of Security Protocols
AUTHORS: Pedro Adão ; Paulo Mateus ; Tiago Reis; Luca Viganò;
PUBLISHED: 2006, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 164, ISSUE: 3
AUTHORS: Pedro Adão ; Paulo Mateus ; Tiago Reis; Luca Viganò;
PUBLISHED: 2006, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 164, ISSUE: 3
10
TITLE: On the semantics of Alice&Bob specifications of security protocols
AUTHORS: Carlos Caleiro; Luca Viganò; David A Basin;
PUBLISHED: 2006, SOURCE: Theor. Comput. Sci., VOLUME: 367, ISSUE: 1-2
AUTHORS: Carlos Caleiro; Luca Viganò; David A Basin;
PUBLISHED: 2006, SOURCE: Theor. Comput. Sci., VOLUME: 367, ISSUE: 1-2
INDEXED IN: DBLP
DBLP