Video
BioModelAnalyzer Trailer
Bio Model Analyzer is a new biological modelling tool that illustrates signalling pathways and determines cellular stabilization. The tool represents a merging of perspectives from systems biology, formal methods, human computer interaction and design. At…
Publication
Stochastic program optimization
Publication
Edge Routing with Ordered Bundles
Publication
Program Synthesis Using Stochastic Techniques
Publication