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; Lucio Urbani; Timothy Pawlik; Guido Costa; Daniela Zugna; ...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
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
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
INDEXADO EM: Scopus WOS DBLP CrossRef
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)
INDEXADO EM: Scopus WOS DBLP CrossRef
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
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
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
INDEXADO EM: Scopus WOS DBLP CrossRef
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
INDEXADO EM: Scopus DBLP CrossRef
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
INDEXADO EM: DBLP
Página 1 de 2. Total de resultados: 13.