I agree that this site is using cookies. You can find further informations here.
X
Kugler, Hillel
72  results:
Search for persons X
?
1

Synthesis of Boolean Networks with Weak and Strong Regulato..:

, In: Bioinformatics Research and Applications; Lecture Notes in Computer Science,
Biton, Noy ; Shoob, Sharon ; Amar, Ani. - p. 119-131 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Esrrb guides naive pluripotent cells through the formative ..:

Carbognin, Elena ; Carlini, Valentina ; Panariello, Francesco...
Nature Cell Biology.  , 2023
Link: https://doi.org/10.1038/..
 
?
3

Simulation and Verification of Network-Based Biocomputation..:

, In: 2023 IEEE International Symposium on Circuits and Systems (ISCAS),
Aluf-Medina, Michelle ; Raviv, Avraham ; Arora, Himanshu.. - p. 1-5 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Learning Through Imitation by Using Formal Verification:

, In: Lecture Notes in Computer Science; SOFSEM 2023: Theory and Practice of Computer Science,
Raviv, Avraham ; Bronshtein, Eliya ; Reginiano, Or.. - p. 342-355 , 2023
Link: https://doi.org/10.1007/..
 
?
5

An SMT-Based Framework for Reasoning About Discrete Biologi..:

, In: Bioinformatics Research and Applications; Lecture Notes in Computer Science,
Yordanov, Boyan ; Dunn, Sara-Jane ; Gravill, Colin.. - p. 114-125 , 2022
Link: https://doi.org/10.1007/..
 
?
6

Modeling the C. elegans germline stem cell genetic network ..:

Amar, Ani ; Hubbard, E. Jane Albert ; Kugler, Hillel
Biosystems.  217 (2022)  - p. 104672 , 2022
Link: https://doi.org/10.1016/..
 
?
7

Solving the 3‐Satisfiability Problem Using Network‐Based Bi..:

Zhu, Jingyuan ; Salhotra, Aseem ; Meinecke, Christoph Robert...
Advanced Intelligent Systems.  4 (2022)  12 - p. , 2022
Link: https://doi.org/10.1002/..
 
?
8

Roadmap for network-based biocomputation:

van Delft, Falco C M J M ; Månsson, Alf ; Kugler, Hillel...
Nano Futures.  6 (2022)  3 - p. 032002 , 2022
Link: https://doi.org/10.1088/..
 
?
9

Solving Exact Cover Instances with Molecular-Motor-Powered ..:

Surendiran, Pradheebha ; Meinecke, Christoph Robert ; Salhotra, Aseem...
ACS Nanoscience Au.  2 (2022)  5 - p. 396-403 , 2022
Link: https://doi.org/10.1021/..
 
?
10

Design of network-based biocomputation circuits for the exa..:

Korten, Till ; Diez, Stefan ; Linke, Heiner..
New Journal of Physics.  23 (2021)  8 - p. 085004 , 2021
Link: https://doi.org/10.1088/..
 
?
11

Physical requirements for scaling up network-based biocompu..:

Zhu, Jingyuan ; Korten, Till ; Kugler, Hillel...
New Journal of Physics.  23 (2021)  10 - p. 105004 , 2021
Link: https://doi.org/10.1088/..
 
?
12

Discovering Essential Multiple Gene Effects Through Large S..:

Occhipinti, Annalisa ; Hamadi, Youssef ; Kugler, Hillel...
IEEE/ACM Transactions on Computational Biology and Bioinformatics.  18 (2021)  6 - p. 2339-2352 , 2021
Link: https://doi.org/10.1109/..
 
?
13

Formal Semantics and Verification of Network-Based Biocompu..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Aluf-Medina, Michelle ; Korten, Till ; Raviv, Avraham.. - p. 464-485 , 2021
Link: https://doi.org/10.1007/..
 
?
14

Formal Analysis of Network Motifs Links Structure to Functi..:

Dunn, Sara-Jane ; Kugler, Hillel ; Yordanov, Boyan
IEEE/ACM Transactions on Computational Biology and Bioinformatics.  18 (2021)  1 - p. 261-271 , 2021
Link: https://doi.org/10.1109/..
 
?
15

Formal Verification for Natural and Engineered Biological S..:

, In: 2020 Formal Methods in Computer Aided Design (FMCAD),
Kugler, Hillel - p. 1-1 , 2020
Link: https://doi.org/10.34727..
 
1-15