Published in: LIPIcs, Volume 261, 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023)
Miguel Bosch-Calvo, Fabrizio Grandoni, and Afrouz Jabal Ameli. A 4/3 Approximation for 2-Vertex-Connectivity. In 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 261, pp. 29:1-29:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{boschcalvo_et_al:LIPIcs.ICALP.2023.29, author = {Bosch-Calvo, Miguel and Grandoni, Fabrizio and Jabal Ameli, Afrouz}, title = {{A 4/3 Approximation for 2-Vertex-Connectivity}}, booktitle = {50th International Colloquium on Automata, Languages, and Programming (ICALP 2023)}, pages = {29:1--29:13}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-278-5}, ISSN = {1868-8969}, year = {2023}, volume = {261}, editor = {Etessami, Kousha and Feige, Uriel and Puppis, Gabriele}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2023.29}, URN = {urn:nbn:de:0030-drops-180813}, doi = {10.4230/LIPIcs.ICALP.2023.29}, annote = {Keywords: Algorithm, Network Design, Vertex-Connectivity, Approximation} }
Published in: OASIcs, Volume 107, 14th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 12th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (PARMA-DITAM 2023)
João Bispo, Nuno Paulino, and Luís Miguel Sousa. Challenges and Opportunities in C/C++ Source-To-Source Compilation (Invited Paper). In 14th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 12th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (PARMA-DITAM 2023). Open Access Series in Informatics (OASIcs), Volume 107, pp. 2:1-2:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{bispo_et_al:OASIcs.PARMA-DITAM.2023.2, author = {Bispo, Jo\~{a}o and Paulino, Nuno and Sousa, Lu{\'\i}s Miguel}, title = {{Challenges and Opportunities in C/C++ Source-To-Source Compilation}}, booktitle = {14th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 12th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (PARMA-DITAM 2023)}, pages = {2:1--2:15}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-269-3}, ISSN = {2190-6807}, year = {2023}, volume = {107}, editor = {Bispo, Jo\~{a}o and Charles, Henri-Pierre and Cherubin, Stefano and Massari, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.PARMA-DITAM.2023.2}, URN = {urn:nbn:de:0030-drops-177225}, doi = {10.4230/OASIcs.PARMA-DITAM.2023.2}, annote = {Keywords: Source-to-source, compilation, transpilers, C/C++, code transformation} }
Published in: OASIcs, Volume 38, 3rd Symposium on Languages, Applications and Technologies (2014)
Miguel Oliveira e Silva and Pedro G. Francisco. Contract-Java: Design by Contract in Java with Safe Error Handling. In 3rd Symposium on Languages, Applications and Technologies. Open Access Series in Informatics (OASIcs), Volume 38, pp. 111-126, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@InProceedings{oliveiraesilva_et_al:OASIcs.SLATE.2014.111, author = {Oliveira e Silva, Miguel and Francisco, Pedro G.}, title = {{Contract-Java: Design by Contract in Java with Safe Error Handling}}, booktitle = {3rd Symposium on Languages, Applications and Technologies}, pages = {111--126}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-68-2}, ISSN = {2190-6807}, year = {2014}, volume = {38}, editor = {Pereira, Maria Jo\~{a}o Varanda and Leal, Jos\'{e} Paulo and Sim\~{o}es, Alberto}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2014.111}, URN = {urn:nbn:de:0030-drops-45641}, doi = {10.4230/OASIcs.SLATE.2014.111}, annote = {Keywords: design by contract, defensive programming, exceptions, Java, contract-Java} }
Published in: LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012)
Elvira Albert, Puri Arenas, and Miguel Gómez-Zamalloa. Towards Testing Concurrent Objects in CLP. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 98-108, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{albert_et_al:LIPIcs.ICLP.2012.98, author = {Albert, Elvira and Arenas, Puri and G\'{o}mez-Zamalloa, Miguel}, title = {{Towards Testing Concurrent Objects in CLP}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {98--108}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.98}, URN = {urn:nbn:de:0030-drops-36134}, doi = {10.4230/LIPIcs.ICLP.2012.98}, annote = {Keywords: Testing, Glass-box Test Data Generation, Active Objects, Symbolic Execution} }
Published in: Dagstuhl Seminar Proceedings, Volume 5271, Semantic Grid: The Convergence of Technologies (2005)
Miguel Esteban Gutiérrez and Asuncion Gomez-Perez. Ontology Access Provisioning in Grid Environments. In Semantic Grid: The Convergence of Technologies. Dagstuhl Seminar Proceedings, Volume 5271, p. 1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{gutierrez_et_al:DagSemProc.05271.9, author = {Guti\'{e}rrez, Miguel Esteban and Gomez-Perez, Asuncion}, title = {{Ontology Access Provisioning in Grid Environments}}, booktitle = {Semantic Grid: The Convergence of Technologies}, pages = {1--1}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {5271}, editor = {Carole Goble and Carl Kesselman and York Sure}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05271.9}, URN = {urn:nbn:de:0030-drops-3832}, doi = {10.4230/DagSemProc.05271.9}, annote = {Keywords: Ontology Access, WS-DAIO} }
Feedback for Dagstuhl Publishing