Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Fesefeldt, Ira
10  Ergebnisse:
Personensuche X
?
1

Automated Checking and Completion of Backward Confluence fo..:

, In: Lecture Notes in Computer Science; Graph Transformation,
Fesefeldt, Ira ; Matheja, Christoph ; Noll, Thomas. - p. 283-293 , 2021
Link: https://doi.org/10.1007/..
 
?
2

Towards Concurrent Quantitative Separation Logic:

Fesefeldt, Ira ; Katoen, Joost-Pieter ; Noll, Thomas
Is Part Of LIPIcs, Volume 243, 33rd International Conference on Concurrency Theory (CONCUR 2022).  , 2022
Link: https://doi.org/10.4230/..
 
?
3

Foundations for Entailment Checking in Quantitative Separat..:

Batz, Kevin ; Fesefeldt, Ira ; Jansen, Marvin...
http://arxiv.org/abs/2201.11464.  , 2022
Link: http://arxiv.org/abs/220..
 
?
4

Towards Concurrent Quantitative Separation Logic:

Fesefeldt, Ira ; Katoen, Joost-Pieter ; Noll, Thomas
http://arxiv.org/abs/2207.02822.  , 2022
Link: http://arxiv.org/abs/220..
 
?
5

Foundations for Entailment Checking in Quantitative Separat..:

Batz, Kevin ; Fesefeldt, Ira ; Jansen, Marvin...
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-99336-8_3.  , 2022
Link: https://hdl.handle.net/2..
 
?
6

Foundations for Entailment Checking in Quantitative Separat..:

Batz, Kevin ; Fesefeldt, Ira ; Jansen, Marvin...
https://orbit.dtu.dk/en/publications/b27d483f-ccdb-4f32-b7c4-e3e905472c23.  , 2022
Link: https://orbit.dtu.dk/en/..
 
?
7

Foundations for Entailment Checking in Quantitative Separat..:

Batz, Kevin ; Fesefeldt, Ira Justus ; Jansen, Marvin...
info:eu-repo/semantics/altIdentifier/doi/10.18154/RWTH-2022-03408.  , 2022
Link: https://publications.rwt..
 
?
8

Towards Concurrent Quantitative Separation Logic:

Fesefeldt, Ira Justus ; Katoen, Joost-Pieter ; Noll, Thomas
info:eu-repo/semantics/altIdentifier/doi/10.18154/RWTH-2022-08746.  , 2022
Link: https://publications.rwt..
 
?
9

Towards Concurrent Quantitative Separation Logic:

Fesefeldt, Ira Justus ; Katoen, Joost-Pieter ; Noll, Thomas
info:eu-repo/semantics/altIdentifier/arxiv/arXiv:2207.02822.  , 2022
Link: https://publications.rwt..
 
?
10

Proving termination of pointer programs on top of symbolic ..:

Fesefeldt, Ira Justus
info:eu-repo/semantics/altIdentifier/doi/10.18154/RWTH-2020-04970.  , 2019
Link: https://publications.rwt..
 
1-10