Hillel Kugler

From MaRDI portal
Person:2234095

Available identifiers

zbMath Open kugler.hillelMaRDI QIDQ2234095

List of research outcomes





PublicationDate of PublicationType
Temporal logic based synthesis of experimentally constrained interaction networks2023-10-20Paper
Learning through imitation by using formal verification2023-08-14Paper
Formal semantics and verification of network-based biocomputation circuits2021-10-18Paper
Functional Analysis of Large-Scale DNA Strand Displacement Circuits2014-07-07Paper
https://portal.mardi4nfdi.de/entity/Q51907802009-07-27Paper
“Don’t Care” Modeling: A Logical Framework for Developing Predictive System Models2007-09-03Paper
Automated Technology for Verification and Analysis2006-10-10Paper
Formal Methods in Software and Systems Modeling2005-12-02Paper
Tools and Algorithms for the Construction and Analysis of Systems2005-11-10Paper
SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS2005-06-22Paper
https://portal.mardi4nfdi.de/entity/Q44279182003-09-14Paper
https://portal.mardi4nfdi.de/entity/Q44132012003-07-17Paper
https://portal.mardi4nfdi.de/entity/Q45409542002-07-28Paper

Research outcomes over time

This page was built for person: Hillel Kugler

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2234095&oldid=7059036"
Powered by MediaWiki