Nir Piterman

University of Gothenburg - Göteborg / Sweden

Engineering & Technology / Computer Science

AD Scientific Index ID: 1147533

Göteborgs universitet

Registration, Add Profile,
Premium Membership

Print Your Certificate

Nir Piterman's MOST POPULAR ARTICLES

1-) Synthesis of reactive (1) designsN Piterman, A Pnueli, Y Sa’arInternational Workshop on Verification, Model Checking, and Abstract …, 20067062006

2-) Synthesis of reactive (1) designsR Bloem, B Jobstmann, N Piterman, A Pnueli, Y SaʼarJournal of Computer and System Sciences 78 (3), 911-938, 20124512012

3-) Decoding the regulatory network of early blood development from single-cell gene expression measurementsV Moignard, S Woodhouse, L Haghverdi, AJ Lilly, Y Tanaka, ...Nature biotechnology 33 (3), 269-276, 20153722015

4-) From nondeterministic Buchi and Streett automata to deterministic parity automataN Piterman21st Annual IEEE Symposium on Logic in Computer Science (LICS\'06), 255-264, 20063982006

5-) Strategy logicK Chatterjee, TA Henzinger, N PitermanInformation and Computation 208 (6), 677-693, 20103042010

ARTICLES

Add your articles