60 Search Results for "Simoes, Alberto"

Volume

OASIcs, Volume 133

6th International Computer Programming Education Conference (ICPEC 2025)

ICPEC 2025, July 10-11, 2025, PORTIC, Polytechnic of Porto, Portugal

Editors: Ricardo Queirós, Mário Pinto, Filipe Portela, and Alberto Simões

Volume

OASIcs, Volume 113

12th Symposium on Languages, Applications and Technologies (SLATE 2023)

SLATE 2023, June 26-28, 2023, Vila do Conde, Portugal

Editors: Alberto Simões, Mario Marcelo Berón, and Filipe Portela

Volume

OASIcs, Volume 102

Third International Computer Programming Education Conference (ICPEC 2022)

ICPEC 2022, June 2-3, 2022, Polytechnic Institute of Cávado and Ave (IPCA), Barcelos, Portugal

Editors: Alberto Simões and João Carlos Silva

Volume

OASIcs, Volume 94

10th Symposium on Languages, Applications and Technologies (SLATE 2021)

SLATE 2021, July 1-2, 2021, Vila do Conde/Póvoa de Varzim, Portugal

Editors: Ricardo Queirós, Mário Pinto, Alberto Simões, Filipe Portela, and Maria João Pereira

Volume

OASIcs, Volume 91

Second International Computer Programming Education Conference (ICPEC 2021)

ICPEC 2021, May 27-28, 2021, University of Minho, Braga, Portugal

Editors: Pedro Rangel Henriques, Filipe Portela, Ricardo Queirós, and Alberto Simões

Volume

OASIcs, Volume 83

9th Symposium on Languages, Applications and Technologies (SLATE 2020)

SLATE 2020, July 13-14, 2020, School of Technology, Polytechnic Institute of Cávado and Ave, Portugal (Virtual Conference)

Editors: Alberto Simões, Pedro Rangel Henriques, and Ricardo Queirós

Volume

OASIcs, Volume 81

First International Computer Programming Education Conference (ICPEC 2020)

ICPEC 2020, June 25-26, 2020, ESMAD, Vila do Conde, Portugal (Virtual Conference)

Editors: Ricardo Queirós, Filipe Portela, Mário Pinto, and Alberto Simões

Volume

OASIcs, Volume 56

6th Symposium on Languages, Applications and Technologies (SLATE 2017)

SLATE 2017, June 26-27, 2017, Vila do Conde, Portugal

Editors: Ricardo Queirós, Mário Pinto, Alberto Simões, José Paulo Leal, and Maria João Varanda

Volume

OASIcs, Volume 38

3rd Symposium on Languages, Applications and Technologies

SLATE 2014, June 19-20, 2014, Bragança, Portugal

Editors: Maria João Varanda Pereira, José Paulo Leal, and Alberto Simões

Volume

OASIcs, Volume 29

2nd Symposium on Languages, Applications and Technologies

SLATE 2013, June 20-21, 2013, Porto, Portugal

Editors: José Paulo Leal, Ricardo Rocha, and Alberto Simões

Volume

OASIcs, Volume 21

1st Symposium on Languages, Applications and Technologies

SLATE 2012, June 21-22, 2012, Braga, Portugal

Editors: Alberto Simões, Ricardo Queirós, and Daniela da Cruz

Document
DOI: 10.4230/LIPIcs.ESA.2025.69
Bandwidth vs BFS Width in Matrix Reordering, Graph Reconstruction, and Graph Drawing

Authors: David Eppstein, Michael T. Goodrich, and Songyu (Alfred) Liu

Published in: LIPIcs, Volume 351, 33rd Annual European Symposium on Algorithms (ESA 2025)

Abstract
We provide the first approximation quality guarantees for the Cuthull-McKee heuristic for reordering symmetric matrices to have low bandwidth, and we provide an algorithm for reconstructing bounded-bandwidth graphs from distance oracles with near-linear query complexity. To prove these results we introduce a new width parameter, BFS width, and we prove polylogarithmic upper and lower bounds on the BFS width of graphs of bounded bandwidth. Unlike other width parameters, such as bandwidth, pathwidth, and treewidth, BFS width can easily be computed in polynomial time. Bounded BFS width implies bounded bandwidth, pathwidth, and treewidth, which in turn imply fixed-parameter tractable algorithms for many problems that are NP-hard for general graphs. In addition to their applications to matrix ordering, we also provide applications of BFS width to graph reconstruction, to reconstruct graphs from distance queries, and graph drawing, to construct arc diagrams of small height.
Cite as

David Eppstein, Michael T. Goodrich, and Songyu (Alfred) Liu. Bandwidth vs BFS Width in Matrix Reordering, Graph Reconstruction, and Graph Drawing. In 33rd Annual European Symposium on Algorithms (ESA 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 351, pp. 69:1-69:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

Copy BibTex To Clipboard

@InProceedings{eppstein_et_al:LIPIcs.ESA.2025.69,
  author =	{Eppstein, David and Goodrich, Michael T. and Liu, Songyu (Alfred)},
  title =	{{Bandwidth vs BFS Width in Matrix Reordering, Graph Reconstruction, and Graph Drawing}},
  booktitle =	{33rd Annual European Symposium on Algorithms (ESA 2025)},
  pages =	{69:1--69:17},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-395-9},
  ISSN =	{1868-8969},
  year =	{2025},
  volume =	{351},
  editor =	{Benoit, Anne and Kaplan, Haim and Wild, Sebastian and Herman, Grzegorz},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ESA.2025.69},
  URN =		{urn:nbn:de:0030-drops-245373},
  doi =		{10.4230/LIPIcs.ESA.2025.69},
  annote =	{Keywords: Graph algorithms, graph theory, graph width, bandwidth, treewidth}
}
Document
Complete Volume
DOI: 10.4230/OASIcs.ICPEC.2025
OASIcs, Volume 133, ICPEC 2025, Complete Volume

