Zimmermann, Martin
4344  Ergebnisse:
Personensuche X
?
1

Robust probabilistic temporal logics:

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

Counting and sliding 

verifying and restoring healthy systems 
Grobler, Mario , [2024]
 
?
3

Counting and sliding 

verifying and restoring healthy systems 
Grobler, Mario , [2024]

Hinweis :   ts$di  
 
?
6

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
 
?
15

The complexity of evaluating nfer:

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