Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Pascal Zimmer
Subtyping and Typing Algorithms for Mobile Ambients
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Deriving Structural Labelled Transitions for Mobile Ambients
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Mobile Ambients in Aspect-Oriented Software Architectures
Reactive Systems, Barbed Semantics, and the Mobile Ambients
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On the Expressiveness of Π-Calculus for Encoding Mobile Ambients
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Typing and Subtyping Influenza Virus Using DNA Microarrays and Multiplex Reverse Transcriptase PCR
Journal of Clinical Microbiology
Microbiology
Path Design and Control Algorithms for Articulated Mobile Robots
Riems Influenza a Typing Array (RITA): An RT-qPCR-based Low Density Array for Subtyping Avian and Mammalian Influenza a Viruses
Scientific Reports
Multidisciplinary
Discrete-Time Rendezvous Algorithms for Mobile Autonomous Agents
International Journal of Digital Content Technology and its Applications
New Distributed Power Control Algorithms for Mobile Communications
Journal of Communication and Information Systems
