Authors: Hans Supèr, August Romeo, Matthias Keil
Superior Title: PLoS ONE, Vol 5, Iss 5, p e10705 (2010)
File Description: electronic resource
Relation: https://www.ncbi.nlm.nih.gov/pmc/articles/pmid/20502718/pdf/?tool=EBI; https://doaj.org/toc/1932-6203
Authors: Matthias Keil, Peter Thiemann
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: ERATING SYSTEMS, Security and Protection—Access controls General Terms Design, Languages, Security, Verification Keywords Access Permission Contracts, JavaScript, Proxies
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.678.5715; http://www2.informatik.uni-freiburg.de/%7Ekeilr/papers/techrep2013-proxy.pdf
Authors: Paolo Samorí, Matthias Keil, Rainer Friedlein, Jonas Birgerson, Mark Watson, Klaus Müllen, William R. Salaneck, Jürgen P. Rabe
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://pmm08.physik.hu-berlin.de/publikat/samori9.pdf.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.2499; http://pmm08.physik.hu-berlin.de/publikat/samori9.pdf
Availability: http://pmm08.physik.hu-berlin.de/publikat/samori9.pdf
Authors: Thomas Breyer-Mayländer, Matthias Keil
Resource Type: eBook.
Subjects: Sales management, Marketing
Categories: BUSINESS & ECONOMICS / Sales & Selling / General, BUSINESS & ECONOMICS / Marketing / General
Authors: Matthias Keil, Peter Thiemann
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: ERATING SYSTEMS, Security and Protection—Access controls General Terms Design, Languages, Security, Verification Keywords Access Permission Contracts, JavaScript, Proxies
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.678.1920; http://www2.informatik.uni-freiburg.de/%7Ekeilr/papers/dls2013-proxy.pdf
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://drops.dagstuhl.de/opus/volltexte/2015/5229/pdf/19.pdf.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1077.3580; http://drops.dagstuhl.de/opus/volltexte/2015/5229/pdf/19.pdf
Authors: Matthias Keil, Peter Thiemann
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Containment, Infinite Alphabtes, Infinite Character Sets
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.678.4891; http://www2.informatik.uni-freiburg.de/%7Ekeilr/papers/techrep2014-regex.pdf
Authors: Matthias Keil, Peter Thiemann
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: containment, infinite alphabet, infinite character set, effective boolean algebra Digital Object Identifier 10.4230/LIPIcs.xxx.yyy.p
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.678.4164; http://www2.informatik.uni-freiburg.de/%7Ekeilr/papers/fsttcs2014-regex.pdf
Authors: Matthias Keil, Peter Thiemann
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: ming Languages—Program analysis, D.3.1 [PROGRAM- MING LANGUAGES, Formal Definitions and Theory— Semantics, D.4.6 [OPERATING SYSTEMS, Security and Protection—Information flow controls General Terms Security Keywords Type-based Analysi, Dependency, JavaScript
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.678.1750; http://www2.informatik.uni-freiburg.de/%7Ekeilr/papers/plas2013-tbda.pdf
Authors: Matthias Keil, Peter Thiemann
Contributors: The Pennsylvania State University CiteSeerX Archives
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.678.1558; http://www2.informatik.uni-freiburg.de/%7Ekeilr/papers/pos2013-proxy.pdf
Authors: Matthias Keil, Peter Thiemann
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: ming Languages—Program analysis, D.3.1 [PROGRAM- MING LANGUAGES, Formal Definitions and Theory— Semantics, D.4.6 [OPERATING SYSTEMS, Security and Protection—Information flow controls General Terms Security Keywords Type-based Analysi, Dependency, JavaScript
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.677.4360; http://www2.informatik.uni-freiburg.de/%7Ekeilr/papers/techrep2013-tbda.pdf
Authors: Sebastian Steger, Matthias Keil
Contributors: The Pennsylvania State University CiteSeerX Archives
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.661.8343; http://lnx.neomark.eu/portal/images/articles/pdf/abstract1_itab2010.pdf
Authors: Matthias Keil, Georgios Sakas, Eliott Mcveigh, Mohamad E Allaf, Russell H Taylor, Emad M Boctor
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: ultrasound, elastography, navigat
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.230.3618; http://www.cs.jhu.edu/%7Erht/RHT%20Papers/2010/SPIE%202010%20-%20Stolka.pdf
Authors: Matthias Keil, Marion Wiebel, Georgios Sakas, Elliot R. Mcveigh, Russell H. Taylor, Emad Boctor
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://www.cs.jhu.edu/%7Erht/RHT%20Papers/2009/ISBI2009_Keil.pdf.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.230.3344; http://www.cs.jhu.edu/%7Erht/RHT%20Papers/2009/ISBI2009_Keil.pdf
Authors: Matthias Keil
Superior Title: Journal of Computational Chemistry; 2004, Vol. 25 Issue 6, p779-789, 11p