Published in: OASIcs, Volume 112, 4th International Computer Programming Education Conference (ICPEC 2023)
Luis Carlos Martins, Lázaro Vinicius Lima, and Pedro Rangel Henriques. LCSMAR, an AR Based Tool to Inspect Imperative Programs. In 4th International Computer Programming Education Conference (ICPEC 2023). Open Access Series in Informatics (OASIcs), Volume 112, pp. 3:1-3:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{martins_et_al:OASIcs.ICPEC.2023.3, author = {Martins, Luis Carlos and Lima, L\'{a}zaro Vinicius and Henriques, Pedro Rangel}, title = {{LCSMAR, an AR Based Tool to Inspect Imperative Programs}}, booktitle = {4th International Computer Programming Education Conference (ICPEC 2023)}, pages = {3:1--3:9}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-290-7}, ISSN = {2190-6807}, year = {2023}, volume = {112}, editor = {Peixoto de Queir\'{o}s, Ricardo Alexandre and Teixeira Pinto, M\'{a}rio Paulo}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2023.3}, URN = {urn:nbn:de:0030-drops-184994}, doi = {10.4230/OASIcs.ICPEC.2023.3}, annote = {Keywords: Augmented Reality, Learning Resources, Computer Programming, Computational Thinking} }
Published in: OASIcs, Volume 102, Third International Computer Programming Education Conference (ICPEC 2022)
Francisco Alfredo, André L. Santos, and Nuno Garrido. Sprinter: A Didactic Linter for Structured Programming. In Third International Computer Programming Education Conference (ICPEC 2022). Open Access Series in Informatics (OASIcs), Volume 102, pp. 2:1-2:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{alfredo_et_al:OASIcs.ICPEC.2022.2, author = {Alfredo, Francisco and Santos, Andr\'{e} L. and Garrido, Nuno}, title = {{Sprinter: A Didactic Linter for Structured Programming}}, booktitle = {Third International Computer Programming Education Conference (ICPEC 2022)}, pages = {2:1--2:8}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-229-7}, ISSN = {2190-6807}, year = {2022}, volume = {102}, editor = {Sim\~{o}es, Alberto and Silva, Jo\~{a}o Carlos}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2022.2}, URN = {urn:nbn:de:0030-drops-166063}, doi = {10.4230/OASIcs.ICPEC.2022.2}, annote = {Keywords: structured programming, code quality, code linter} }
Published in: OASIcs, Volume 102, Third International Computer Programming Education Conference (ICPEC 2022)
Justyna Szydłowska, Filip Miernik, Marzena Sylwia Ignasiak, and Jakub Swacha. Python Programming Topics That Pose a Challenge for Students. In Third International Computer Programming Education Conference (ICPEC 2022). Open Access Series in Informatics (OASIcs), Volume 102, pp. 7:1-7:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{szydlowska_et_al:OASIcs.ICPEC.2022.7, author = {Szyd{\l}owska, Justyna and Miernik, Filip and Ignasiak, Marzena Sylwia and Swacha, Jakub}, title = {{Python Programming Topics That Pose a Challenge for Students}}, booktitle = {Third International Computer Programming Education Conference (ICPEC 2022)}, pages = {7:1--7:9}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-229-7}, ISSN = {2190-6807}, year = {2022}, volume = {102}, editor = {Sim\~{o}es, Alberto and Silva, Jo\~{a}o Carlos}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2022.7}, URN = {urn:nbn:de:0030-drops-166116}, doi = {10.4230/OASIcs.ICPEC.2022.7}, annote = {Keywords: learning programming, programming exercises, gamified learning environment, learning Python} }
Published in: LIPIcs, Volume 212, 32nd International Symposium on Algorithms and Computation (ISAAC 2021)
Bengt J. Nilsson, David Orden, Leonidas Palios, Carlos Seara, and Paweł Żyliński. Illuminating the x-Axis by α-Floodlights. In 32nd International Symposium on Algorithms and Computation (ISAAC 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 212, pp. 11:1-11:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{nilsson_et_al:LIPIcs.ISAAC.2021.11, author = {Nilsson, Bengt J. and Orden, David and Palios, Leonidas and Seara, Carlos and \.{Z}yli\'{n}ski, Pawe{\l}}, title = {{Illuminating the x-Axis by \alpha-Floodlights}}, booktitle = {32nd International Symposium on Algorithms and Computation (ISAAC 2021)}, pages = {11:1--11:12}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-214-3}, ISSN = {1868-8969}, year = {2021}, volume = {212}, editor = {Ahn, Hee-Kap and Sadakane, Kunihiko}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ISAAC.2021.11}, URN = {urn:nbn:de:0030-drops-154444}, doi = {10.4230/LIPIcs.ISAAC.2021.11}, annote = {Keywords: Computational Geometry, Visibility, Art Gallery Problems, Floodlights} }
Published in: LIPIcs, Volume 202, 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021)
Gabriel L. Duarte, Mateus de Oliveira Oliveira, and Uéverton S. Souza. Co-Degeneracy and Co-Treewidth: Using the Complement to Solve Dense Instances. In 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 202, pp. 42:1-42:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{duarte_et_al:LIPIcs.MFCS.2021.42, author = {Duarte, Gabriel L. and de Oliveira Oliveira, Mateus and Souza, U\'{e}verton S.}, title = {{Co-Degeneracy and Co-Treewidth: Using the Complement to Solve Dense Instances}}, booktitle = {46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021)}, pages = {42:1--42:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-201-3}, ISSN = {1868-8969}, year = {2021}, volume = {202}, editor = {Bonchi, Filippo and Puglisi, Simon J.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2021.42}, URN = {urn:nbn:de:0030-drops-144828}, doi = {10.4230/LIPIcs.MFCS.2021.42}, annote = {Keywords: FPT, treewidth, degeneracy, complement graph, Bondy-Chv\'{a}tal closure} }
Published in: Dagstuhl Seminar Proceedings, Volume 7311, Frontiers of Electronic Voting (2008)
Rui Joaquim and Carlos Ribeiro. CodeVoting: protecting against malicious vote manipulation at the voter's PC. In Frontiers of Electronic Voting. Dagstuhl Seminar Proceedings, Volume 7311, pp. 1-7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{joaquim_et_al:DagSemProc.07311.6, author = {Joaquim, Rui and Ribeiro, Carlos}, title = {{CodeVoting: protecting against malicious vote manipulation at the voter's PC}}, booktitle = {Frontiers of Electronic Voting}, pages = {1--7}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {7311}, editor = {David Chaum and Miroslaw Kutylowski and Ronald L. Rivest and Peter Y. A. Ryan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07311.6}, URN = {urn:nbn:de:0030-drops-12997}, doi = {10.4230/DagSemProc.07311.6}, annote = {Keywords: Internet voting, vote manipulation} }
Published in: Dagstuhl Seminar Proceedings, Volume 7041, Power-aware Computing Systems (2007)
José Luis Ayala, Anya Apavatjrut, David Atienza, Marisa López-Vallejo, and Carlos A. López-Barrio. Thermal Characterization and Thermal Management in Processor-Based Systems. In Power-aware Computing Systems. Dagstuhl Seminar Proceedings, Volume 7041, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{ayala_et_al:DagSemProc.07041.11, author = {Ayala, Jos\'{e} Luis and Apavatjrut, Anya and Atienza, David and L\'{o}pez-Vallejo, Marisa and L\'{o}pez-Barrio, Carlos A.}, title = {{Thermal Characterization and Thermal Management in Processor-Based Systems}}, booktitle = {Power-aware Computing Systems}, pages = {1--10}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {7041}, editor = {Luca Benini and Naehyuck Chang and Ulrich Kremer and Christian W. Probst}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07041.11}, URN = {urn:nbn:de:0030-drops-11103}, doi = {10.4230/DagSemProc.07041.11}, annote = {Keywords: Thermal characterization, thermal model, register file} }
Feedback for Dagstuhl Publishing