Author of the publication

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.

 

Other publications of authors with the same name

Paragon Specifications: Structure, Analysis and Implementation., , and . PARLE, volume 605 of Lecture Notes in Computer Science, page 783-798. Springer, (1992)Tool Support for Fine-Grained Software Inspection., , , and . IEEE Software, 20 (4): 42-50 (2003)Identifying and Implementing the Underlying Operators for Nuclear Magnetic Resonance based Metabolomics Data Analysis., , , and . BICoB, page 205-210. ISCA, (2011)Technical overview of the Renaissance Octobus system., and . SIGARCH Comput. Archit. News, 7 (8): 2-9 (1979)An Operational Semantics for a Fragment of the Puppet Configuration Language., , and . CoRR, (2016)Measuring the Value of Static-Analysis Tool Deployments.. IEEE Secur. Priv., 10 (3): 40-47 (2012)Free-space optical neural network based on thermal atomic nonlinearity., , , , , , and . CoRR, (2021)Additive manufacture of polymeric organometallic ferroelectric diodes (POMFeDs) for structural neuromorphic hardware., , and . NICE, page 92-99. ACM, (2023)Streamlining the Genomics Processing Pipeline via Named Pipes and Persistent Spark Satasets., , , and . BIBE, page 35-38. IEEE Computer Society, (2017)The CodeSurfer Software Understanding Platform., and . IWPC, page 147-148. IEEE Computer Society, (2005)