Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Vaughn Pratt

Modeling Concurrency With Geometry

1991English

Related publications

Shape Modeling With Point-Sampled Geometry

2003English

Concurrency Debugging With MaxSMT

Proceedings of the AAAI Conference on Artificial Intelligence
2019English

Optimistic Concurrency With OPTIK

ACM SIGPLAN Notices
Computer Science
2016English

Modeling Heat Conduction in Nanoporous Silicon With Geometry Distributions

Physical Review Applied
AstronomyPhysics
2018English

Unlocking Concurrency

Queue
Computer Science
2006English

Reaction Diffusion Modeling of Calcium Dynamics With Realistic ER Geometry

Biophysical Journal
Biophysics
2006English

Numerical Modeling of Transient Flows in Load Pipes With Complex Geometry

Journal of Applied Mathematics and Computational Mechanics
2017English

Power-Aware Pipelining With Automatic Concurrency Control

Concurrency Computation Practice and Experience
Computer NetworksCommunicationsComputer Science ApplicationsComputational TheoryMathematicsTheoretical Computer ScienceSoftware
2018English

Interactive Modeling of Architectural Freeform Structures: Combining Geometry With Fabrication and Statics

2014English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy