Luca Viganò

Available identifiers

zbMath Open vigano.lucaWikidataQ102345512 ScholiaQ102345512MaRDI QIDQ549723

List of research outcomes

Publication	Date of Publication	Type
Don’t Tell Me the Cybersecurity Moon Is Shining…	2022-11-11	Paper
Typing and compositionality for security protocols: a generalization to the geometric fragment	2022-08-19	Paper
Time-stamped claim logic	2022-01-05	Paper
Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way	2021-09-21	Paper
Event-based time-stamped claim logic	2021-08-03	Paper
Explaining Cybersecurity with Films and the Arts	2021-01-07	Paper
Conditional simple temporal networks with uncertainty and decisions	2019-11-07	Paper
Conditional Simple Temporal Networks with Uncertainty and Resources	2019-05-17	Paper
Compositional meaning in logic	2017-11-29	Paper
A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations	2017-09-04	Paper
A History of Until	2016-08-05	Paper
Alice and Bob: Reconciling Formal Models and Implementation	2016-01-08	Paper
Quantum State Transformations and Branching Distributed Temporal Logic	2015-01-13	Paper
Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete	2014-06-06	Paper
Defining Privacy Is Supposed to Be Easy	2014-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q2848475	2013-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q2848036	2013-09-25	Paper
Towards an Awareness-Based Semantics for Security Protocol Analysis	2013-07-24	Paper
On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators	2013-04-08	Paper
Back from the future	2012-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q5389322	2012-04-26	Paper
Labelled natural deduction for a bundled branching temporal logic	2011-12-19	Paper
Distributed temporal logic for the analysis of security protocol models	2011-07-18	Paper
A Deduction System for Meaning Negotiation	2011-05-11	Paper
Optimal periodic output feedback control: a continuous-time approach and a case study	2010-10-07	Paper
Labelled Tableaux for Distributed Temporal Logic	2010-01-14	Paper
Truth-values as labels: a general recipe for labelled deduction	2009-11-11	Paper
The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols	2009-10-22	Paper
Secure Pseudonymous Channels	2009-10-16	Paper
A Labeled Natural Deduction System for a Fragment of CTL *	2009-02-24	Paper
Algebraic Intruder Deductions	2008-05-27	Paper
Foundations of Software Science and Computation Structures	2007-05-02	Paper
On the semantics of Alice \& Bob specifications of security protocols	2007-01-09	Paper
Object-oriented modelling of flexible beams	2006-10-27	Paper
Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis	2006-03-30	Paper
Logic for Programming, Artificial Intelligence, and Reasoning	2005-11-10	Paper
Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity	2004-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q4737137	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4472191	2004-08-03	Paper
Fibring Labelled Deduction Systems	2003-05-29	Paper
https://portal.mardi4nfdi.de/entity/Q4804908	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q2782480	2002-07-14	Paper
https://portal.mardi4nfdi.de/entity/Q4530621	2002-06-04	Paper
An \(O(n \log n)\)-space decision procedure for the relevance logic \(B^+\)	2001-02-18	Paper
Natural deduction for non-classical logics	2001-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q4511321	2000-10-30	Paper
Labelled modal logics: Quantifiers	2000-03-29	Paper
https://portal.mardi4nfdi.de/entity/Q4385437	1998-04-13	Paper
Labelled propositional modal logics: theory and practice	1998-03-25	Paper
https://portal.mardi4nfdi.de/entity/Q4364506	1998-01-07	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Luca Viganò