Vivek Nigam

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Incremental Rewriting Modulo SMT	2024-04-26	Paper
On the formalization and computational complexity of resilience problems for cyber-physical systems	2023-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q6159917	2023-06-23	Paper
Detection and diagnosis of deviations in distributed systems of autonomous agents	2023-04-19	Paper
Soft subexponentials and multiplexing	2022-11-09	Paper
Towards the automated verification of cyber-physical security protocols: bounding the number of timed intruders	2022-08-19	Paper
On the complexity of verification of time-sensitive distributed systems	2022-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q5020986	2022-01-11	Paper
Proof search and certificates for evidential transactions	2021-12-01	Paper
https://portal.mardi4nfdi.de/entity/Q5111913	2020-05-27	Paper
Symbolic timed trace equivalence	2020-03-03	Paper
A multiset rewriting model for specifying and verifying timing aspects of security protocols	2020-03-03	Paper
Mechanizing focused linear logic in Coq	2019-11-12	Paper
Subexponentials in non-commutative linear logic	2019-10-09	Paper
A logical framework with commutative and non-commutative subexponentials	2018-10-18	Paper
Proof-Relevant Logical Relations for Name Generation	2018-04-25	Paper
Multi-focused proofs with different polarity assignments	2018-04-23	Paper
Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems	2018-02-16	Paper
On the accuracy of formal verification of selective defenses for TDoS attacks	2017-12-01	Paper
On subexponentials, focusing and modalities in concurrent systems	2017-09-12	Paper
On the Complexity of Linear Authorization Logics	2017-05-16	Paper
A rewriting framework and logic for activities subject to regulations	2017-04-03	Paper
Counting Successes: Effects and Transformations for Non-deterministic Programs	2016-08-17	Paper
An extended framework for specifying and reasoning about proof systems	2016-07-07	Paper
Dynamic spaces in concurrent constraint programming	2016-05-10	Paper
Subexponential concurrent constraint programming	2015-12-08	Paper
Bounded memory protocols	2015-03-31	Paper
Specifying Proof Systems in Linear Logic with Subexponentials	2015-03-18	Paper
A Proof Theoretic Study of Soft Concurrent Constraint Programming	2014-11-25	Paper
Bounded memory Dolev-Yao adversaries in collaborative systems	2014-10-20	Paper
A framework for linear authorization logics	2014-05-06	Paper
Abstract effects and proof-relevant logical relations	2014-04-10	Paper
A General Proof System for Modalities in Concurrent Constraint Programming	2013-08-12	Paper
Proof-Relevant Logical Relations for Name Generation	2013-06-28	Paper
Maintaining distributed logic programs incrementally	2012-10-25	Paper
A framework for proof systems	2010-10-08	Paper
Incorporating Tables into Proofs	2009-03-05	Paper
Focusing in Linear Meta-logic	2008-11-27	Paper
Fuzzy logic based variable step size algorithm for blind delayed source separation	2006-10-20	Paper

Research outcomes over time

This page was built for person: Vivek Nigam