Concurrency Control in Distributed Database Systems
ACM Computing Surveys (CSUR)
Programmable self-assembly using biologically-inspired multiagent control
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Theoretical Computer Science - Special issue: Computational systems biology
Scalable simulation of cellular signaling networks
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
The BlenX language: a tutorial
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Rule-based modelling of cellular signalling
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
A rule-based and imperative language for biochemical modeling and simulation
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
| Hi-index | 0.00 |