Lukas Panneke

A02 3-338 (» Adress and map)

Secretary

Marion Bramkamp

Ulhornsweg 84 - Room A2 2-228

+49 441 798-2426

Lukas Panneke

Publications

[article] bibtex | Go to document
N. Würdemann, T. Chatain, S. Haar, and L. Panneke, "Taking Complete Finite Prefixes To High Level, Symbolically" Fundam. Informaticae, vol. 192, iss. 3-4.
doi: 10.3233/FI-242196
@article{DBLP:journals/fuin/WurdemannCHP24, author = {Nick W{\"{u}}rdemann and Thomas Chatain and Stefan Haar and Lukas Panneke}, title = {Taking Complete Finite Prefixes To High Level, Symbolically}, journal = {Fundam. Informaticae}, volume = {192}, number = {3-4}, pages = {313--361}, year = {2024}, url = {https://doi.org/10.3233/FI-242196}, doi = {10.3233/FI-242196}, timestamp = {Wed, 02 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/WurdemannCHP24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
[article] bibtex | Go to document
N. Würdemann, T. Chatain, S. Haar, and L. Panneke, "Taking Complete Finite Prefixes To High Level, Symbolically" CoRR, vol. abs/2311.11443.
doi: 10.48550/ARXIV.2311.11443
@article{DBLP:journals/corr/abs-2311-11443, author = {Nick W{\"{u}}rdemann and Thomas Chatain and Stefan Haar and Lukas Panneke}, title = {Taking Complete Finite Prefixes To High Level, Symbolically}, journal = {CoRR}, volume = {abs/2311.11443}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2311.11443}, doi = {10.48550/ARXIV.2311.11443}, eprinttype = {arXiv}, eprint = {2311.11443}, timestamp = {Thu, 23 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2311-11443.bib}, bibsource = {dblp computer science bibliography, https://dblp.org}

(Changed: 08 Oct 2024) |

Sprache wechseln

Change Language

Hell-/Dunkelmodus

Light mode / Dark mode

Lukas Panneke

Lukas Panneke

Secretary

Lukas Panneke

Publications