Works matching IS 18438121 AND DT 2011 AND VI 21 AND IP 1
Results: 6
Programming in Biomolecular Computation: Programs, Self-Interpretation and Visualisation.
- Published in:
- Scientific Annals of Computer Science, 2011, v. 21, n. 1, p. 73
- By:
- Publication type:
- Article
Desynchronizability of (Partial) Synchronous Closed Loop Systems.
- Published in:
- Scientific Annals of Computer Science, 2011, v. 21, n. 1, p. 5
- By:
- Publication type:
- Article
Modular Verification of Interactive Systems with an Application to Biology.
- Published in:
- Scientific Annals of Computer Science, 2011, v. 21, n. 1, p. 39
- By:
- Publication type:
- Article
An SCA-based Approach for Social and Pervasive Communications in Home Environments.
- Published in:
- Scientific Annals of Computer Science, 2011, v. 21, n. 1, p. 151
- By:
- Publication type:
- Article
Designing, Capturing and Validating History-Sensitive Security Policies for Distributed Systems.
- Published in:
- Scientific Annals of Computer Science, 2011, v. 21, n. 1, p. 107
- By:
- Publication type:
- Article
Concurrency and Interaction in Complex Systems.
- Published in:
- Scientific Annals of Computer Science, 2011, v. 21, n. 1, p. 1
- By:
- Publication type:
- Article