Published in: LIPIcs, Volume 252, 31st EACSL Annual Conference on Computer Science Logic (CSL 2023)
Claudia Faggian. Asymptotic Rewriting (Invited Talk). In 31st EACSL Annual Conference on Computer Science Logic (CSL 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 252, pp. 1:1-1:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{faggian:LIPIcs.CSL.2023.1, author = {Faggian, Claudia}, title = {{Asymptotic Rewriting}}, booktitle = {31st EACSL Annual Conference on Computer Science Logic (CSL 2023)}, pages = {1:1--1:2}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-264-8}, ISSN = {1868-8969}, year = {2023}, volume = {252}, editor = {Klin, Bartek and Pimentel, Elaine}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2023.1}, URN = {urn:nbn:de:0030-drops-174621}, doi = {10.4230/LIPIcs.CSL.2023.1}, annote = {Keywords: rewriting, probabilistic rewriting, confluence, strategies, asymptotic normalization, lambda calculus} }
Published in: LIPIcs, Volume 167, 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020)
Simona Ronchi Della Rocca, Ugo Dal Lago, and Claudia Faggian. Solvability in a Probabilistic Setting (Invited Talk). In 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 167, pp. 1:1-1:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{ronchidellarocca_et_al:LIPIcs.FSCD.2020.1, author = {Ronchi Della Rocca, Simona and Dal Lago, Ugo and Faggian, Claudia}, title = {{Solvability in a Probabilistic Setting}}, booktitle = {5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020)}, pages = {1:1--1:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-155-9}, ISSN = {1868-8969}, year = {2020}, volume = {167}, editor = {Ariola, Zena M.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.1}, URN = {urn:nbn:de:0030-drops-123237}, doi = {10.4230/LIPIcs.FSCD.2020.1}, annote = {Keywords: Probabilistic Computation, Lambda Calculus, Solvability, Intersection Types} }
Published in: LIPIcs, Volume 164, 36th International Symposium on Computational Geometry (SoCG 2020)
Ulrich Bauer, Claudia Landi, and Facundo Mémoli. The Reeb Graph Edit Distance Is Universal. In 36th International Symposium on Computational Geometry (SoCG 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 164, pp. 15:1-15:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{bauer_et_al:LIPIcs.SoCG.2020.15, author = {Bauer, Ulrich and Landi, Claudia and M\'{e}moli, Facundo}, title = {{The Reeb Graph Edit Distance Is Universal}}, booktitle = {36th International Symposium on Computational Geometry (SoCG 2020)}, pages = {15:1--15:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-143-6}, ISSN = {1868-8969}, year = {2020}, volume = {164}, editor = {Cabello, Sergio and Chen, Danny Z.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SoCG.2020.15}, URN = {urn:nbn:de:0030-drops-121730}, doi = {10.4230/LIPIcs.SoCG.2020.15}, annote = {Keywords: Reeb graphs, topological descriptors, edit distance, interleaving distance} }
Published in: OASIcs, Volume 49, 2015 Imperial College Computing Student Workshop (ICCSW 2015)
Carlos A. S. J. Gulo, Thiago R. P. M. Rúbio, Shazia Tabassum, and Simone G. D. Prado. Mining Scientific Articles Powered by Machine Learning Techniques. In 2015 Imperial College Computing Student Workshop (ICCSW 2015). Open Access Series in Informatics (OASIcs), Volume 49, pp. 21-28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{gulo_et_al:OASIcs.ICCSW.2015.21, author = {Gulo, Carlos A. S. J. and R\'{u}bio, Thiago R. P. M. and Tabassum, Shazia and Prado, Simone G. D.}, title = {{Mining Scientific Articles Powered by Machine Learning Techniques}}, booktitle = {2015 Imperial College Computing Student Workshop (ICCSW 2015)}, pages = {21--28}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-000-2}, ISSN = {2190-6807}, year = {2015}, volume = {49}, editor = {Schulz, Claudia and Liew, Daniel}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2015.21}, URN = {urn:nbn:de:0030-drops-54776}, doi = {10.4230/OASIcs.ICCSW.2015.21}, annote = {Keywords: Machine Learning, Text Categorisation, Text Classification, Ranking, Systematic Literature Review} }
Published in: OASIcs, Volume 49, 2015 Imperial College Computing Student Workshop (ICCSW 2015)
Agnieszka M. Zbrzezny and Andrzej Zbrzezny. Checking WECTLK Properties of TRWISs via SMT-based Bounded Model Checking. In 2015 Imperial College Computing Student Workshop (ICCSW 2015). Open Access Series in Informatics (OASIcs), Volume 49, pp. 78-86, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{zbrzezny_et_al:OASIcs.ICCSW.2015.78, author = {Zbrzezny, Agnieszka M. and Zbrzezny, Andrzej}, title = {{Checking WECTLK Properties of TRWISs via SMT-based Bounded Model Checking}}, booktitle = {2015 Imperial College Computing Student Workshop (ICCSW 2015)}, pages = {78--86}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-000-2}, ISSN = {2190-6807}, year = {2015}, volume = {49}, editor = {Schulz, Claudia and Liew, Daniel}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2015.78}, URN = {urn:nbn:de:0030-drops-54848}, doi = {10.4230/OASIcs.ICCSW.2015.78}, annote = {Keywords: SMT, Timed Real-Weighted Interpreted Systems, Bounded Model Checking} }
Published in: Dagstuhl Seminar Proceedings, Volume 10281, Dynamically Reconfigurable Architectures (2010)
Rene Cumplido, Juan Manuel Campos, Claudia Feregrino-Uribe, and Jose Roberto Perez-Andrade. Towards a reconfigurable hardware architecture for implementing a LDPC module suitable for software radio systems. In Dynamically Reconfigurable Architectures. Dagstuhl Seminar Proceedings, Volume 10281, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{cumplido_et_al:DagSemProc.10281.13, author = {Cumplido, Rene and Campos, Juan Manuel and Feregrino-Uribe, Claudia and Perez-Andrade, Jose Roberto}, title = {{Towards a reconfigurable hardware architecture for implementing a LDPC module suitable for software radio systems}}, booktitle = {Dynamically Reconfigurable Architectures}, pages = {1--8}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {10281}, editor = {Peter M. Athanas and J\"{u}rgen Becker and J\"{u}rgen Teich and Ingrid Verbauwhede}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.10281.13}, URN = {urn:nbn:de:0030-drops-28950}, doi = {10.4230/DagSemProc.10281.13}, annote = {Keywords: LDPC codes, Software Defined Radio, Hardware Implementation} }
Published in: Dagstuhl Seminar Proceedings, Volume 9211, Visualization and Monitoring of Network Traffic (2009)
Brian Worden, Claudia Baltes, Inga Scheler, Paul Müller, and Hans Hagen. Accounting system for heterogeneous IP-networks (IPNA) implemented at Kaiserslautern University. In Visualization and Monitoring of Network Traffic. Dagstuhl Seminar Proceedings, Volume 9211, pp. 1-7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{worden_et_al:DagSemProc.09211.3, author = {Worden, Brian and Baltes, Claudia and Scheler, Inga and M\"{u}ller, Paul and Hagen, Hans}, title = {{Accounting system for heterogeneous IP-networks (IPNA) implemented at Kaiserslautern University}}, booktitle = {Visualization and Monitoring of Network Traffic}, pages = {1--7}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9211}, editor = {Daniel A. Keim and Aiko Pras and J\"{u}rgen Sch\"{o}nw\"{a}lder and Pak Chung Wong}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09211.3}, URN = {urn:nbn:de:0030-drops-21557}, doi = {10.4230/DagSemProc.09211.3}, annote = {Keywords: Accounting system, IP-network, Communication, informa- tion visualization, online quality control} }
Published in: Dagstuhl Seminar Proceedings, Volume 8391, Social Web Communities (2008)
Vladimir Batagelj, Bettina Hoser, Claudia Müller, Steffen Staab, and Gerd Stumme. 08391 Group Summary – The Evolution and Dynamics of Research Networks. In Social Web Communities. Dagstuhl Seminar Proceedings, Volume 8391, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{batagelj_et_al:DagSemProc.08391.5, author = {Batagelj, Vladimir and Hoser, Bettina and M\"{u}ller, Claudia and Staab, Steffen and Stumme, Gerd}, title = {{08391 Group Summary – The Evolution and Dynamics of Research Networks}}, booktitle = {Social Web Communities}, pages = {1--8}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8391}, editor = {Harith Alani and Steffen Staab and Gerd Stumme}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08391.5}, URN = {urn:nbn:de:0030-drops-17906}, doi = {10.4230/DagSemProc.08391.5}, annote = {Keywords: Homophily networks, social networks, evolution, scientific community} }
Feedback for Dagstuhl Publishing