Luca Vigano
AuthID: R-00H-B6F
1
TITLE: Event-Based Time-Stamped Claim Logic
AUTHORS: Ramos, J; Rasga, J; Sernadas, C; Vigano, L;
PUBLISHED: 2021, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 121
AUTHORS: Ramos, J; Rasga, J; Sernadas, C; Vigano, L;
PUBLISHED: 2021, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 121
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: Time-stamped claim logic
AUTHORS: Rasga, J; Sernadas, C; Karafili, E; Vigano, L;
PUBLISHED: 2021, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 29, ISSUE: 3
AUTHORS: Rasga, J; Sernadas, C; Karafili, E; Vigano, L;
PUBLISHED: 2021, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 29, ISSUE: 3
INDEXED IN: WOS
WOS3
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
WOS4
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
WOS5
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
DBLP6
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
7
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)
8
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
Scopus9
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
DBLP10
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
