Nir Piterman - Publications, H-index & Citations

Nir Piterman

chalmers university of technology

36H指数

199论文数

5.0K被引数

收录论文 12

发表时间

Engineering an LTLf Synthesis Tool 构建LTLf合成工具

IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025

IF0

2026-01-01

PREAI

Duret-Lutz, Alexandre; Zhu, Shufang; Piterman, Nir; De Giacomo, Giuseppe; Vardi, Moshe Y.

Control and Discovery of Environment Behaviour

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2022-06-01

PREAI

Keegan, Maureen; Braberman, Victor; D'Ippolito, Nicolas; Piterman, Nir; Uchitel, Sebastian

Heterogeneity of Myc expression in breast cancer exposes pharmacological vulnerabilities revealed through executable mechanistic modeling

PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA

IF9.1

2019-10-14

OAAI

Kreuzaler, Peter; Clarke, Matthew A.; Brown, Elizabeth J.; Wilson, Catherine H.; Kortlever, Roderik M.; Piterman, Nir; Littlewood, Trevor; Evan, Gerard I.; Fisher, Jasmin

Interaction Models and Automated Control under Partial Observable Environments

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2017-01-01

OAAI

Ciolek, Daniel; Braberman, Victor; D'Ippolito, Nicolas; Piterman, Nir; Uchitel, Sebastian

Emergent Stem Cell Homeostasis in the C. elegans Germline Is Revealed by Hybrid Modeling

BIOPHYSICAL JOURNAL

IF3.1

2015-07-01

OAAI

Hall, Benjamin A.; Piterman, Nir; Hajnal, Alex; Fisher, Jasmin

Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control

IEEE TRANSACTIONS ON ROBOTICS

IF10.5

2015-06-01

PREAI

Raman, Vasumathi; Piterman, Nir; Finucane, Cameron; Kress-Gazit, Hadas

Decoding the regulatory network of early blood development from single-cell gene expression measurements 从单细胞基因表达测量中解码早期血液发育的调控网络

NATURE BIOTECHNOLOGY

IF41.7

2015-02-09

304

OAAI

Moignard, Victoria; Woodhouse, Steven; Haghverdi, Laleh; Lilly, Andrew J.; Tanaka, Yosuke; Wilkinson, Adam C.; Buettner, Florian; Macaulay, Iain C.; Jawaid, Wajid; Diamanti, Evangelia; Nishikawa, Shin-Ichi; Piterman, Nir; Kouskoff, Valerie; Theis, Fabian J.; Fisher, Jasmin; Goettgens, Berthold

Drug Target Optimization in Chronic Myeloid Leukemia Using Innovative Computational Platform 使用创新的计算平台优化慢性粒细胞白血病的药物靶标

SCIENTIFIC REPORTS

IF3.9

2015-02-03

OAAI

Chuang, Ryan; Hall, Benjamin A.; Benque, David; Cook, Byron; Ishtiaq, Samin; Piterman, Nir; Taylor, Alex; Vardi, Moshe; Koschmieder, Steffen; Gottgens, Berthold; Fisher, Jasmin

Emergent Behaviours of Stem Cells in Organogenesis Demonstrated by Hybrid Modelling

BIOPHYSICAL JOURNAL

IF3.1

2015-01-01

OAAI

Hall, Benjamin A.; Piterman, Nir; Hajnal, Alex; Fisher, Jasmin

Synthesizing Nonanomalous Event-Based Controllers for Liveness Goals

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2013-03-04

OAAI

D'Ippolito, Nicolas; Braberman, Victor; Piterman, Nir; Uchitel, Sebastian