I agree that this site is using cookies. You can find further informations here.
X
Schirrmacher, Nicole
8  results:
Search for persons X
?
1

Model Checking Disjoint-Paths Logic on Topological-Minor-Fr..:

, In: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science,
Schirrmacher, Nicole ; Siebertz, Sebastian ; Stamoulis, Giannos.. - p. 1-12 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

First-Order Logic with Connectivity Operators:

Schirrmacher, Nicole ; Siebertz, Sebastian ; Vigny, Alexandre
ACM Transactions on Computational Logic.  , 2023
Link: https://doi.org/10.1145/..
 
?
3

Model Checking Disjoint-Paths Logic on Topological-Minor-Fr..:

Schirrmacher, Nicole ; Siebertz, Sebastian ; Stamoulis, Giannos..
http://arxiv.org/abs/2302.07033.  , 2023
Link: http://arxiv.org/abs/230..
 
?
4

Algorithms and Data Structures for First-Order Logic with C..:

Pilipczuk, Micha? ; Schirrmacher, Nicole ; Siebertz, Sebastian..
doi:10.4230/LIPIcs.ICALP.2022.102.  , 2022
Link: https://doi.org/10.4230/..
 
?
5

First-Order Logic with Connectivity Operators:

Schirrmacher, Nicole ; Siebertz, Sebastian ; Vigny, Alexandre
doi:10.4230/LIPIcs.CSL.2022.34.  , 2022
Link: https://doi.org/10.4230/..
 
?
6

First-Order Logic with Connectivity Operators:

Schirrmacher, Nicole ; Siebertz, Sebastian ; Vigny, Alexandre
http://arxiv.org/abs/2107.05928.  , 2021
Link: http://arxiv.org/abs/210..
 
?
7

Algorithms and data structures for first-order logic with c..:

Pilipczuk, Michał ; Schirrmacher, Nicole ; Siebertz, Sebastian..
http://arxiv.org/abs/2111.03725.  , 2021
Link: http://arxiv.org/abs/211..
 
?
8

Invasive Computing ; Invasives Rechnen:

Anantharajaiah, Nidhi ; Asfour, Tamim ; Bader, Michael...
https://opus4.kobv.de/opus4-fau/frontdoor/index/index/docId/20033.  , 2022
Link: https://opus4.kobv.de/op..
 
1-8