Year |
Citation |
Score |
2023 |
Yordanov B, Dunn SJ, Gravill C, Arora H, Kugler H, Wintersteiger CM. The Reasoning Engine: A Satisfiability Modulo Theories-Based Framework for Reasoning About Discrete Biological Models. Journal of Computational Biology : a Journal of Computational Molecular Cell Biology. 30: 1046-1058. PMID 37733940 DOI: 10.1089/cmb.2023.0117 |
0.361 |
|
2019 |
Dunn SJ, Kugler H, Yordanov B. Formal Analysis of Network Motifs Links Structure to Function in Biological Programs. Ieee/Acm Transactions On Computational Biology and Bioinformatics. PMID 31722483 DOI: 10.1109/Tcbb.2019.2948157 |
0.303 |
|
2016 |
Yordanov B, Dunn SJ, Kugler H, Smith A, Martello G, Emmott S. A Method to Identify and Analyze Biological Programs through Automated Reasoning. Npj Systems Biology and Applications. 2. PMID 27668090 DOI: 10.1038/npjsba.2016.10 |
0.331 |
|
2016 |
Atwell K, Dunn SJ, Osborne JM, Kugler H, Hubbard EJ. How computational models contribute to our understanding of the germ line. Molecular Reproduction and Development. PMID 27627621 DOI: 10.1002/Mrd.22735 |
0.405 |
|
2016 |
Shavit Y, Yordanov B, Dunn SJ, Wintersteiger CM, Otani T, Hamadi Y, Livesey FJ, Kugler H. Automated Synthesis and Analysis of Switching Gene Regulatory Networks. Bio Systems. PMID 27178783 DOI: 10.1016/J.Biosystems.2016.03.012 |
0.313 |
|
2015 |
Atwell K, Qin Z, Gavaghan D, Kugler H, Hubbard EJ, Osborne JM. Mechano-logical model of C. elegans germ line suggests feedback on the cell cycle. Development (Cambridge, England). 142: 3902-11. PMID 26428008 DOI: 10.1242/Jcs.183509 |
0.335 |
|
2014 |
Paoletti N, Yordanov B, Hamadi Y, Wintersteiger CM, Kugler H. Analyzing and synthesizing genomic logic functions Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8559: 343-357. DOI: 10.1007/978-3-319-08867-9_23 |
0.352 |
|
2013 |
Kugler H. Biocharts: Unifying biological hypotheses with models and experiments Proceedings - Ieee 9th International Conference On E-Science, E-Science 2013. 317-325. DOI: 10.1109/eScience.2013.41 |
0.321 |
|
2013 |
Kugler H. Runtime verification and refutation for biological systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8174: 384-385. DOI: 10.1007/978-3-642-40787-1_28 |
0.33 |
|
2012 |
Setty Y, Dalfó D, Korta DZ, Hubbard EJ, Kugler H. A model of stem cell population dynamics: in silico analysis and in vivo validation. Development (Cambridge, England). 139: 47-56. PMID 22147952 DOI: 10.1242/Dev.067512 |
0.307 |
|
2011 |
Milicevic A, Kugler H. Model checking using SMT and theory of lists Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6617: 282-297. DOI: 10.1007/978-3-642-20398-5_21 |
0.314 |
|
2010 |
Kugler H, Larjo A, Harel D. Biocharts: a visual formalism for complex biological systems. Journal of the Royal Society, Interface / the Royal Society. 7: 1015-24. PMID 20022895 DOI: 10.1098/Rsif.2009.0457 |
0.485 |
|
2010 |
Harel D, Kugler H. Some thoughts on the semantics of biocharts Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6200: 185-194. DOI: 10.1007/978-3-642-13754-9_9 |
0.501 |
|
2009 |
Kugler H, Plock C, Pnueli A. Controller synthesis from LSC requirements Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5503: 79-93. DOI: 10.1007/978-3-642-00593-0_6 |
0.593 |
|
2008 |
Kam N, Kugler H, Marelly R, Appleby L, Fisher J, Pnueli A, Harel D, Stern MJ, Hubbard EJ. A scenario-based approach to modeling development: a prototype model of C. elegans vulval fate specification. Developmental Biology. 323: 1-5. PMID 18706404 DOI: 10.1016/J.Ydbio.2008.07.030 |
0.631 |
|
2008 |
Harel D, Segall I, Kugler H, Setty Y. Crafting game-models using reactive system design Acm Future Play 2008 International Academic Conference On the Future of Game Design and Technology, Future Play: Research, Play, Share. 121-128. DOI: 10.1145/1496984.1497005 |
0.316 |
|
2008 |
Combes P, Harel D, Kugler H. Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool Software & Systems Modeling. 7: 157-175. DOI: 10.1007/S10270-007-0069-5 |
0.399 |
|
2008 |
Hooman J, Kugler H, Ober I, Votintseva A, Yushtein Y. Supporting UML-based development of embedded systems by formal techniques Software and Systems Modeling. 7: 131-155. DOI: 10.1007/S10270-006-0043-7 |
0.497 |
|
2007 |
Kugler H, Plock C, Pnueli A. Synthesizing reactive systems from LSC requirements using the play-engine Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 801-802. DOI: 10.1145/1297846.1297895 |
0.591 |
|
2007 |
Kugler H, Pnueli A, Stern MJ, Hubbard EJA. "Don't care" modeling: A logical framework for developing predictive system models Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4424: 343-357. |
0.496 |
|
2005 |
Kyas M, Fecher H, De Boer FS, Jacob J, Hooman J, Van Der Zwaag M, Arons T, Kugler H. Formalizing UML Models and OCL Constraints in PVS Electronic Notes in Theoretical Computer Science. 115: 39-47. DOI: 10.1016/J.Entcs.2004.09.027 |
0.479 |
|
2005 |
Harel D, Kugler H, Pnueli A. Synthesis revisited: Generating statechart models from scenario-based requirements Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3393: 309-324. |
0.616 |
|
2005 |
Harel D, Kugler H, Weiss G. Some methodological observations resulting from experience using LSCs and the play-in/play-out approach Lecture Notes in Computer Science. 3466: 26-42. |
0.353 |
|
2005 |
Kugler H, Harel D, Pnueli A, Lu Y, Bontemps Y. Temporal logic for scenario-based specifications Lecture Notes in Computer Science. 3440: 445-460. |
0.586 |
|
2004 |
Harel D, Kugler H, Pnueli A. Smart play-out extended: Time and forbidden elements Proceedings - Fourth International Conference On Quality Software, Qsic 2004. 2-11. DOI: 10.1109/QSIC.2004.1357938 |
0.565 |
|
2004 |
Arons T, Hooman J, Kugler H, Pnueli A, Van Der Zwaag MD. Deductive Verification of UML Models in TLPVS Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3273: 335-349. DOI: 10.1007/978-3-540-30187-5_24 |
0.641 |
|
2004 |
Harel D, Kugler H. The RHAPSODY semantics of statecharts (or, on the executable core of the UML) Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3147: 325-354. DOI: 10.1007/978-3-540-27863-4_19 |
0.449 |
|
2003 |
Harel D, Kugler H, Marelly R, Pnueli A. Smart play-out Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 68-69. DOI: 10.1145/949344.949353 |
0.443 |
|
2003 |
Kam N, Harel D, Kugler H, Marelly R, Pnueli A, Albert Hubbard EJ, Stern MJ. Formal Modeling of C. elegans development: A Scenario-based approach Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2602: 4-20. DOI: 10.1007/3-540-36481-1_2 |
0.608 |
|
2002 |
Harel D, Kugler H. Synthesizing state-based object systems from lsc specifications International Journal of Foundations of Computer Science. 13: 5-15. DOI: 10.1142/S0129054102000935 |
0.392 |
|
2002 |
Harel D, Kugler H, Marelly R, Pnueli A. Smart play-out of behavioral requirements Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2517: 378-398. |
0.594 |
|
2002 |
Marelly R, Harel D, Kugler H. Multiple instances and symbolic variables in executable sequence charts Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 83-100. |
0.352 |
|
Show low-probability matches. |