Result 1 to 20 of 28 total
Measles epidemics and PEPA: an exploration of historic disease dynamics using process algebra. (English)
Giannakopoulou, Dimitra (ed.) et al., FM 2012: Formal methods. 18th international symposium, Paris, France, August 27‒31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32758-2/pbk). Lecture Notes in Computer Science 7436, 101-115 (2012).
1
A symbolic investigation of superspreaders. (English)
Bull. Math. Biol. 73, No. 4, 777-794 (2011).
2
From individuals to populations: a mean field semantics for process algebra. (English)
Theor. Comput. Sci. 412, No. 17, 1557-1580 (2011).
3
Optimisation of process algebra models using evolutionary computation (English)
IEEE Congress on Evolutionary Computation, 1296-1301 (2011).
4
From individuals to populations: a symbolic process algebra approach to epidemiology. (English)
Math. Comput. Sci. 2, No. 3, 535-556 (2009).
5
Improved continuous approximation of PEPA models through epidemiological examples. (English)
Electron. Notes Theor. Comput. Sci. 229, No. 1, 59-74 (2009).
6
From individuals to populations: A symbolic process algebra approach to epidemiology (English)
Mathematics in Computer Science 2, No. 3, 535-556 (2009).
7
Process algebra models of population dynamics. (English)
Horimoto, Katsuhisa (ed.) et al., Algebraic biology. Third international conference, AB 2008, Castle of Hagenberg, Austria, July 31‒August 2, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85100-4/pbk). Lecture Notes in Computer Science 5147, 139-155 (2008).
8
Process algebra models of population dynamics (English)
AB, 139-155 (2008).
9
Special issue: Algebraic methodology and software technology. Selected papers from the 10th international conference (AMAST 2004), Stirling, UK, July 12‒16, 2004. (English)
Theor. Comput. Sci. 351, No. 2, 129-294 (2006).
10
Issues in reasoning about interaction networks in cells: necessity of event ordering knowledge (English)
AAAI, 676-681 (2005).
11
Expressing iterative properties logically in a symbolic setting. (English)
Rattray, Charles (ed.) et al., Algebraic methodology and software technology. 10th international conference, AMAST 2004, Stirling, Scotland, UK, July 12‒16, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22381-9/pbk). Lecture Notes in Computer Science 3116, 460-474 (2004).
12
Algebraic methodology and software technology. 10th international conference, AMAST 2004, Stirling, Scotland, UK, July 12‒16, 2004. Proceedings. (English)
Lecture Notes in Computer Science 3116. Berlin: Springer (ISBN 3-540-22381-9/pbk). xi, 569~p. EUR~68.00/net; sFr~120.50; \sterling~52.50; \$~95.00 (2004).
13
Expressing iterative properties logically in a symbolic setting (English)
AMAST, 460-474 (2004).
14
Combating infinite state using Ergo. (English)
König, Hartmut (ed.) et al., Formal techniques for networked and distributed systems ‒ FORTE 2003. 23rd IFIP WG 6. 1 international conference, Berlin, Germany, September 29 ‒ October 2, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20175-0/pbk). Lect. Notes Comput. Sci. 2767, 144-159 (2003).
15
Combating infinite state using ergo (English)
FORTE, 144-159 (2003).
16
Developing the use of process algebra in the derivation and analysis of mathematical models of infectious disease (English)
EUROCAST, 404-414 (2003).
17
But what if I don’t want to wait forever? (English)
Formal Asp. Comput. 14, No.3, 281-294 (2002).
18
IEEE 1394 tree identify protocol: Introduction to the case study. (English)
Formal Asp. Comput. 14, No.3, 200-214 (2002).
19
A modal logic for full LOTOS based on symbolic transition systems. (English)
Comput. J. 45, No.1, 55-61 (2002).
20
Result 1 to 20 of 28 total
Start
Contact
Print
General Help
