Benutzerbeiträge von „Luisa Herrmann“

Aus International Center for Computational Logic
Ein Benutzer mit 87 Bearbeitungen. Das Konto wurde am 4. April 2022 erstellt.
Wechseln zu:Navigation, Suche
Suche nach BenutzerbeiträgenAusklappenEinklappen
⧼contribs-top⧽
⧼contribs-date⧽
(neueste | älteste) Zeige (jüngere 50 | ) (20 | 50 | 100 | 250 | 500)

15. April 2026

  • 09:4109:41, 15. Apr. 2026 Unterschied Versionen +350 N Article3122 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Luisa |ErsterAutorNachname=Herrmann |FurtherAuthors=Johannes Osterholzer }} {{Article |Referiert=1 |Title=Non-Global Parikh Tree Automata |To appear=1 |Year=2026 |Journal=Journal of Automata, Languages and Combinatorics }} {{Publikation Details |Projekt=ScaDS.AI |Forschungsgruppe=Computational Logic }}“ aktuell
  • 09:4009:40, 15. Apr. 2026 Unterschied Versionen +1.063 N Article3121 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Luisa |ErsterAutorNachname=Herrmann |FurtherAuthors=Richard Mörbitz }} {{Article |Referiert=1 |Title=Global one-counter tree automata |To appear=0 |Year=2026 |Journal=Theoretical Computer Science |Volume=1071 |Publisher=Elsevier }} {{Publikation Details |Abstract=We introduce global one-counter tree automata (GOCTA) which deviate from usual counter tree automata by working on only one counter which is passed…“ aktuell

18. Oktober 2024

14. Oktober 2024

4. September 2024

11. Juli 2024

9. Juli 2024

8. Juli 2024

2. Juli 2024

1. Juli 2024

  • 06:5006:50, 1. Jul. 2024 Unterschied Versionen +402 N Inproceedings3373 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Luisa |ErsterAutorNachname=Herrmann |FurtherAuthors=Johannes Osterholzer }} {{Inproceedings |Referiert=1 |Title=Non-Global Parikh Tree Automata |To appear=1 |Year=2024 |Booktitle=14th International Workshop on Non-Classical Models of Automata and Applications (NCMA 2024) }} {{Publikation Details |Projekt=ScaDS.AI |Forschungsgruppe=Computational Logic }}“
  • 06:4706:47, 1. Jul. 2024 Unterschied Versionen +39 Inproceedings3383 Keine Bearbeitungszusammenfassung

18. Juni 2024

12. Juni 2024

  • 13:0713:07, 12. Jun. 2024 Unterschied Versionen +31 N Inproceedings3383/en Page created automatically by parser function on page Inproceedings3383 aktuell Markierung: Neue Weiterleitung
  • 13:0713:07, 12. Jun. 2024 Unterschied Versionen +394 N Inproceedings3383 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Luisa |ErsterAutorNachname=Herrmann |FurtherAuthors=Richard Mörbitz }} {{Inproceedings |Referiert=1 |Title=Global One-Counter Tree Automata |To appear=1 |Year=2024 |Booktitle=28th International Conference on Implementation and Application of Automata (CIAA 2024) }} {{Publikation Details |Projekt=ScaDS.AI |Forschungsgruppe=Computational Logic }}“

29. Februar 2024

16. Januar 2024

2. September 2022

(neueste | älteste) Zeige (jüngere 50 | ) (20 | 50 | 100 | 250 | 500)