Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Calder, Muffy
9  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Quantitative Verification and Strategy Synthesis for BDI Ag..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Archibald, Blair ; Calder, Muffy ; Sevegnani, Michele. - p. 241-259 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Probabilistic BDI Agents: Actions, Plans, and Intentions:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,
Archibald, Blair ; Calder, Muffy ; Sevegnani, Michele. - p. 262-281 , 2021
Link: https://doi.org/10.1007/..
 
?
3

Conditional Bigraphs:

, In: Graph Transformation; Lecture Notes in Computer Science,
Archibald, Blair ; Calder, Muffy ; Sevegnani, Michele - p. 3-19 , 2020
Link: https://doi.org/10.1007/..
 
?
4

Enchantress of Abstraction, Bride of Science: must Ada Love..:

, In: Ada Lovelace Symposium 2015- Celebrating 200 Years of a Computer Visionary,
Calder, Muffy ; Barr, Valerie ; Charman-Anderson, Suw. - p. 1 ff. , 2015
Link: https://dl.acm.org/doi/1..
 
?
5

Computing Research 2020 and Beyond:

, In: Proceedings of the 1st ACM European Computing Research Congress 2013,
Calder, Muffy ; Brewer, Eric ; Van der Pyl, Thierry.. , 2013
Link: https://dl.acm.org/doi/1..
 
?
6

Multi-scale modelling of biological systems in process alge..:

, In: Proceedings of the 9th International Conference on Computational Methods in Systems Biology,
Degasperi, Andrea ; Calder, Muffy - p. 195-208 , 2011
Link: https://dl.acm.org/doi/1..
 
?
7

Understanding signalling networks as collections of signal ..:

, In: Proceedings of the 8th International Conference on Computational Methods in Systems Biology,
Donaldson, Robin ; Talcott, Carolyn ; Knapp, Merrill. - p. 86-95 , 2010
Link: https://dl.acm.org/doi/1..
 
?
8

From species to pathway and tissue as process:

, In: Proceedings of the 8th International Conference on Computational Methods in Systems Biology,
Calder, Muffy ; Andrei, Oana ; Degasperi, Andrea. - p. 1-2 , 2010
Link: https://dl.acm.org/doi/1..
 
?
9

Using SPIN for feature interaction analysis—a case study:

, In: Proceedings of the 8th international SPIN workshop on Model checking of software,
Calder, Muffy ; Miller, Alice - p. 143-162 , 2001
Link: https://dl.acm.org/doi/1..
 
1-9