Sotabase

Career

· Presidente CTV POR FESR Veneto 2014-2020, AVEPA - Agenzia veneta per i pagamenti2019–2020
· Full Professor, Università degli Studi di Verona2018–
· Coordinator Of The PhD Program In Computer Science, Università degli Studi di Verona2016–2022
· Associate Professor, University of Verona2006–2018
· Research Fellow, EPFL (École polytechnique fédérale de Lausanne)2002–2002
· Assistant Professor, University of Verona2002–2006
· Research Fellow, University of Sussex2000–2002

Publications (70)

On asynchrony in name-passing calculi
Mathematical Structures in Computer Science · 1998
130
cited
Behavioural Theory for Mobile Ambients
IFIP TCS · 2004
99
cited
Bisimulation congruences in safe ambients
ACM-SIGACT Symposium on Principles of Programming Languages · 2002
99
cited
An Observational Theory for Mobile Ad Hoc Networks
Mathematical Foundations of Programming Semantics · 2007
72
cited
An Observational Theory for Mobile Ad Hoc Networks (full version)
Information and Computation · 2009
71
cited
A timed calculus for wireless systems
Theoretical Computer Science · 2009
68
cited
Towards a behavioural theory of access and mobility control in distributed systems
Theoretical Computer Science · 2003
54
cited
A Semantic Theory of the Internet of Things - (Extended Abstract)
International Conference on Coordination Models and Languages · 2015
53
cited
Communication Interference in Mobile Boxed Ambients
Foundations of Software Technology and Theoretical Computer Science · 2002
53
cited
Migration = cloning; aliasing
1999
52
cited
A Formal Approach to Cyber-Physical Attacks
IEEE Computer Security Foundations Symposium · 2016
49
cited
A Formal Approach to Physics-based Attacks in Cyber-physical Systems
ACM Transactions on Privacy and Security · 2019
46
cited
Modeling Consensus in a Process Calculus
International Conference on Concurrency Theory · 2003
45
cited
Bisimulation Proof Methods for Mobile Ambients
International Colloquium on Automata, Languages and Programming · 2003
41
cited
Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA
IEEE International Conference on Software Engineering and Formal Methods · 2010
40
cited
Typing and Subtyping Mobility in Boxed Ambients
International Conference on Concurrency Theory · 2002
40
cited
Distributed Consensus, revisited
Acta Informatica · 2007
38
cited
A semantic analysis of key management protocols for wireless sensor networks
Science of Computer Programming · 2014
35
cited
A bisimulation-based semantic theory of Safe Ambients
TOPL · 2006
32
cited
A Calculus of Cyber-Physical Systems
Language and Automata Theory and Applications · 2016
28
cited
Sotabase