Modelling Populations of Interaction Networks via Distance Metrics

Get full text

Bayesian Data Sketching for Varying Coefficient Regression Models

Get full text

Modelling Populations of Interaction Networks via Distance Metrics

Get full text

Bayesian Data Sketching for Varying Coefficient Regression Models

Get full text

Model Checking Temporal Properties of Recursive Probabilistic Programs

Get full text

Timed Automata Robustness Analysis via Model Checking

Get full text

Higher-dimensional automata modeling shared-variable systems

Get full text

Axioms for Modelling Cubical Type Theory in a Topos

Get full text

Model Theory and Proof Theory of Coalgebraic Predicate Logic

Get full text

Using higher-order contracts to model session types

Get full text

Constructing Fully Complete Models of Multiplicative Linear Logic

Get full text

Software Model Checking with Explicit Scheduler and Symbolic Threads

Get full text

Modeling Adversaries in a Logic for Security Protocol Analysis

Get full text

Realizability algebras II : new models of ZF + DC

Get full text

Computational Models of Certain Hyperspaces of Quasi-metric Spaces

Get full text

Model Checking CTL is Almost Always Inherently Sequential

Get full text

Multi-Objective Model Checking of Markov Decision Processes

Get full text

Model Checking One-clock Priced Timed Automata

Get full text

Model Checking Synchronized Products of Infinite Transition Systems

Get full text

The Complexity of Model Checking Higher-Order Fixpoint Logic

Get full text