Martin Zimmermann
3486  results:
Search for persons X
?
1

Robust probabilistic temporal logics:

Zimmermann, Martin
Information Processing Letters.  188 (2025)  - p. 106522 , 2025
 
?
2

The complexity of evaluating nfer:

Kauffman, Sean ; Zimmermann, Martin
Science of Computer Programming.  231 (2024)  - p. 103012 , 2024
 
?
 
?
5

Robust computation tree logic:

Nayak, Satya Prakash ; Neider, Daniel ; Roy, Rajarshi.
Innovations in Systems and Software Engineering.  , 2024
 
?
14

Variant ALK‐fusion positive anaplastic large cell lymphoma ..:

Luedersen, Jette ; Stadt, Udo zur ; Richter, Julia...
British Journal of Haematology.  204 (2024)  5 - p. 1894-1898 , 2024
 
1-15