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

Model-Checking Problems as a Basis for Parameterized Intractability

Get full text

Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking

Get full text

ConstraintHg: A Kernel for Systems Modeling and Simulation

Get full text

Implementation-Aware Latency and Energy Modeling for Tiling on the Edge

Get full text

FlightKooba: A Fast Interpretable FTP Model

Get full text

r.earthworks: a GRASS tool for terrain modeling

Get full text

Diffusion-Enhanced Identifiable Confounder Modeling for Debiased Recommendation

Get full text

Machine-Learning-Empowered Propagation Measurement and Modeling for an Amphitheater

Get full text

Watertight surface reconstruction method for CAD models based on optimal transport

Get full text

: A visual analytics design for higher-order movement modeling and visualization

Get full text