Concepedia

Hillel Kugler

HK

Statistics

Publications

22

Citations

784

H-Index

15

Active since

2002

Affiliations

Bar-Ilan University(Current)

Weizmann Institute of Science

Microsoft Research (United Kingdom)

Technische Universität Dresden

New York University

Hillel Kugler is an author at Bar-Ilan University specializing in life sciences, computer science, and formal methods.

Publications per year

2002–2023

22

Publications

22

SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS

David Harel, Hillel Kugler · International Journal of Foundations of Computer Science · 2002 · 190 citations

Engineering, Computer Science, Systems Engineering +14

Formalizing UML Models and OCL Constraints in PVS

Marcel Kyas, Harald Fecher, Frank S. de Boer et al. · Electronic Notes in Theoretical Computer Science · 2005 · 89 citations · Full text

Computing, Computer Science, Formal Methods +16

Multiple instances and symbolic variables in executable sequence charts

Rami Marelly, David Harel, Hillel Kugler · 2002 · 73 citations

Computing, Computer Science, Systems Engineering +17

A method to identify and analyze biological programs through automated reasoning

Boyan Yordanov, Sara-Jane Dunn, Hillel Kugler et al. · npj Systems Biology and Applications · 2016 · 56 citations · Full text

Life Sciences, Biology, Systems Biology +15

A scenario-based approach to modeling development: A prototype model of C. elegans vulval fate specification

Naaman Kam, Hillel Kugler, Rami Marelly et al. · Developmental Biology · 2008 · 38 citations · Full text

Life Sciences, Biology, Developmental Biology +16

1–5 of 22