@Proceedings{rodrigues_et_al:OASIcs.SLATE.2024, title = {{OASIcs, Volume 120, SLATE 2024, Complete Volume}}, booktitle = {13th Symposium on Languages, Applications and Technologies (SLATE 2024)}, pages = {1--186}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-321-8}, ISSN = {2190-6807}, year = {2024}, volume = {120}, editor = {Rodrigues, M\'{a}rio and Leal, Jos\'{e} Paulo and Portela, Filipe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2024}, URN = {urn:nbn:de:0030-drops-220911}, doi = {10.4230/OASIcs.SLATE.2024}, annote = {Keywords: OASIcs, Volume 120, SLATE 2024, Complete Volume} } @InProceedings{rodrigues_et_al:OASIcs.SLATE.2024.0, author = {Rodrigues, M\'{a}rio and Leal, Jos\'{e} Paulo and Portela, Filipe}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {13th Symposium on Languages, Applications and Technologies (SLATE 2024)}, pages = {0:i--0:xii}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-321-8}, ISSN = {2190-6807}, year = {2024}, volume = {120}, editor = {Rodrigues, M\'{a}rio and Leal, Jos\'{e} Paulo and Portela, Filipe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2024.0}, URN = {urn:nbn:de:0030-drops-220906}, doi = {10.4230/OASIcs.SLATE.2024.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} } @InProceedings{silva_et_al:OASIcs.SLATE.2024.1, author = {Silva, Gabriel and Rodrigues, M\'{a}rio and Teixeira, Ant\'{o}nio and Amorim, Marlene}, title = {{Using Embeddings to Improve Named Entity Recognition Classification with Graphs}}, booktitle = {13th Symposium on Languages, Applications and Technologies (SLATE 2024)}, pages = {1:1--1:11}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-321-8}, ISSN = {2190-6807}, year = {2024}, volume = {120}, editor = {Rodrigues, M\'{a}rio and Leal, Jos\'{e} Paulo and Portela, Filipe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2024.1}, URN = {urn:nbn:de:0030-drops-220722}, doi = {10.4230/OASIcs.SLATE.2024.1}, annote = {Keywords: Knowledge graphs, Enriched data, Natural language processing, Named Entity Recognition} } @InProceedings{dias_et_al:OASIcs.SLATE.2024.2, author = {Dias, Margarida Rebelo and Ribeiro, Ricardo and Pinto, H. Sofia}, title = {{Contributions to Legal Document Summarization: Judgments from the Portuguese Supreme Court of Justice}}, booktitle = {13th Symposium on Languages, Applications and Technologies (SLATE 2024)}, pages = {2:1--2:14}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-321-8}, ISSN = {2190-6807}, year = {2024}, volume = {120}, editor = {Rodrigues, M\'{a}rio and Leal, Jos\'{e} Paulo and Portela, Filipe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2024.2}, URN = {urn:nbn:de:0030-drops-220730}, doi = {10.4230/OASIcs.SLATE.2024.2}, annote = {Keywords: automatic text summarization, legal document summarization, abstractive summarization, transformers, European Portuguese} } @InProceedings{marques_et_al:OASIcs.SLATE.2024.3, author = {Marques, Ezra Gomes and Ara\'{u}jo, Cristiana and Henriques, Pedro Rangel}, title = {{Ontology Visualization Tools: A Bibliographic Review and a Proposal}}, booktitle = {13th Symposium on Languages, Applications and Technologies (SLATE 2024)}, pages = {3:1--3:14}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-321-8}, ISSN = {2190-6807}, year = {2024}, volume = {120}, editor = {Rodrigues, M\'{a}rio and Leal, Jos\'{e} Paulo and Portela, Filipe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2024.3}, URN = {urn:nbn:de:0030-drops-220749}, doi = {10.4230/OASIcs.SLATE.2024.3}, annote = {Keywords: Ontology, Information Visualization, Ontology Visualization, Ontology Navigation, OntoDL+} } @InProceedings{dossantos_et_al:OASIcs.SLATE.2024.4, author = {dos Santos, Andr\'{e} Fernandes and Leal, Jos\'{e} Paulo}, title = {{Early Findings in Using LLMs to Assess Semantic Relations Strength}}, booktitle = {13th Symposium on Languages, Applications and Technologies (SLATE 2024)}, pages = {4:1--4:9}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-321-8}, ISSN = {2190-6807}, year = {2024}, volume = {120}, editor = {Rodrigues, M\'{a}rio and Leal, Jos\'{e} Paulo and Portela, Filipe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2024.4}, URN = {urn:nbn:de:0030-drops-220758}, doi = {10.4230/OASIcs.SLATE.2024.4}, annote = {Keywords: large language models, semantic measures, semantic datasets} } @InProceedings{petro_et_al:OASIcs.SLATE.2024.5, author = {Petro, Tom\'{a}\v{s} and Porub\"{a}n, Jaroslav}, title = {{Experimental Comparison of the Effectiveness and Error Rates of Projectional and Text Editors}}, booktitle = {13th Symposium on Languages, Applications and Technologies (SLATE 2024)}, pages = {5:1--5:9}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-321-8}, ISSN = {2190-6807}, year = {2024}, volume = {120}, editor = {Rodrigues, M\'{a}rio and Leal, Jos\'{e} Paulo and Portela, Filipe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2024.5}, URN = {urn:nbn:de:0030-drops-220762}, doi = {10.4230/OASIcs.SLATE.2024.5}, annote = {Keywords: Text editor, Projectional editor, Effectiveness, Experiment} } @InProceedings{farina_et_al:OASIcs.SLATE.2024.6, author = {Farina, Daniel Augusto Rodrigues and Campiolo, Rodrigo and Rufino, Jos\'{e} and Pereira, Maria Jo\~{a}o Varanda}, title = {{Automatic and Dynamic Visualization of Process-Based Concurrent Programs}}, booktitle = {13th Symposium on Languages, Applications and Technologies (SLATE 2024)}, pages = {6:1--6:12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-321-8}, ISSN = {2190-6807}, year = {2024}, volume = {120}, editor = {Rodrigues, M\'{a}rio and Leal, Jos\'{e} Paulo and Portela, Filipe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2024.6}, URN = {urn:nbn:de:0030-drops-220777}, doi = {10.4230/OASIcs.SLATE.2024.6}, annote = {Keywords: E-Learning Tool, System Programming, Concurrent Programming, Code Instrumentation, Inspector Functions, C, JSON, Konva JS, Canvas, Python, React JS, BPMN} } @InProceedings{faria_et_al:OASIcs.SLATE.2024.7, author = {Faria, Daniel and Baptista, Tiago Jo\~{a}o and Henriques, Pedro Rangel}, title = {{Upgrade of Lark Compiler Generator to Support Attribute Grammars}}, booktitle = {13th Symposium on Languages, Applications and Technologies (SLATE 2024)}, pages = {7:1--7:16}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-321-8}, ISSN = {2190-6807}, year = {2024}, volume = {120}, editor = {Rodrigues, M\'{a}rio and Leal, Jos\'{e} Paulo and Portela, Filipe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2024.7}, URN = {urn:nbn:de:0030-drops-220787}, doi = {10.4230/OASIcs.SLATE.2024.7}, annote = {Keywords: Formal Language Specification, Formal Language Processing, Attribute Grammars, Compiler Generation, Lark} } @InProceedings{araujo_et_al:OASIcs.SLATE.2024.8, author = {Ara\'{u}jo, Andr\'{e} Semanas de Oliveira and de Almeida, Jos\'{e} Jo\~{a}o Dias and Henriques, Pedro Rangel}, title = {{DrumLace - A Domain Specific Language (DSL) for Drum Programming}}, booktitle = {13th Symposium on Languages, Applications and Technologies (SLATE 2024)}, pages = {8:1--8:9}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-321-8}, ISSN = {2190-6807}, year = {2024}, volume = {120}, editor = {Rodrigues, M\'{a}rio and Leal, Jos\'{e} Paulo and Portela, Filipe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2024.8}, URN = {urn:nbn:de:0030-drops-220797}, doi = {10.4230/OASIcs.SLATE.2024.8}, annote = {Keywords: Domain Specific Languages (DSL), Visual Musical Languages, Drum Programming, Compilation} } @InProceedings{dasilva_et_al:OASIcs.SLATE.2024.9, author = {da Silva, Tiago Lu{\'\i}s Dias and Almeida, Jos\'{e} Jo\~{a}o}, title = {{ERPL: DSL for Escape Rooms}}, booktitle = {13th Symposium on Languages, Applications and Technologies (SLATE 2024)}, pages = {9:1--9:8}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-321-8}, ISSN = {2190-6807}, year = {2024}, volume = {120}, editor = {Rodrigues, M\'{a}rio and Leal, Jos\'{e} Paulo and Portela, Filipe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2024.9}, URN = {urn:nbn:de:0030-drops-220800}, doi = {10.4230/OASIcs.SLATE.2024.9}, annote = {Keywords: Escape rooms, Domain-Specific Language, Game development} } @InProceedings{jeronimo_et_al:OASIcs.SLATE.2024.10, author = {Jer\'{o}nimo, Nuno and Portela, Filipe and Santos, Henrique}, title = {{Towards an Intelligent Algorithm for Profile Authentication and Identification}}, booktitle = {13th Symposium on Languages, Applications and Technologies (SLATE 2024)}, pages = {10:1--10:14}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-321-8}, ISSN = {2190-6807}, year = {2024}, volume = {120}, editor = {Rodrigues, M\'{a}rio and Leal, Jos\'{e} Paulo and Portela, Filipe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2024.10}, URN = {urn:nbn:de:0030-drops-220817}, doi = {10.4230/OASIcs.SLATE.2024.10}, annote = {Keywords: Facial recognition, Biometric analysis, Dynamic content loading, User authentication} } @InProceedings{velosoferreiramoreira_et_al:OASIcs.SLATE.2024.11, author = {Veloso Ferreira Moreira, Ezequiel Jos\'{e} and Campos, Jos\'{e} Creissac}, title = {{A Language for Explaining Counterexamples}}, booktitle = {13th Symposium on Languages, Applications and Technologies (SLATE 2024)}, pages = {11:1--11:14}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-321-8}, ISSN = {2190-6807}, year = {2024}, volume = {120}, editor = {Rodrigues, M\'{a}rio and Leal, Jos\'{e} Paulo and Portela, Filipe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2024.11}, URN = {urn:nbn:de:0030-drops-220826}, doi = {10.4230/OASIcs.SLATE.2024.11}, annote = {Keywords: Model Checking, NuSMV, counterexample, natural language explanation} } @InProceedings{demoura_et_al:OASIcs.SLATE.2024.12, author = {de Moura, Alysson C. E. and Filho, Geraldo P. Rocha and Caetano, Marcos F. and Gondim, Jo\~{a}o J. C. and Araujo, Aleteia and Marotta, Marcelo A. and Bondan, Lucas}, title = {{Anomaly Detection in Logs: A Comparative Analysis of Unsupervised Algorithms}}, booktitle = {13th Symposium on Languages, Applications and Technologies (SLATE 2024)}, pages = {12:1--12:14}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-321-8}, ISSN = {2190-6807}, year = {2024}, volume = {120}, editor = {Rodrigues, M\'{a}rio and Leal, Jos\'{e} Paulo and Portela, Filipe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2024.12}, URN = {urn:nbn:de:0030-drops-220831}, doi = {10.4230/OASIcs.SLATE.2024.12}, annote = {Keywords: Anomaly Detection, Log Analysis, Natural Language Processing, Unsupervised Learning, Word Embeddings} } @InProceedings{dasilva_et_al:OASIcs.SLATE.2024.13, author = {da Silva, Dimitri Alexandre and Costa, Jos\'{e} Lu{\'\i}s and Almeida, Jo\~{a}o Rafael}, title = {{Infrastructural Challenges and Good Practices in a Security Operation Center}}, booktitle = {13th Symposium on Languages, Applications and Technologies (SLATE 2024)}, pages = {13:1--13:12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-321-8}, ISSN = {2190-6807}, year = {2024}, volume = {120}, editor = {Rodrigues, M\'{a}rio and Leal, Jos\'{e} Paulo and Portela, Filipe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2024.13}, URN = {urn:nbn:de:0030-drops-220848}, doi = {10.4230/OASIcs.SLATE.2024.13}, annote = {Keywords: Eduroam, Wi-Fi, Credential stealing, Attack, Network, Security} } @InProceedings{batista_et_al:OASIcs.SLATE.2024.14, author = {Batista, Lu{\'\i}s Miguel and Gomes, H\'{e}lder and Almeida, Jo\~{a}o Rafael}, title = {{A Study of Security Issues of Eduroam Networks in Portugal}}, booktitle = {13th Symposium on Languages, Applications and Technologies (SLATE 2024)}, pages = {14:1--14:14}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-321-8}, ISSN = {2190-6807}, year = {2024}, volume = {120}, editor = {Rodrigues, M\'{a}rio and Leal, Jos\'{e} Paulo and Portela, Filipe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2024.14}, URN = {urn:nbn:de:0030-drops-220855}, doi = {10.4230/OASIcs.SLATE.2024.14}, annote = {Keywords: Eduroam, Wi-Fi, Credential stealing, Attack, Network, Security} }