Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Joshua Tauber

Proving Atomicity: An Assertional Approach

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Related publications

Causal Atomicity

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

A Hybrid Approach to Proving Memory Reference Monotonicity

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Interacting State Machines: A Stateful Approach to Proving Security

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Automated Atomicity-Violation Fixing

2011English

Modal Theorem Proving: An Equational Viewpoint

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1992English

Exploiting Purity for Atomicity

2004English

A Theorem Proving Approach for Automatically Synthesizing Visualizations of Flow Cytometry Data

BMC Bioinformatics
BiochemistryApplied MathematicsComputer Science ApplicationsStructural BiologyMolecular Biology
2017English

Customized Atomicity Specification for Transactional Workflows

English

A Unifying Approach for Proving Hook-Length Formulas for Weighted Tree Families

Graphs and Combinatorics
CombinatoricsTheoretical Computer ScienceDiscrete Mathematics
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy