Hillel Kugler

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Temporal logic based synthesis of experimentally constrained interaction networks Molecular Logic and Computational Synthetic Biology	2023-10-20	Paper
Learning through imitation by using formal verification Lecture Notes in Computer Science	2023-08-14	Paper
Formal semantics and verification of network-based biocomputation circuits	2021-10-18	Paper
Functional analysis of large-scale DNA strand displacement circuits Lecture Notes in Computer Science	2014-07-07	Paper
How hard is smart play-out? On the complexity of verification-driven execution	2009-07-27	Paper
“Don’t Care” Modeling: A Logical Framework for Developing Predictive System Models Tools and Algorithms for the Construction and Analysis of Systems	2007-09-03	Paper
Automated Technology for Verification and Analysis Lecture Notes in Computer Science	2006-10-10	Paper
Formal Methods in Software and Systems Modeling Lecture Notes in Computer Science	2005-12-02	Paper
Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science	2005-11-10	Paper
SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS International Journal of Foundations of Computer Science	2005-06-22	Paper
scientific article; zbMATH DE number 1979562 (Why is no real title available?)	2003-09-14	Paper
scientific article; zbMATH DE number 1950545 (Why is no real title available?)	2003-07-17	Paper
scientific article; zbMATH DE number 1773071 (Why is no real title available?)	2002-07-28	Paper

Research outcomes over time

This page was built for person: Hillel Kugler