Pascal Zimmer - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 10 from 10

2024

Closing the Gap: Achieving Better Accuracy-Robustness Tradeoffs against Query-Based AttacksPascal Zimmer, Sébastien Andreina, Giorgia Azzurra Marson, Ghassan Karame. AAAI 2024: 21859-21868 [doi]

2021

Keys from the Sky: A First Exploration of Physical-Layer Security Using Satellite LinksPascal Zimmer, Roland Weinreich, Christian T. Zenger, Aydin Sezgin, Christof Paar. icc 2021: 1-7 [doi]

2005

On Type Inference in the Intersection Type DisciplineGérard Boudol, Pascal Zimmer. ENTCS, 136:23-42, 2005. [doi]

2004

Using ambients to control resourcesDavid Teller, Pascal Zimmer, Daniel Hirschkoff. ijisec, 2(3-4):126-144, 2004. [doi]

Récursion généralisée et inférence de types avec intersection. (Generalised recursion and type inference for intersection types)Pascal Zimmer. PhD thesis, University of Nice Sophia Antipolis, France, 2004. [doi]

2003

On The Expressiveness Of Pure Safe AmbientsPascal Zimmer. mscs, 13(5):721-770, 2003.

2002

Recursion in the call-by-value lambda-calculusGérard Boudol, Pascal Zimmer. fics 2002: 61-66

Using Ambients to Control ResourcesDavid Teller, Pascal Zimmer, Daniel Hirschkoff. concur 2002: 288-303 [doi]

2000

Subtyping and Typing Algorithms for Mobile AmbientsPascal Zimmer. fossacs 2000: 375-390 [doi]

On the Expressiveness of Pure Mobile AmbientsPascal Zimmer. ENTCS, 39(1):94-117, 2000. [doi]

Sign in or sign up to see more results.

runs on WebDSL