Ross Horne

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6150427	2024-02-06	Paper
When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus	2023-05-12	Paper
An Analytic Propositional Proof System on Graphs	2023-01-09	Paper
https://portal.mardi4nfdi.de/entity/Q5089025	2022-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q5089276	2022-07-18	Paper
Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity	2022-03-31	Paper
https://portal.mardi4nfdi.de/entity/Q5155663	2021-10-08	Paper
https://portal.mardi4nfdi.de/entity/Q5009710	2021-08-05	Paper
Logic Beyond Formulas	2021-01-21	Paper
Quasi-Open Bisimilarity with Mismatch is Intuitionistic	2021-01-20	Paper
Divergence and unique solution of equations	2020-05-27	Paper
Global types with internal delegation	2020-01-22	Paper
De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic	2019-11-22	Paper
Constructing weak simulations from linear implications for processes with private names	2019-10-09	Paper
The Consistency and Complexity of Multiplicative Additive System Virtual	2019-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4608683	2018-03-21	Paper
Semantics for Specialising Attack Trees based on Linear Logic	2018-01-05	Paper
Behavioural Analysis of Sessions Using the Calculus of Structures	2016-12-21	Paper
A descriptive type foundation for RDF Schema	2016-08-18	Paper
Descriptive Types for Linked Data Resources	2015-12-03	Paper
Minimal type inference for linked data consumers	2015-06-15	Paper
Tracing where and who provenance in linked data: a calculus	2013-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: Ross Horne