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
Works matching IS 18438121 AND DT 2011 AND VI 21 AND IP 1
Results: 6
1
2
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
3
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
4
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
5
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
6
Concurrency and Interaction in Complex Systems.
- Published in:
- Scientific Annals of Computer Science, 2011, v. 21, n. 1, p. 1
- By:
- Publication type:
- Article