Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Alan Demers

A Model and Temporal Proof System for Networks of Processes

Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureComputational TheoryMathematicsTheoretical Computer Science
1986English

Related publications

A Simple Proof of the Support Theorem for Diffusion Processes

Lecture Notes in Mathematics
Number TheoryAlgebra
1994English

Proof Planning for First-Order Temporal Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

A Unified Proof System for QBF Preprocessing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Proof of Correctness for ASOCS AA3 Networks

IEEE Transactions on Systems, Man, and Cybernetics
1994English

A Proof-Theoretic Trust and Reputation Model for VANET

2017English

Temporal Variability of a Benthic Food Web: Patterns and Processes in a Low-Diversity System

Marine Ecology - Progress Series
EvolutionEcologySystematicsAquatic ScienceBehavior
2009English

Final Report: A Model Management System for Numerical Simulations of Subsurface Processes

2013English

Metrics for Temporal Text Networks

Temporal Network Theory
2019English

A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy