( en | de | ru )

 

Disambiguation of "Ammann, Paul"

Author of the publication

copydeleteadd this publication to your clipboard
Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions.

, , and . VLDB, page 218-227. Morgan Kaufmann, (1995)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Paul Beat Ammann

Dieter Ammann

Franz Ammann

Ernst Ammann

Frank Ammann

 

Other publications of authors with the same name

Teaching a Testing Concept (JUnit) with Active Learning., and . ICST Workshops, page 411. IEEE, (2020)Applying Data Redundancy to Differential Equation Solvers., , and . Ann. Softw. Eng., (1997)Reconciling perspectives of software logic testing., , and . Softw. Test. Verification Reliab., 18 (3): 149-188 (2008)Generating test data from state-based specifications., , , and . Softw. Test. Verification Reliab., 13 (1): 25-53 (2003)A Timestamp Ordering Algorithm for Secure, Single-Version, Multi-Level Databases., and . DBSec, volume A-6 of IFIP Transactions, page 191-202. North-Holland, (1991)Planar Lattice Security Structures for Multilevel Replicated Databases., and . DBSec, volume A-47 of IFIP Transactions, page 125-134. North-Holland, (1993)Semantics-based transaction processing: satisfying conflicting objectives., and . IEEE Concurrency, 5 (2): 8-10 (1997)Introduction to Software Testing, and . Cambridge University Press, Cambridge, (2016)Applying Formal Methods to Semantic-Based Decomposition of Transactions., , and . ACM Trans. Database Syst., 22 (2): 215-254 (1997)Industrial Marketing, , and . Schäffer-Poeschel, Stuttgart, (1999)