Result 1 to 20 of 40 total
Probabilistic model checking of biological systems with uncertain kinetic rates. (English)
Theor. Comput. Sci. 419, 2-16 (2012).
1
Maximally parallel probabilistic semantics for multiset rewriting. (English)
Fundam. Inform. 112, No. 1, 1-17 (2011).
2
Abstract interpretation based verification of temporal properties for BioAmbients. (English)
Inf. Comput. 208, No. 8, 869-921 (2010).
3
Abstract interpretation for probabilistic termination of biological systems. (English)
Comput. Res. Repos. 2009, Article No. 0911.4988 (2009).
4
Approximating probabilistic behaviors of biological systems using abstract interpretation. (English)
Electron. Notes Theor. Comput. Sci. 229, No. 1, 165-182 (2009).
5
Probabilistic model checking of biological systems with uncertain kinetic rates. (English)
Bournez, Olivier (ed.) et al., Reachability problems. 3rd international workshop, RP 2009, Palaiseau, France, September 23‒25, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04419-9/pbk). Lecture Notes in Computer Science 5797, 64-78 (2009).
6
Probabilistic model checking of biological systems with uncertain kinetic rates (English)
RP, 64-78 (2009).
7
Integrando testes de usabilidade EM projetos sigilosos (English)
IHC, 304-307 (2008).
8
Frequency-stability performances of the pulsed optically pumped rubidium clock: recent results and future perspectives (English)
IEEE T. Instrumentation and Measurement 56, No. 2, 378-382 (2007).
9
Evangelizing usability to 700 people: strategies for building a user-centered organizational culture (English)
INTERACT (2), 673-674 (2007).
10
Visual hints for tangible gestures in augmented reality (English)
ISMAR, 47-50 (2007).
11
An analysis for proving temporal properties of biological systems. (English)
Kobayashi, Naoki (ed.), Programming languages and systems. 4th Asian symposium, APLAS 2006, Sydney, Australia, November 8‒10, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-48937-5/pbk). Lecture Notes in Computer Science 4279, 234-252 (2006).
12
A typed encoding of boxed into safe ambients. (English)
Acta Inf. 42, No. 6-7, 429-500 (2006).
13
Accessibility implementation planning for large governmental websites: a case study (English)
LA-WEB, 113-118 (2006).
14
An analysis for proving temporal properties of biological systems (English)
APLAS, 234-252 (2006).
15
A new occurrence counting analysis for bioAmbients. (English)
Yi, Kwangkeun (ed.), Programming languages and systems. Third Asian symposium, APLAS 2005, Tsukuba, Japan, November 2‒5, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29735-9/pbk). Lecture Notes in Computer Science 3780, 381-400 (2005).
16
A new occurrence counting analysis for bioambients (English)
APLAS, 381-400 (2005).
17
A control flow analysis for safe and boxed ambients. (English)
Schmidt, David (ed.), Programming languages and systems. 13th European symposium on programming, ESOP 2004, held as part of the joint European conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March 29 ‒ April 2, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21313-9/pbk). Lecture Notes in Computer Science 2986, 188-203 (2004).
18
On abstract interpretation of mobile ambients. (English)
Inf. Comput. 188, No. 2, 179-240 (2004).
19
A control flow analysis for safe and boxed ambients (English)
ESOP, 188-203 (2004).
20
Result 1 to 20 of 40 total
Start
Contact
Print
General Help
