Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Hillel Kugler

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Michelle Aluf-Medina

> Home > Persons > Hillel Kugler

Publications

2023
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/iscas/Aluf-MedinaRAKK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscas/Aluf-MedinaRAKK23
Michelle Aluf-Medina, Avraham Raviv, Himanshu Arora, Till Korten, Hillel Kugler:
Simulation and Verification of Network-Based Biocomputation Circuits. ISCAS 2023: 1-5
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/sofsem/RavivBRAK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofsem/RavivBRAK23
Avraham Raviv, Eliya Bronshtein, Or Reginiano, Michelle Aluf-Medina, Hillel Kugler:
Learning Through Imitation by Using Formal Verification. SOFSEM 2023: 342-355
2021
[c39]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/vmcai/Aluf-MedinaKRNK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/Aluf-MedinaKRNK21
Michelle Aluf-Medina, Till Korten, Avraham Raviv, Dan V. Nicolau Jr., Hillel Kugler:
Formal Semantics and Verification of Network-Based Biocomputation Circuits. VMCAI 2021: 464-485

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.