Microsoft Word - CV Andreas Hack - kurz

Source URL: www.iop.unibe.ch

TeamSearch: Comparing Techniques for Co-Present Collaborative Search of Digital Media Meredith Ringel Morris, Andreas Paepcke, Terry Winograd Stanford University {merrie, paepcke, winograd}@cs.stanford.edu Abstract

Source URL: graphics.stanford.edu

en51 Original Article Applying FHIR in an Integrated Health Monitoring System Barbara Franz1 , Andreas Schuler1 , Oliver Krauss1

Source URL: www.ejbi.org

A Promising Approach Towards Responsible and Safe Nano-Innovations Susanne Resch1, Christa Schimpel1, Andreas Falk1* 1 BioNanoNet Forschungsgesellschaft mbH (BNN), Steyrergasse 17, Graz, Austria 1. INTRODUCTION & MOTIVA

Source URL: www.bionanonet.at

Linux Kongress 2009 Dresden IKEv2-based VPNs using strongSwan Prof. Dr. Andreas Steffen

Source URL: www.strongswan.org

HKPolarization transfer coefficients in 12C using inelastic proton scattering at 0° * Andreas Krugmann1, Atsushi Tamii2, Peter von Neumann-Cosel1, Anna Maria Heilmann1, Iryna Poltoratska1 and Norbert Pietralla1

Source URL: www.qclam.ikp.tu-darmstadt.de

PCS2OWL: A Generic Approach for Deriving Web Ontologies from Product Classification Systems Alex Stolz1 , Bene Rodriguez-Castro2 , Andreas Radinger1 , and Martin Hepp1 1

Source URL: 2014.eswc-conferences.org

Compatibility and reuse in component-based systems via type and unit inference Christian K¨uhnel1 1) Andreas Bauer2,1

Source URL: www.tautschnig.net

• Type theory
• Theoretical computer science
• Data types
• Mathematical logic
• Programming language theory
• Logic in computer science
• Object-oriented programming
• Polymorphism
• Subtyping
• Type system
• Unification
• Model theory

Now available from Ashgate Publishing… Securing the Global Economy G8 Global Governance for a Post-Crisis World Edited by Andreas Freytag, Friedrich-Schiller-Universitat Jena, Germany, John J. Kirton, University of To

Source URL: www.g8.utoronto.ca

“Oops, I did it again” – Security of One-Time Signatures under Two-Message Attacks Leon Groot Bruinderink and Andreas Hülsing Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, P.O.

Source URL: eprint.iacr.org