Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Regular expression pattern matching for XML.

H. Hosoya, und B. Pierce. J. Funct. Program., 13 (6): 961-1004 (2003)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

C. Traut

C. Honold

Benjamin Schoch University of Stuttgart

The EIVE CubeSat : Developing a Satellite Bus for a 71-76 GHz E-Band Transmitter PayloadM. Koller, L. Loidold, T. Löffler, J. Meier, S. Klinkner, L. Manoliu, B. Schoch, und I. Kallfass. 2021 - Mission operations & autonomy, Logan, Utah State University, (2021)

The EIVE CubeSat : Developing a Satellite Bus for a 71-76 GHz E-Band Transmitter PayloadM. Koller, L. Loidold, T. Löffler, J. Meier, S. Klinkner, L. Manoliu, B. Schoch, und I. Kallfass. 2021 - Mission operations & autonomy, Logan, Utah State University, (2021)Ultra-High Throughput E/W-Band Downlink CubeSat MissionL. Manoliu, S. Haußmann, B. Schoch, J. Wörmann, D. Wrana, M. Koller, L. Loidold, J. Meier, R. Müller, A. Tessmann und 8 andere Autor(en). IAF Space Communications and Navigation Symposium, Red Hook, Curran Associates, Inc., (2023)

Jun. -Prof. Dr. rer. nat. Benjamin Uekermann University of Stuttgart

preCICE Distribution Version v2404.0J. Chen, G. Chourdakis, I. Desai, C. Homs Pons, B. Rodenberg, D. Schneider, F. Simonis, B. Uekermann, K. Davis, A. Jaust und 14 andere Autor(en). Software, (2024)

Dr. phil. Benjamin Holfelder University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Mechanized Metatheory for the Masses: The PoplMark Challenge.B. Aydemir, A. Bohannon, M. Fairbairn, J. Foster, B. Pierce, P. Sewell, D. Vytiniotis, G. Washburn, S. Weirich, und S. Zdancewic. TPHOLs, Volume 3603 von Lecture Notes in Computer Science, Seite 50-65. Springer, (2005)XML Typechecking.V. Benzaken, G. Castagna, H. Hosoya, B. Pierce, und S. Vansummeren. Encyclopedia of Database Systems, Springer US, (2009)The Meaning of Memory Safety.A. de Amorim, C. Hritcu, und B. Pierce. POST, Volume 10804 von Lecture Notes in Computer Science, Seite 79-105. Springer, (2018)Dynamic Typing in a Statically Typed Language.M. Abadi, L. Cardelli, B. Pierce, und G. Plotkin. ACM Trans. Program. Lang. Syst., 13 (2): 237-268 (1991)preliminary version: POPL 1989.Linearity and the pi-calculus.N. Kobayashi, B. Pierce, und D. Turner. ACM Trans. Program. Lang. Syst., 21 (5): 914-947 (1999)Guest editorial.M. Odersky, und B. Pierce. ACM Trans. Program. Lang. Syst., 26 (5): 767-768 (2004)Concurrent Objects in a Process Calculus.B. Pierce. Theory and Practice of Parallel Programming, Volume 907 von Lecture Notes in Computer Science, Seite 187-215. Springer, (1994)XDuce: A statically typed XML processing language.H. Hosoya, und B. Pierce. ACM Trans. Internet Techn., 3 (2): 117-148 (2003)XDuce: A Typed XML Processing Language (Preliminary Report).H. Hosoya, und B. Pierce. WebDB (Selected Papers), Volume 1997 von Lecture Notes in Computer Science, Seite 226-244. Springer, (2000)Featherweight Firefox: Formalizing the Core of a Web Browser.A. Bohannon, und B. Pierce. WebApps, USENIX Association, (2010)