|
|
 |
|
Publications in computational biology
A list of recent peer reviewed publications by people of the
European Science Initiative team in the area of computational biology.
For full publication lists, please see the individual researchers'
homepages.
|
Journal and book chapters
-
P. Combes, D. Harel, H. Kugler.
Modeling and Verification of a Telecommunication Application using Live Sequence Charts and the Play-Engine Tool
March 2008
Software and Systems Modeling
2
7
-
Avital SADOT, Jasmin Fisher, Dan BARAK, Yishai ADMANIT, Michael J. STERN, E. Jane Albert HUBBARD, David HAREL.
Towards Verified Biological Models
2 2008
IEEE/ACM Transactions on Computational Biology and Bioinformatics
1-12
5
-
Jasmin Fisher, Favid Harel.
On Statecharts for Biology
2008
Symbolic Systems Biology: Theory and Methods
-
Ralf Blossey, Luca Cardelli, Andrew Phillips.
Compositionality, Stochasticity and Cooperativity in Dynamic Models of Gene Regulation
February 2008
HFSP Journal
1
17--28
2
-
Johannes Borgstroem, Andrew Gordon, Andrew Phillips.
A Chart Semantics for the Pi-calculus
January 2008
Electronic Notes in Theoretical Computer Science
2
3--29
194
-
Andrew Phillips.
Specifying and Implementing Secure Mobile Applications
2008
Process Algebra for Parallel and Distributed Processing
-
Fergus P. Massey, Matthew J. Smith, Xavier Lambin, Sue E. Hartley.
Are silica defences in grasses driving vole population cycles?
2008
Biology Letters
-
Jasmin Fisher, Thomas A. Henzinger.
Executable Cell Biology
November 2007
Nature Biotechnology
1239--1249
25
-
Ralf Blossey, Luca Cardelli, Andrew Phillips.
A Compositional Approach to the Stochastic Dynamics of Gene Networks
January 2006
Corrado Priami and Luca Cardelli and Stephen Emmott
Transactions in Computational Systems Biology
3939
99--122
LNCS
3939
-
Andrew Phillips, Luca Cardelli, Giuseppe Castagna.
A Graphical Representation for Biological Processes in the Stochastic Pi-calculus
November 2006
Transactions in Computational Systems Biology
123--152
LNCS
4230
Technical reports
Conferences
-
Luke Church, Katinka Apagyi, Jasmin Fisher.
Languages for Biological Models: Importance, Implications and Challenges - A Work In Progress
2008
Proceedings of the Psychology of Programming Interest Group
-
Naumowicz, Tomasz, Freeman, Robin, Heil, Andreas, Calsyn, Martin, Hellmich, Eric, Brändle, Alexander, Guilford, Tim, Schiller, Jochen.
Autonomous Monitoring of Vulnerable Habitats using a Wireless Sensor Network
2008
Glasgow, Scotland
REALWSN'08 Workshop on Real-World Wireless Sensor Networks in conjunction with ACM EuroSys 2008
-
Fisher, J., Henzinger, T.A., Mateescu, M., Piterman, N..
Bounded Asynchrony: A biologically-inspired notion of concurrency
2008
Proceedings of FMSB ’08 Cambridge, UK
Lecture Notes in Bioinformatics
-
Andrew Phillips, Luca Cardelli.
Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus
September 2007
Computational Methods in Systems Biology
184--199
LNCS
4695
-
Schaub, Marc, Bezdek, April, Henzinger, Thomas, Radtke, Freddy, Fisher, Jasmin.
Qualitative Crosstalk Analysis of Wnt and Notch Signaling in Mammalian Skin
2007
RECOMB Systems Biology, ’07 San Diego, CA
Lecture Notes in Bioinformatics
-
H. Kugler, C. Plock, A. Pnueli.
Synthesizing Reactive Systems from LSC Requirements using the Play-Engine
October 2007
Companion to the 22nd ACM SIGPLAN conference on object oriented programming systems and applications (OOPSLA’07)
801-802
-
Andrew Phillips, Luca Cardelli.
A Graphical Representation for the Stochastic Pi-calculus
August 2005
Concurrent Models in Molecular Biology
|
|
|
|
|
|