David R. Gilbert
发表
Roland H. C. Yap,
Rolf Backofen,
David R. Gilbert,
2004,
Constraints.
Rolf Backofen,
David R. Gilbert,
R. Backofen,
2001,
Constraints.
Monika Heiner,
David R. Gilbert,
M. Heiner,
2011,
Petri Nets.
David R. Gilbert,
Victor Khomenko,
Alexander A. Letichevsky,
1999,
Calculemus.
David R. Gilbert,
Juris Viksna,
D. Gilbert,
2007,
Bioinform..
David R. Gilbert,
Jerry R. Rogers,
Richard L. Wiltshire,
2010
.
Jean-Marie Jacquet,
Lubos Brim,
David R. Gilbert,
1995,
ILPS.
David R. Gilbert,
Catherine Brooksbank,
Janet M. Thornton,
2004,
ISMB/ECCB.
David R. Gilbert,
1988,
Specification and Verification of Concurrent Systems.
David R. Gilbert,
Walter Kolch,
Michiel E. Adriaens,
2009,
BMC Systems Biology.
Desmond J. Higham,
David R. Gilbert,
Xu Gu,
2007,
BMC Systems Biology.
Christopher J. Hogger,
David R. Gilbert,
Jirí Zlatuska,
1994,
LOPSTR.
From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis
Monika Heiner,
David R. Gilbert,
D. Gilbert,
2006,
ICATPN.
Monika Heiner,
Christian Rohr,
David R. Gilbert,
2018,
Natural Computing.
David R. Gilbert,
Robin Donaldson,
D. Gilbert,
2008,
CMSB.
David R. Gilbert,
Gabriel Valiente,
Mallika Veeramalai,
2010,
BMC Bioinformatics.
David R. Gilbert,
Qian Gao,
Larisa N. Soldatova,
2012,
CMSB.
Monika Heiner,
David R. Gilbert,
Timothy Self,
2018,
CMSB.
David R. Gilbert,
1988,
FORTE.
David R. Gilbert,
2004
.
David R. Gilbert,
Catherine Brooksbank,
Janet M. Thornton,
2004,
ISMB/ECCB.
David R. Gilbert,
Mallika Veeramalai,
D. Gilbert,
2008,
Bioinform..
Richard O. Sinnott,
Xuan Liu,
David R. Gilbert,
2008,
HealthGrid.
Monika Heiner,
David R. Gilbert,
Sebastian Lehrack,
2007,
CMSB.
David R. Gilbert,
Werner Dubitzky,
C. Stephen Downes,
2006,
Briefings Bioinform..
Jean-Marie Jacquet,
Lubos Brim,
David R. Gilbert,
2001,
SOFSEM.
David R. Gilbert,
Juris Viksna,
D. Gilbert,
2001,
WABI.
Desmond J. Higham,
David R. Gilbert,
Rainer Breitling,
2006,
Bioinform..
Michael Schroeder,
David R. Gilbert,
Jacques van Helden,
2001,
Inf. Sci..
David R. Gilbert,
Rainer Breitling,
Michael P. Barrett,
2013,
PLoS Comput. Biol..
David R. Gilbert,
Juris Viksna,
Gilleain M. Torrance,
2003,
German Conference on Bioinformatics.
Michael Schroeder,
David R. Gilbert,
Shoshana J. Wodak,
2000,
JOBIM.
David R. Gilbert,
Qian Gao,
Enza Messina,
2012,
Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC).
David R. Gilbert,
Janet M. Thornton,
David R. Westhead,
1999,
Bioinform..
David R. Gilbert,
Edwin D. Mares,
2012,
Rev. Symb. Log..
David R. Gilbert,
David R. Westhead,
Ioannis Michalopoulos,
2005,
Bioinform..
David R. Gilbert,
Amit Goel,
Heinz Schmidt,
2009,
2009 13th Enterprise Distributed Object Computing Conference Workshops.
Michael Schroeder,
David R. Gilbert,
M. Schroeder,
2000,
Proceedings IEEE International Symposium on Bio-Informatics and Biomedical Engineering.
David R. Gilbert,
Madeline A. Crosby,
Victor B. Strelets,
1997,
Nucleic Acids Res..
Christopher J. Hogger,
David R. Gilbert,
C. Hogger,
1992,
Advanced Topics in Artificial Intelligence.
David R. Gilbert,
Muffy Calder,
Vladislav Vyshemirsky,
2006,
Trans. Comp. Sys. Biology.
Rolf Backofen,
David R. Gilbert,
2006,
Handbook of Constraint Programming.
Jun Wang,
Simon J. E. Taylor,
David R. Gilbert,
2014,
Concurr. Comput. Pract. Exp..
Giancarlo Mauri,
Monika Heiner,
David R. Gilbert,
2018,
BMC Bioinformatics.
David R. Gilbert,
Catuscia Palamidessi,
C. Palamidessi,
2000,
Computational Logic.
David R. Gilbert,
D. Gilbert,
1996,
CSUR.
Monika Heiner,
David R. Gilbert,
Wolfgang Marwan,
2009,
Trans. Comp. Sys. Biology.
David R. Gilbert,
1987,
PSTV.
David R. Gilbert,
1989,
FORTE.
Monika Heiner,
David R. Gilbert,
Susan Rosser,
2008,
BICC.
Monika Heiner,
David R. Gilbert,
Corrado Priami,
2009,
Formal Methods in Molecular Biology.
David R. Gilbert,
1990
.
David R. Gilbert,
Giorgio Venturi,
2020,
Log. J. IGPL.
David R. Gilbert,
Ovidiu Parvu,
O. Pârvu,
2014,
BMC Systems Biology.
David R. Gilbert,
Paolo Maffezioli,
2015,
Stud Logica.
Jean-Marie Jacquet,
David R. Gilbert,
Sebastian Hunt,
1996,
CP.
Monika Heiner,
David R. Gilbert,
M. Heiner,
2015,
Theoretical Computer Science.
David R. Gilbert,
Qian Gao,
Zujian Wu,
2010,
CMSB '10.
Jean-Christophe Nebel,
David R. Gilbert,
Pawel Herzyk,
2007,
BMC Bioinformatics.
Monika Heiner,
Fei Liu,
David R. Gilbert,
2013,
IEEE/ACM Transactions on Computational Biology and Bioinformatics.
Desmond J. Higham,
David R. Gilbert,
Rainer Breitling,
2005,
BMC Bioinformatics.
David R. Gilbert,
Aik Choon Tan,
A. Tan,
2003,
APBC.
Monika Heiner,
David R. Gilbert,
Koichi Takahashi,
2014,
Dagstuhl Reports.
José A. Reyes,
David R. Gilbert,
2007,
J. Integr. Bioinform..
Jean-Marie Jacquet,
Lubos Brim,
David R. Gilbert,
1996,
ALP.
Monika Heiner,
David R. Gilbert,
2012
.
Andreas Tauch,
Jens Stoye,
David R. Gilbert,
2008,
Nucleic Acids Res..
Jean-Marie Jacquet,
Lubos Brim,
David R. Gilbert,
2003,
Electron. Notes Theor. Comput. Sci..
Yves Deville,
David R. Gilbert,
Shoshana J. Wodak,
2003,
Briefings Bioinform..
David R. Gilbert,
Alexander A. Letichevsky,
D. Gilbert,
1999,
WADT.
David R. Gilbert,
Janet M. Thornton,
David R. Westhead,
2000,
Journées Francophones de Programmation Logique par Contraintes.
Jean-Marie Jacquet,
David R. Gilbert,
Michael Jampel,
1996,
JICSLP.
David R. Gilbert,
Inge Jonassen,
Alvis Brazma,
1998,
J. Comput. Biol..
Simon J. E. Taylor,
David R. Gilbert,
Navonil Mustafee,
2014,
Proceedings of the Winter Simulation Conference 2014.
David R. Gilbert,
Janet M. Thornton,
David R. Westhead,
2002,
Comput. Chem..
David R. Gilbert,
Jerry R. Rogers,
Richard L. Wiltshire,
2010
.
Monika Heiner,
David R. Gilbert,
Jacek Chodak,
2019,
BMC Bioinformatics.
David R. Gilbert,
Shoshana J. Wodak,
Kirill Degtyarenko,
1999,
German Conference on Bioinformatics.
Crina Grosan,
David R. Gilbert,
Zujian Wu,
2013,
2013 IEEE Congress on Evolutionary Computation.
David R. Gilbert,
Huma Lodhi,
H. Lodhi,
2011,
Discovery Science.
David R. Gilbert,
Rainer Breitling,
Michael P. Barrett,
2008,
Bioinform..
Monika Heiner,
David R. Gilbert,
Corrado Priami,
2009,
Formal Methods in Molecular Biology.
David R. Gilbert,
Amit Goel,
Heinz Schmidt,
2010,
PACIS.
Jean-Marie Jacquet,
Lubos Brim,
David R. Gilbert,
2002,
Comput. Artif. Intell..
Monika Heiner,
Fei Liu,
David R. Gilbert,
2015,
ACM Trans. Model. Comput. Simul..
David R. Gilbert,
David R. Westhead,
Ioannis Michalopoulos,
2004,
Nucleic Acids Res..
Monika Heiner,
Fei Liu,
David R. Gilbert,
2013,
CMSB.
Monika Heiner,
David R. Gilbert,
Rainer Breitling,
2009,
Formal Methods in Molecular Biology.
Yves Deville,
David R. Gilbert,
Shoshana J. Wodak,
2003,
CMSB.
Keun Ho Ryu,
David R. Gilbert,
Sung-Hee Park,
2007,
APBC.
Monika Heiner,
David R. Gilbert,
Rainer Breitling,
2010,
Trans. Comp. Sys. Biology.
David R. Gilbert,
Giorgio Venturi,
2016,
Rev. Symb. Log..
José A. Reyes,
David R. Gilbert,
D. Gilbert,
2008,
DILS.
David R. Gilbert,
Juris Viksna,
1999,
German Conference on Bioinformatics.
Crina Grosan,
David R. Gilbert,
Zujian Wu,
2013,
NICSO.
David R. Gilbert,
Jerry R. Rogers,
Richard L. Wiltshire,
2011
.
David R. Gilbert,
D. Gilbert,
2000,
Journées Francophones de Programmation Logique par Contraintes.
Christopher J. Hogger,
David R. Gilbert,
1991,
ICLP Workshop on Construction of Logic Programs.
Yves Deville,
David R. Gilbert,
Aik Choon Tan,
2003,
German Conference on Bioinformatics.
Monika Heiner,
Fei Liu,
David R. Gilbert,
2011,
CMSB.
Monika Heiner,
David R. Gilbert,
Rainer Breitling,
2008,
Briefings Bioinform..
Monika Heiner,
Fei Liu,
David R. Gilbert,
2013,
Petri Nets.
Monika Heiner,
David R. Gilbert,
Robin Donaldson,
2008,
SFM.
David R. Gilbert,
Inge Jonassen,
Ingvar Eidhammer,
2001,
Constraints.
Shengxiang Yang,
David R. Gilbert,
Zujian Wu,
2012,
PPSN.
Keun Ho Ryu,
David R. Gilbert,
Sung-Hee Park,
2005,
Int. J. Neural Syst..
José A. Reyes,
Sangsoo Kim,
David R. Gilbert,
2009,
BMC Bioinformatics.
Monika Heiner,
David R. Gilbert,
Rainer Breitling,
2008,
Workshop on Membrane Computing.