Luca Vigano
AuthID: R-00H-B6F
1
TÃTULO: Minor Hepatectomies: Focusing a Blurred Picture Analysis of the Outcome of 4471 Open Resections in Patients Without Cirrhosis
AUTORES: 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; ...Mais
PUBLICAÇÃO: 2019, FONTE: ANNALS OF SURGERY, VOLUME: 270, NÚMERO: 5
AUTORES: 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; ...Mais
PUBLICAÇÃO: 2019, FONTE: ANNALS OF SURGERY, VOLUME: 270, NÚMERO: 5
INDEXADO EM: WOS
2
TÃTULO: Compositional Meaning in Logic Full Text
AUTORES: Carlos Caleiro ; Luca Vigano;
PUBLICAÇÃO: 2017, FONTE: LOGICA UNIVERSALIS, VOLUME: 11, NÚMERO: 3
AUTORES: Carlos Caleiro ; Luca Vigano;
PUBLICAÇÃO: 2017, FONTE: LOGICA UNIVERSALIS, VOLUME: 11, NÚMERO: 3
INDEXADO EM: WOS
3
TÃTULO: Compositional Meaning in Logic
AUTORES: Carlos Caleiro; Luca Viganò;
PUBLICAÇÃO: 2017, FONTE: Logica Universalis, VOLUME: 11, NÚMERO: 3
AUTORES: Carlos Caleiro; Luca Viganò;
PUBLICAÇÃO: 2017, FONTE: Logica Universalis, VOLUME: 11, NÚMERO: 3
INDEXADO EM: DBLP
4
TÃTULO: Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete Full Text
AUTORES: Pedro Adao ; Paulo Mateus ; Luca Vigano;
PUBLICAÇÃO: 2014, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 538, NÚMERO: C
AUTORES: Pedro Adao ; Paulo Mateus ; Luca Vigano;
PUBLICAÇÃO: 2014, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 538, NÚMERO: C
5
TÃTULO: A Labeled Deduction System for the Logic UB Full Text
AUTORES: Carlos Caleiro ; Luca Vigano; Marco Volpe;
PUBLICAÇÃO: 2013, FONTE: 20th International Symposium on Temporal Representation and Reasoning (TIME) in 2013 20th International Symposium on Temporal Representation and Reasoning (TIME)
AUTORES: Carlos Caleiro ; Luca Vigano; Marco Volpe;
PUBLICAÇÃO: 2013, FONTE: 20th International Symposium on Temporal Representation and Reasoning (TIME) in 2013 20th International Symposium on Temporal Representation and Reasoning (TIME)
6
TÃTULO: Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete
AUTORES: Adao, P; Mateus, P; Vigano, L;
PUBLICAÇÃO: 2013, FONTE: Theoretical Computer Science
AUTORES: Adao, P; Mateus, P; Vigano, L;
PUBLICAÇÃO: 2013, FONTE: Theoretical Computer Science
INDEXADO EM: Scopus
7
TÃTULO: On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators
AUTORES: Carlos Caleiro; Luca Viganò; Marco Volpe;
PUBLICAÇÃO: 2013, FONTE: Logica Universalis, VOLUME: 7, NÚMERO: 1
AUTORES: Carlos Caleiro; Luca Viganò; Marco Volpe;
PUBLICAÇÃO: 2013, FONTE: Logica Universalis, VOLUME: 7, NÚMERO: 1
INDEXADO EM: DBLP
8
TÃTULO: A labeled tableaux system for the distributed temporal logic DTL
AUTORES: David Basin; Carlos Caleiro ; Jaime Ramos ; Luca Vigano;
PUBLICAÇÃO: 2008, FONTE: 15th International Symposium on Temporal Representation and Reasoning in TIME 2008: 15TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS
AUTORES: David Basin; Carlos Caleiro ; Jaime Ramos ; Luca Vigano;
PUBLICAÇÃO: 2008, FONTE: 15th International Symposium on Temporal Representation and Reasoning in TIME 2008: 15TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS
9
TÃTULO: Towards a Quantitative Analysis of Security Protocols
AUTORES: Pedro Adão ; Paulo Mateus ; Tiago Reis; Luca Viganò;
PUBLICAÇÃO: 2006, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 164, NÚMERO: 3
AUTORES: Pedro Adão ; Paulo Mateus ; Tiago Reis; Luca Viganò;
PUBLICAÇÃO: 2006, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 164, NÚMERO: 3
10
TÃTULO: On the semantics of Alice&Bob specifications of security protocols
AUTORES: Carlos Caleiro; Luca Viganò; David A Basin;
PUBLICAÇÃO: 2006, FONTE: Theor. Comput. Sci., VOLUME: 367, NÚMERO: 1-2
AUTORES: Carlos Caleiro; Luca Viganò; David A Basin;
PUBLICAÇÃO: 2006, FONTE: Theor. Comput. Sci., VOLUME: 367, NÚMERO: 1-2
INDEXADO EM: DBLP