Hillel Kugler

Available identifiers

zbMath Open kugler.hillelMaRDI QIDQ2234095

List of research outcomes

Publication	Date of Publication	Type
Temporal logic based synthesis of experimentally constrained interaction networks	2023-10-20	Paper
Learning through imitation by using formal verification	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	2014-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q5190780	2009-07-27	Paper
“Don’t Care” Modeling: A Logical Framework for Developing Predictive System Models	2007-09-03	Paper
Automated Technology for Verification and Analysis	2006-10-10	Paper
Formal Methods in Software and Systems Modeling	2005-12-02	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS	2005-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q4427918	2003-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4413201	2003-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q4540954	2002-07-28	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Hillel Kugler