PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Holzer, Andreas"

Author of the publication

copydeleteadd this publication to your clipboard
Local Linearizability for Concurrent Container-Type Data Structures.

, , , , , , , , and . CONCUR, volume 59 of LIPIcs, page 6:1-6:15. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2016)

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.

Univ. -Prof. Dr. -Ing. Andreas Michalowski University of Stuttgart

Enhanced Scaling of Material Removal Rate with High Surface Quality Through Combined Laser Processes, , , , and . Lasers in manufacturing and materials processing, (2023)

Prof. Dr. Andreas Hotho

Ontology-based Text Document Clustering., , and . KI, 16 (4): 48-54 (2002)
Ontology-based Text Document Clustering., , and . KI, 16 (4): 48-54 (2002)Clustern mit Hintergrundwissen.. Karlsruhe Institute of Technology, (2004)

Junior-Prof. Dr.-Ing. Andreas Pott

Andreas Kaufmann

Andreas Pahler University of Stuttgart

 

Other publications of authors with the same name

An Introduction to Test Specification in FQL., , , and . Haifa Verification Conference, volume 6504 of Lecture Notes in Computer Science, page 9-22. Springer, (2010)Query-Driven Program Testing., , , and . VMCAI, volume 5403 of Lecture Notes in Computer Science, page 151-166. Springer, (2009)Challenges in compiler construction for secure two-party computation., , , , and . PETShop@CCS, page 3-6. ACM, (2013)Information Reuse for Multi-goal Reachability Analyses., , , and . ESOP, volume 7792 of Lecture Notes in Computer Science, page 472-491. Springer, (2013)Vinter: A Vampire-Based Tool for Interpolation., , , and . APLAS, volume 7705 of Lecture Notes in Computer Science, page 148-156. Springer, (2012)Solving Constraints for Generational Search., and . TAP, volume 7942 of Lecture Notes in Computer Science, page 197-213. Springer, (2013)Secure two-party computations in ANSI C., , , and . ACM Conference on Computer and Communications Security, page 772-783. ACM, (2012)The first workshop on language support for privacy-enhancing technologies (PETShop'13)., , , , and . ACM Conference on Computer and Communications Security, page 1485-1486. ACM, (2013)How did you specify your test suite., , , and . ASE, page 407-416. ACM, (2010)Closure properties and complexity of rational sets of regular languages., , , and . Theor. Comput. Sci., (2015)