| Gianfranco Balbo |
The Challenge of Discrete Event Simulation in Systems Biology |
 |
 |
| Davide Bassi |
Life Sciences and Computer Sciences at the University of Trento |
|
|
| Andrea Califano |
Elucidating master integrators of tumor-related phenotypes |
|
|
| Luca Cardelli |
Algebras and Languages for Molecular Programming |
|
|
| Frédéric Chyzak |
A Dynamic Dictionary of Mathematical Functions |
|
|
| Adrian Cristal |
Top-down Computer Architecture: letting software requirements drive the hardware innovation forward |
|
|
| Attila Csikász-Nagy |
Dynamics of cell signaling network units |
|
|
| Pierpaolo Degano |
Some results on languages, inference and technology development |
|
|
| Lorenzo Dematté |
Towards an in-silico lab for modelling & simulation in systems biology |
|
|
| Pier Paolo Di Fiore |
An analogical to digital ubiquitin-based switch controls EGFR fate |
|
|
| Michele Forlin |
Knowledge discovery for stochastic models of biological systems (PhD Thesis defence) |
|
|
| Fabrizio Gagliardi |
VENUS-C in the European Cloud Computing landscape |
|
|
| Daron Green |
Applying Microsoft technologies to the 4th Paradigm in scientific research |
|
|
| John Heath |
Protein computing: a phospho-calculus? |
|
|
| Andrew Herbert |
Medical and Biological Topics at Microsoft Research Cambridge |
|
|
| Tony Hoare |
Process Algebra: in retrospect and in prospect. |
|
|
| Leroy Hood |
Systems Biology, Systems Medicine and Emerging Technologies |
|
|
| Michael Hucka |
Finding common ground between modelers and simulation software in systems biology |
|
|
| Jan Trøst Jørgensen |
The challenges in personalized cancer medicine – bridging the knowledge gap between pathophysiology and the drug mechanism of action |
|
|
| James Kaput |
Designing Novel Strategies for Personalized Healthcare Research |
|
|
| Jean-Jacques Lévy |
Proofs, Security, and Computational Sciences |
|
|
| Adriana Maggi |
Bioinformatics and bioimaging to extend the study of drug action in the fourth dimension |
|
|
| Alida Palmisano |
Modelling and Inference strategies for Biological Systems (PhD Thesis defence) |
|
|
| Oscar Palomar |
Instruction extensions for set operations on vector processors |
|
|
| Corrado Priami |
Algorithmic systems biology |
|
|
| Montserrat Puiggròs |
Modeling and analysis of diabetes related pathways using systems biology approaches |
|
|
| Maria Tasker |
The approach to R&D and use of computational tools in a fast moving consumer goods company |
|
|
| Enrico Tassi |
Proving the odd order theorem, formally |
|
|
| John Tyson |
Network Dynamics and Cell Physiology: Deterministic and Stochastic Models of Yeast Cell Cycle Regulation |
|
|
| Osman Unsal |
Top-down Computer Architecture: letting software requirements drive the hardware innovation forward |
|
|
| Jeannette M. Wing |
Computational Thinking |
|
|
| Judit Zamborszky |
Compositional modeling of biological systems (PhD Thesis defence) |
|
|
