Articles with public access mandates - Nir PitermanLearn more
Not available anywhere: 1
A modelling framework for cyber-physical system resilience
ML Bujorianu, N Piterman
Cyber Physical Systems. Design, Modeling, and Evaluation: 5th International …, 2015
Mandates: UK Engineering and Physical Sciences Research Council
Available somewhere: 43
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
Mandates: UK Biotechnology and Biological Sciences Research Council, Cancer Research …
Strategy logic
K Chatterjee, TA Henzinger, N Piterman
Information and Computation 208 (6), 677-693, 2010
Mandates: Swiss National Science Foundation
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
Mandates: UK Biotechnology and Biological Sciences Research Council, Blood Cancer UK …
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
Mandates: UK Medical Research Council, Wellcome Trust
Cell‐cycle regulation of NOTCH signaling during C. elegans vulval development
S Nusser‐Stein, A Beyer, I Rimann, M Adamczyk, N Piterman, A Hajnal, ...
Molecular systems biology 8 (1), 618, 2012
Mandates: Swiss National Science Foundation
Bounded asynchrony: Concurrency for modeling cell-cell interactions
J Fisher, TA Henzinger, M Mateescu, N Piterman
International Workshop on Formal Methods in Systems Biology, 17-32, 2008
Mandates: Swiss National Science Foundation
Dynamic reactive modules
J Fisher, TA Henzinger, D Nickovic, N Piterman, AV Singh, MY Vardi
International Conference on Concurrency Theory, 404-418, 2011
Mandates: Austrian Science Fund
Environmentally-friendly GR (1) synthesis
R Majumdar, N Piterman, AK Schmuck
International Conference on Tools and Algorithms for the Construction and …, 2019
Mandates: European Commission
Drug target optimization in chronic myeloid leukemia using innovative computational platform
R Chuang, BA Hall, D Benque, B Cook, S Ishtiaq, N Piterman, A Taylor, ...
Scientific reports 5 (1), 8190, 2015
Mandates: UK Biotechnology and Biological Sciences Research Council, Cancer Research …
Tractable probabilistic mu-calculus that expresses probabilistic temporal logics
P Castro, C Kilmurray, N Piterman
32nd International Symposium on Theoretical Aspects of Computer Science …, 2015
Mandates: UK Engineering and Physical Sciences Research Council
Modelling and verification of reconfigurable multi-agent systems
Y Abd Alrahman, N Piterman
Autonomous Agents and Multi-Agent Systems 35 (2), 1-36, 2021
Mandates: Swedish Research Council, European Commission
Heterogeneity of Myc expression in breast cancer exposes pharmacological vulnerabilities revealed through executable mechanistic modeling
P Kreuzaler, MA Clarke, EJ Brown, CH Wilson, RM Kortlever, N Piterman, ...
Proceedings of the National Academy of Sciences 116 (44), 22399-22408, 2019
Mandates: Cancer Research UK, UK Medical Research Council, Wellcome Trust
Interaction models and automated control under partial observable environments
D Ciolek, V Braberman, N D’Ippolito, N Piterman, S Uchitel
IEEE Transactions on Software Engineering 43 (1), 19-33, 2016
Mandates: Government of Argentina
Emergent stem cell homeostasis in the C. elegans germline is revealed by hybrid modeling
BA Hall, N Piterman, A Hajnal, J Fisher
Biophysical journal 109 (2), 428-438, 2015
Mandates: UK Medical Research Council
Hintikka games for PCTL on labeled Markov chains
H Fecher, M Huth, N Piterman, D Wagner
2008 Fifth International Conference on Quantitative Evaluation of Systems …, 2008
Mandates: German Research Foundation
PCTL model checking of Markov chains: Truth and falsity as winning strategies in games
H Fecher, M Huth, N Piterman, D Wagner
Performance Evaluation 67 (9), 858-872, 2010
Mandates: German Research Foundation
Pre-deployment security assessment for cloud services through semantic reasoning
C Cauli, M Li, N Piterman, O Tkachuk
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
Mandates: European Commission
Safety verification of piecewise-deterministic Markov processes
R Wisniewski, C Sloth, M Bujorianu, N Piterman
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
Mandates: Danish Council for Independent Research, UK Engineering and Physical …
A toolbox for discrete modelling of cell signalling dynamics
YZ Paterson, D Shorthouse, MW Pleijzier, N Piterman, C Bendtsen, ...
Integrative Biology 10 (6), 370-382, 2018
Mandates: UK Biotechnology and Biological Sciences Research Council, UK Medical …
Publication and funding information is determined automatically by a computer program