Concepedia

Valerio Genovese

VG

Statistics

Publications

8

Citations

134

H-Index

8

Active since

2007

Affiliations

University of Luxembourg(Current)

University of Helsinki

University of Turin

Azienda Ospedaliera Universitaria Pisana

King's College London

Valerio Genovese is an author at University of Luxembourg specializing in formal methods, computer science, and logic.

Publications per year

2007–2023

8

Publications

8

Countermodels from Sequent Calculi in Multi-Modal Logics

Deepak Garg, Valerio Genovese, Sara Negri · 2012 · 29 citations

Humanities, Computer Science, Mathematics +12

coMpliAnce with evideNce-based cliniCal guidelines in the managemenT of acute biliaRy pancreAtitis): The MANCTRA-1 international audit

Mauro Podda, Daniela Pacella, Gianluca Pellino et al. · Pancreatology · 2022 · 24 citations · Full text

Medicine, Internal Medicine, Evidence-based Practice +14

Infected pancreatic necrosis: outcomes and clinical predictors of mortality. A post hoc analysis of the MANCTRA-1 international study

Mauro Podda, Gianluca Pellino, Salomone Di Saverio et al. · Updates in Surgery · 2023 · 19 citations · Full text

Social Sciences, Health Sciences, Clinical Epidemiology +13

Fibred Security Language

Guido Boella, Dov M. Gabbay, Valerio Genovese et al. · Studia Logica · 2009 · 18 citations · Full text

Embedding and automating conditional logics in classical higher-order logic

Christoph Benzmüller, Dov M. Gabbay, Valerio Genovese et al. · Annals of Mathematics and Artificial Intelligence · 2012 · 12 citations · Full text

Humanities, Computer Science, Mathematics +13

1–5 of 8