עקוב אחר
Nir Piterman
Nir Piterman
Professor in Computer Science, University of Gothenburg and Chalmers University of Technolog, Sweden
כתובת אימייל מאומתת בדומיין gu.se - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
Synthesis of reactive (1) designs‏
N Piterman, A Pnueli, Y Sa’ar‏
Verification, Model Checking, and Abstract Interpretation: 7th International …, 2006‏
7802006
Synthesis of reactive (1) designs‏
R Bloem, B Jobstmann, N Piterman, A Pnueli, Y Saʼar‏
Journal of Computer and System Sciences 78 (3), 911-938, 2012‏
5522012
Decoding the regulatory network of early blood development from single-cell gene expression measurements‏
V Moignard, S Woodhouse, L Haghverdi, AJ Lilly, Y Tanaka, ...‏
Nature biotechnology 33 (3), 269-276, 2015‏
4632015
From nondeterministic Buchi and Streett automata to deterministic parity automata‏
N Piterman‏
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 255-264, 2006‏
3992006
Strategy logic‏
K Chatterjee, TA Henzinger, N Piterman‏
Information and Computation 208 (6), 677-693, 2010‏
3062010
Specify, compile, run: Hardware from PSL‏
R Bloem, S Galler, B Jobstmann, N Piterman, A Pnueli, M Weiglhofer‏
Electronic Notes in Theoretical Computer Science 190 (4), 3-16, 2007‏
1672007
Solving games without determinization‏
TA Henzinger, N Piterman‏
International Workshop on Computer Science Logic, 395-410, 2006‏
1562006
Automatic hardware synthesis from specifications: A case study‏
R Bloem, S Galler, B Jobstmann, N Piterman, A Pnueli, M Weiglhofer‏
2007 Design, Automation & Test in Europe Conference & Exhibition, 1-6, 2007‏
1542007
Strategy logic‏
K Chatterjee, TA Henzinger, N Piterman‏
CONCUR 2007–Concurrency Theory: 18th International Conference, CONCUR 2007 …, 2007‏
1472007
Safraless compositional synthesis‏
O Kupferman, N Piterman, MY Vardi‏
International Conference on Computer Aided Verification, 31-44, 2006‏
1332006
Faster solutions of Rabin and Streett games‏
N Piterman, A Pnueli‏
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 275-284, 2006‏
1312006
Computational insights into Caenorhabditis elegans vulval development‏
J Fisher, N Piterman, EJA Hubbard, MJ Stern, D Harel‏
Proceedings of the National Academy of Sciences 102 (6), 1951-1956, 2005‏
1262005
Predictive modeling of signaling crosstalk during C. elegans vulval development‏
J Fisher, N Piterman, A Hajnal, TA Henzinger‏
PLoS Comput Biol 3 (5), e92, 2007‏
1232007
Enhanced vacuity detection in linear temporal logic‏
R Armoni, L Fix, A Flaisher, O Grumberg, N Piterman, A Tiemeyer, ...‏
Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003‏
1132003
BTR: training asynchronous Boolean models using single-cell expression data‏
CY Lim, H Wang, S Woodhouse, N Piterman, L Wernisch, J Fisher, ...‏
BMC bioinformatics 17, 1-18, 2016‏
1082016
From liveness to promptness‏
O Kupferman, N Piterman, MY Vardi‏
Formal Methods in System Design 34 (2), 83-103, 2009‏
1032009
Synthesizing nonanomalous event-based controllers for liveness goals‏
N D'ippolito, V Braberman, N Piterman, S Uchitel‏
ACM Transactions on Software Engineering and Methodology (TOSEM) 22 (1), 1-36, 2013‏
1012013
SCNS: a graphical tool for reconstructing executable regulatory networks from single-cell genomic data‏
S Woodhouse, N Piterman, CM Wintersteiger, B Göttgens, J Fisher‏
BMC systems biology 12 (1), 1-7, 2018‏
982018
Generalized parity games‏
K Chatterjee, TA Henzinger, N Piterman‏
International Conference on Foundations of Software Science and …, 2007‏
912007
Synthesis of live behaviour models‏
NR D'Ippolito, V Braberman, N Piterman, S Uchitel‏
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010‏
892010
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20