Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Pablo Garralda
Boxed Ambients With Communication Interfaces
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
When Ambients Cannot Be Opened
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Boxed in or Out?
Articles
Subtyping and Typing Algorithms for Mobile Ambients
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Mobile Ambients in Aspect-Oriented Software Architectures
Deriving Structural Labelled Transitions for Mobile Ambients
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Reactive Systems, Barbed Semantics, and the Mobile Ambients
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automation Transparency: Implications of Uncertainty Communication for Human-Automation Interaction and Interfaces
Ergonomics
Physical Therapy
Sports Therapy
Human Factors
Ergonomics
Rehabilitation
On the Expressiveness of Π-Calculus for Encoding Mobile Ambients
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Communication via Eye Blinks and Eyebrow Raises: Video-Based Human-Computer Interfaces
Universal Access in the Information Society
Computer Networks
Software
Information Systems
Human-Computer Interaction
Communications