Authors: Ricardo Queirós, Mário Pinto, Filipe Portela, and Alberto Simões

Published in: OASIcs, Volume 133, 6th International Computer Programming Education Conference (ICPEC 2025)

Abstract
OASIcs, Volume 133, ICPEC 2025, Complete Volume
Cite as

6th International Computer Programming Education Conference (ICPEC 2025). Open Access Series in Informatics (OASIcs), Volume 133, pp. 1-226, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

Copy BibTex To Clipboard

@Proceedings{queiros_et_al:OASIcs.ICPEC.2025,
  title =	{{OASIcs, Volume 133, ICPEC 2025, Complete Volume}},
  booktitle =	{6th International Computer Programming Education Conference (ICPEC 2025)},
  pages =	{1--226},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-393-5},
  ISSN =	{2190-6807},
  year =	{2025},
  volume =	{133},
  editor =	{Queir\'{o}s, Ricardo and Pinto, M\'{a}rio and Portela, Filipe and Sim\~{o}es, Alberto},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2025},
  URN =		{urn:nbn:de:0030-drops-245929},
  doi =		{10.4230/OASIcs.ICPEC.2025},
  annote =	{Keywords: OASIcs, Volume 133, ICPEC 2025, Complete Volume}
}
Document
Front Matter
DOI: 10.4230/OASIcs.ICPEC.2025.0
Front Matter, Table of Contents, Preface, Conference Organization

Authors: Ricardo Queirós, Mário Pinto, Filipe Portela, and Alberto Simões

Published in: OASIcs, Volume 133, 6th International Computer Programming Education Conference (ICPEC 2025)

Abstract
Front Matter, Table of Contents, Preface, Conference Organization
Cite as

6th International Computer Programming Education Conference (ICPEC 2025). Open Access Series in Informatics (OASIcs), Volume 133, pp. 0:i-0:xii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

Copy BibTex To Clipboard

@InProceedings{queiros_et_al:OASIcs.ICPEC.2025.0,
  author =	{Queir\'{o}s, Ricardo and Pinto, M\'{a}rio and Portela, Filipe and Sim\~{o}es, Alberto},
  title =	{{Front Matter, Table of Contents, Preface, Conference Organization}},
  booktitle =	{6th International Computer Programming Education Conference (ICPEC 2025)},
  pages =	{0:i--0:xii},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-393-5},
  ISSN =	{2190-6807},
  year =	{2025},
  volume =	{133},
  editor =	{Queir\'{o}s, Ricardo and Pinto, M\'{a}rio and Portela, Filipe and Sim\~{o}es, Alberto},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2025.0},
  URN =		{urn:nbn:de:0030-drops-245910},
  doi =		{10.4230/OASIcs.ICPEC.2025.0},
  annote =	{Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
Document
DOI: 10.4230/OASIcs.ICPEC.2025.1
Exploring Mutation Testing for Teaching Introductory Programming

Authors: Pedro Vasconcelos

Published in: OASIcs, Volume 133, 6th International Computer Programming Education Conference (ICPEC 2025)

Abstract
This paper proposes the use of introductory programming assignments based on mutation testing where students are asked to write tests rather than code. We believe such exercises can be used to teach code reading skills before students could write the corresponding programs on their own. Furthermore, feedback for such exercises can be automatically generated using testing tools. We have extended an existing web-based system for programming exercises with such mutation testing assignments and show some example use cases. This is on-going work that has yet to be validated in the classroom.
Cite as

Pedro Vasconcelos. Exploring Mutation Testing for Teaching Introductory Programming. In 6th International Computer Programming Education Conference (ICPEC 2025). Open Access Series in Informatics (OASIcs), Volume 133, pp. 1:1-1:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

Copy BibTex To Clipboard

@InProceedings{vasconcelos:OASIcs.ICPEC.2025.1,
  author =	{Vasconcelos, Pedro},
  title =	{{Exploring Mutation Testing for Teaching Introductory Programming}},
  booktitle =	{6th International Computer Programming Education Conference (ICPEC 2025)},
  pages =	{1:1--1:8},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-393-5},
  ISSN =	{2190-6807},
  year =	{2025},
  volume =	{133},
  editor =	{Queir\'{o}s, Ricardo and Pinto, M\'{a}rio and Portela, Filipe and Sim\~{o}es, Alberto},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2025.1},
  URN =		{urn:nbn:de:0030-drops-240319},
  doi =		{10.4230/OASIcs.ICPEC.2025.1},
  annote =	{Keywords: mutation testing, programming education}
}
  • Refine by Type
  • 49 Document/PDF
  • 11 Volume
  • 6 Document/HTML

  • Refine by Publication Year
  • 9 2025
  • 5 2023
  • 5 2022
  • 10 2021
  • 9 2020
  • Show More...

  • Refine by Author
  • 43 Simões, Alberto
  • 19 Queirós, Ricardo
  • 11 Portela, Filipe
  • 8 Pinto, Mário
  • 7 Henriques, Pedro Rangel
  • Show More...

  • Refine by Series/Journal
  • 1 LIPIcs
  • 48 OASIcs

  • Refine by Classification
  • 9 Applied computing → Education
  • 9 Computing methodologies → Natural language processing
  • 4 Computing methodologies → Language resources
  • 4 Information systems → World Wide Web
  • 4 Theory of computation → Formal languages and automata theory
  • Show More...

  • Refine by Keyword
  • 10 Preface
  • 10 Table of Contents
  • 9 Conference Organization
  • 8 Front Matter
  • 2 Frontmatter
  • Show More...

Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact