yusuke1997/dblp-id-title huggingface dataset:
Enhancing UK Computing Education Research Infrastructure with Doctoral Consortia
Participant-centred planning Framework for effective gender balance activities in tech
Women's Sense of Belonging in Computer Science Education: The Need for a Collective Response
Teaching Programming at a Distance
Enhancing MarkEd with Peer Feedback Functionality with LLM Support
Algorithmic essays
Secondary Students as Co-Researchers on Generative AI in Learning: Empowering Youth to Shape National Education Policy
How Are Commercial Video Games Used by Teachers to Support Primary Aged Children's Learning of Programming Concepts?
Is it feasible to teach query programming in three different languages in a single session?: A study on a pattern-oriented tutorial and cheat sheets
Some theories from abroad for AI interaction literacy
Investigating the Attitudes and Emotions of K-12 Students Towards Debugging
No More Pencils No More Books: Capabilities of Generative AI on Irish and UK Computer Science School Leaving Examinations
Computational Thinking Assessment Tools: A Systematic Review of the Literature (Initial Findings)
Subject to Change: A Computing Education Research Journey
Proceedings of the 2024 Conference on United Kingdom & Ireland Computing Education Research, UKICER 2024, Manchester, United Kingdom, September 5-6, 2024
UKICER 2022: The United Kingdom and Ireland Computing Education Research Conference, Dublin, Ireland, September 1 - 2, 2022
Relating Spatial Skills and Expression Evaluation
UKICER '21: United Kingdom and Ireland Computing Education Research Conference, Glasgow, UK, September 2 - 3, 2021
Pulling your weight?: New CS entrants' reflections on their experience of collaborative work at high school
Evaluating a Peer Assessment Approach in Introductory Programming Courses
The False-Positive Rate of Automated Plagiarism Detection for SQL Assessments
A Scoping Review of Student and Educator Engagement with Large Language Models in Introductory Programming Education
Speeding Up Automated Assessment of Programming Exercises
A computational thinking module for secondary students and pre-service teachers using Bebras-style tasks
Work in Progress Workshop: Themes, Challenges and Opportunities
The Development of Teaching Case Studies to Explore Ethical Issues Associated with Computer Programming: Four Case Studies on Programming Ethics
What can we learn from recommendations of early-career engineers? Assessing computing and software engineering education using a career monitoring survey
Supporting the Computing Science Education Research Community with Rolling Reviews
Designing and Assessing Authentic Software Development Projects in Undergraduate Computing Education
Student Perspectives on the Purpose of Peer Evaluation During Group Game Development Projects
The Learnability of Programming with Regards to Dyslexia
Weekly Fluctuations in Motivation in Introductory Programming
"Embedding Dispositions in Peer Assessment for Software Teams: More than just a \"Product\" Focus"
Female pupils' attitudes to computing in early adolescence
Variations in Sense of Belonging in Undergraduate Computing Students Through the COVID-19 Pandemic
An online platform for teaching upper secondary school computer science
LLM-aided Pair Programming for Algorithm Tracing
Bit by Bit: Ireland's Journey Toward Computing in Schools, and what we learned along the way
Developing a sense of confidence and belonging in first-year CS students
A Peer-Led Approach to Tutor Training: Implementation and Outcomes
Cwricwlwm i Gymru 2022: A New Era for Computer Science in Schools in Wales?
Developing an On-Campus Internship Model for Computing Students - An Alternative Experiential Learning Pathway
Are You Ready to Teach AI in Schools? Teachers' Perspectives of Teaching AI in K-12 Settings
Designing Solutions to Support a New Generation of PG Computer Science Students: A Co-Participatory Approach
Understanding the role models that inspire women to study Computing Science
Improving the Teaching and Learning of Debugging in Secondary Schools
Investigating the Effects of Synchronous versus Asynchronous Online Engagement on Performance of a Large Class
A Cross-National Comparison of Computing Students' Sense of Belonging in Ireland and Scotland
Secondary Students' Emerging Conceptions of AI: Understanding AI Applications, Models, Engines and Implications
Enhancing Degree Apprentice Engagement in Hybrid Programmes through Interactive Videos
Exploring the Instructional Efficiency of Representation and Engagement in Online Learning Materials
Using Machine Learning Algorithms for Analysing the Factors That Affect Pupil Engagement and Learning Outcomes in CSE
Measuring the Cognitive Load of Learning to Program: A Replication Study
Expert Evaluation of a VR Tool for Learning Computer Graphics
Computing in School in the UK & Ireland: A Comparative Study
Proceedings of the 2025 Conference on UK and Ireland Computing Education Research, UKICER 2025, Edinburgh, UK September 4-5, 2025
Space, Place and Practice in Computing Education
Generative AI in Software Development Education: Insights from a Degree Apprenticeship Programme
Proceedings of the 2023 Conference on United Kingdom & Ireland Computing Education Research, Swansea, Wales, UK, September 7-8, 2023
Exploring Students' Experiences of Computer Science in Upper Secondary Education: A Qualitative Study
Formative Assessment as a Learning Method for Introductory Programming
An Insight Into the Relationship Between Confidence, Self-efficacy, Anxiety and Physiological Responses in a CS1 Exam-like Scenario
Local Histories of Computing
Bridging the gap through co-creation: Learning programming in a mixed backgrounds class
Exploring the Role of Educational Experiences in Shaping Post-Primary Students' Decisions to Pursue 3rd Level Computing in Ireland: A Longitudinal Ph.D Study
Adaptive Learning Curve Analytics with LLM-KC Identifiers for Knowledge Component Refinement
Pytch - Supporting Learners over the Bridge from Blocks to Text
Technocamps: 30 Years of Digital Education and Professional Development Throughout Wales
Compile Much? A Closer Look at the Programming Behavior of Novices in Different Compilation and Error Message Presentation Contexts
Content Co-creation for Novice Programmers
Student Use and Teacher Practice: A Scoping Review of Generative AI in Computing Education Using PICRAT
Computing Competencies for Engineering Students
Exploring the Relationship between Debugging Self-Efficacy and CASE Tools for Novice Troubleshooting
See, Talk, Explain and Prepare (STEP): The First STEP for Primary Teachers in Introductory Programming
Sense of Belonging: The Intersectionality of Self-Identified Minority Status and Gender in Undergraduate Computer Science Students
Enhancing Student Engagement through a Gamified Feedback Loop in Computer Science
Reflections on Computing Education Research
Investigating Remote Pair Programming In Part-Time Distance Education
That's Not the Feedback I Need! - Student Engagement with GenAI Feedback in the Tutor Kai
Teaching History of Computing
An Exploratory Analysis of Student Experiences with Peer Evaluation in Group Game Development Projects
Inequality in Computing Education through the lens of Social Capital: a Methodology
Proceedings of the United Kingdom & Ireland Computing Education Research Conference, UKICER 2020, Glasgow, United Kingdom, September 3-4, 2020
Interest over Meaning, Enjoyment over Self-efficacy? - What Predicts Thriving Best in CS1
Reviewing Computer Science and Software Engineering Concepts through a Game Development Course
Developing Computing Teacher Guidance on GenAI
Student Perspectives of Peer Assessment in Programming Courses
Effects of Group Size, Choice and Membership in Group Assignments Aimed At Developing Student Employability
The Impact of COVID-19 and "Emergency Remote Teaching" on the UK Computer Science Education Community
CS_LINC - Bridging the Gap to Formal CS Education
Institute of Coding in Wales Digital Skills Bootcamps - A Model for Stackable Micro-credentials
Teaching Responsible AI Literacy in Schools: Perspectives from academics and teachers
What makes a programming error message good?
Meaningful automated feedback on Objected-Oriented program development tasks in Java
Equality, Diversity, and Inclusion in the CS Curriculum
Digital Outreach via Theatre Productions
The Roles and Challenges of Computing Terminology in Non-Computing Disciplines
Enhancing 3D Transformations Learning through Immersive Virtual Environment
Software Testing as Medium for Peer Feedback
Advancing Assessment Practices in CS Education through AI-Generated Visual Test Cases
Subject Knowledge Development for Trainee Teachers of Computer Science
Unplugged Computing and Semantic Waves: Analysing Crazy Characters
The Role of Explicit Instruction on Students Learning their Second Programming Language
Proceedings of the 1st UK & Ireland Computing Education Research Conference, UKICER 2019, Canterbury, UK, September 5-6, 2019
Ethical Generative AI Use with Novice Programmers: Co-Created Heuristics, Including the SAV Framework
Systematic Review of UML Diagramming Software Tools for Higher Education Software Engineering Courses
Experience Report: Running and Participating in a Multi-Institutional Research in Practice Project Activity (RIPPA)
Critical Reflections on the First Year of Computer Science in the New Curriculum for Wales
The Synergistic Cycle of Teaching and Computing Education Research
Who's using my research? Influencing the impact of computing education research on practice
Testing Code Comprehension using GenAI
On Teaching Abstraction in Computer Science: Secondary-School Teachers' Perceptions vs. Practices
Forming Community in Computing Science Education with Research in Practice Project Activities
A Practice Enquiry Design to Investigate How Pair Programming Can Help with Constructing Automata
Adaptive Formative Assessment For Teaching Novices in Introductory Programming
Exploring Human-Centered Approaches in Generative AI and Introductory Programming Research: A Scoping Review
Source Code Without Implicitness: Explicit Source Prose For Programming Education
Investigating the Use of ChatGPT to Support the Learning of Python Programming Among Upper Secondary School Students: A Design-Based Research Study
The Institute of Coding Accreditation Standard: Exploring the Use of a Professional Skills Framework to Address the UK Skills Gap
Evaluating the Sense of Belonging of Undergraduate Computing Students in the UK and Ireland
Experimenting with Model Solutions as a Support Mechanism
A Module-Agnostic Reference Software Development Process for Different Levels of Higher-Education Study
Getting a PhD - Capturing Six Decades of Motivation, Supervision, and Topic Choice
Expanding the Circle of Critical Friends in UK Computing Education Research with the Works-in-Progress (WiP) Workshop
A Frame of Mind: Frame-based vs. Text-based Editing
Teaching Programming Competencies: A Role for Craft Computing?
Developing a Work-based Software Engineering Degree in Collaboration with Industry
Developing K-12 Teachers' Understanding of Fairness, Accountability, Transparency and Ethics (FATE) in AI Education
K-12 Computing Teachers' Topics for Inquiry
Reflections on a Global Pandemic: Capturing the Impact of COVID-19 on the UK Computer Science Education Community
Formative vs. Summative Assessment of Practical Programming Tasks: Do We Need to Investigate?
Exploring a framework of computational expression
Towards Automated Testing and Feedback of Object-Oriented Programming Tasks in Java
TechMate: A Research-Driven Toolkit to Enhance Gender Balance in Computing Education
Teaching Foundational Programming to Young Learners via a Block Based Game
Quick Fixes for Novice Programmers: Effective but Under-Utilised
Research in Practice Project Activity (RIPPA): Capital in Computing Education in the United Kingdom and Ireland
Facilitating computing students' transition to higher education
Algorithmic Abstraction in Computer Science Curricula for Primary Schools: The Case of a National Curriculum for 4th Grade
Building belonging: evaluating a student-led peer-support scheme in Computer Science
Not the Silver Bullet: LLM-enhanced Programming Error Messages are Ineffective in Practice
It's Useful But Not Interesting: Girls on Computing in School
Video in Assessments for Soft Skill Development and Evaluation
Using the LCT Semantic Plane to Reflect on Teaching Programming
Sense of Belonging of Undergraduate Computing Students: A Comparative Analysis of University Entry Routes
What Do We Do When We Teach Software Engineering?
CoCoNet: A Collaborative Network for Dissertation Projects
Developing Creativity in Computer Science Initial Teacher Education through Design Thinking
Potential approaches for Adaptive formative assessment to motivate Novices in Introductory programming
An Overview of the Relationship between Spatial Skills and Computing Science
Disruptors in Educational Technology: A Futurespective Case Study of UK Computing Academics
Iterative Design of a Thematic Coding Scheme for Analyzing Inference Coherence in CS Assignments
Exploring the Interplay of Achievement Goals, Self-Efficacy, Prior Experience and Course Achievement
Formal School Computing Education Won't Work Until We Understand The Problem
Supporting Computing Educators to Create a Cycle of Teaching and Computing Education Research
Foregrounding the 'Rules' of Learning to Program with the LCT Epistemic Plane
Engaging primary (K-5) computing teachers in culturally relevant pedagogy through professional development
Supporting Highly Able Programmers in Secondary Schools in England
The Influence of Foreign Language Classroom Anxiety on Academic Performance in English-based CS1 Courses
Designing Intentional Bugs for Learning
Demystifying Neural Networks: A Stage-Based Learning Approach for Novice Students
Enhancing Physical Computing Projects with Generative AI
Set Automata
A Coloring Algorithm for Finding Connected Guards in Art Galleries
A New Proof Search Method for Linear Logic
Recursive Functions: An Archeological Look
Secret Sharing Schemes Based on Room Squares
Even Linear Simple Matrix Languages: Formal Language Aspects
Graph Classes between Parity and Distance-Hereditary Graphs
A Formalization of Anytime Constraint Satisfaction
A Loopless Generation of Bitstrings without p Consecutive Ones
k-Regular Matroids
Some Results for Some Conjectures in Addition Chains
Sharply Bounded Alternation within P
On Unimodality of Independence Polynomials of Some Well-Covered Trees
An Invitation to Algorithmic Information Theory
Combinatorial Problems Arising in SNP and Haplotype Analysis
On the Structure of Linear Cellular Automata
Recognizing Diameter Critical Graphs
Constructive Programming: A Personal View
Computability Structures on Metric Spaces
The Role of Kripke Semantics in Reasoning of Knowledge and Time
A New Pumping Property of Context-Free Language
How Large is the Set of Disjunctive Sequences?
Covering and Secret Sharing with Linear Codes
A Process Algebraic View of Linear Logic
An Analysis of Quantified Linear Programs
Early Computer Science Adventures of a Mathematician
Generating Gray Codes in O(1) Worst-Case Time per Word
First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996
Finite State Strategies in One Player McNaughton Games
Proper Bounded Edge-Colorings
Boolean NP-Partitions and Projective Closure
A Note on the Growth Rate of Planar Graphs
Pseudo-BCK Algebras: An Extension of BCK Algebras
Listing Vertices of Simple Polyhedra Associated with Dual LI(2) Systems
On Infinitary Rational Relations and Borel Sets
Combinatorial Properties of Sequences in Groups and Semirings
The Number of Graphs and Digraphs with a Fixed Diameter and Connectivity
P-Immune Sets with Holes Lack Self-Reducibility Properties
Greedy Algorithms for the Lower and Upper Chromatic Numbers
On Shuffle Closure of Commutative Regular Languages
Quantum Electronic Devices Based on Metal-Dielectric Transition in Low-Dimensional Quantum Structures
Apartness as a Relation Between Subsets
On the Monotonic Computability of Semi-computable Real Numbers
Dini's Theorem: A Constructive Case Study
Lex Ideals of Generalized MV-Algebras
Armstrong Systems on Ordered Sets
Combinatorics, Computability and Logic, Proceedings of the Third International Conference on Combinatorics, Computability and Logic, DMTCS 20Ol, Constanta, Romania
Efficient Algorithms for Disjoint Matchings among Intervals and Related Problems
On Functions and Relations
The Generating Functions of Lambda Terms
A Condition for a Normal Semicycle to Separate an Orientable 3-Graph
On the Logical Definability of Some Maximum Leaves Problems
On Relax-ability of Word-Order by D-grammars
Regular Expressions with Timed Dominoes
Unicycle Bipartite Graphs with Only Uniquely Restricted Maximum Matchings
On Algebraic Expressions of Series-Parallel and Fibonacci Graphs
Indiscreet Applications of Discrete Mathematics
Effectivity and Effective Continuity of Functions between Computable Metric Spaces
Two Philosophical Applications of Algorithmic Information Theory
Representations versus Numberings: On Two Computability Notions
N(n), v(n): Similarities and Differences
Monotonically Computable Real Numbers
A Highly Random Number
Forbidding, Enforcing
The Functional Lambda Abstraction Algebras Form a Variety
Paths Coloring Algorithms in Mesh Networks
The Parameterized Complexity of Relational Database Queries and an Improved Characterization of W[1]
EDTOL Structural Equivalence is Decidable
Discrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings
Sequentially Continuity in Constructive Mathematics
A Finite Complete Set of Equations Generating Graphs
Cellular Automata and Combinatoric Tilings in Hyperbolic Spaces. A Survey
Categoricity and Scott Families
Automatic Forcing and Genericity: On the Diagonalization Strength of Finite Automata
ECO Method and the Exhaustive Generation of Convex Polyominoes
Sierpinski's Gasket, 2-Groups and Graph Symmetries
An Efficient Branch-and-Bound Algorithm for Finding a Maximum Clique
The Hadwiger Number for the Product of Two Cycles
Discrete Isoperimetric Inequalities
On the Order Dual of a Riesz Space
Probabilistic-Logical Web Data Integration
Score-Based Explanations in Data Management and Machine Learning: An Answer-Set Programming Approach to Counterfactual Analysis
Reasoning Web. Semantic Technologies for Software Engineering, 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures
Integrating Relational Databases with the Semantic Web: A Reflection
Classical Algorithms for Reasoning and Explanation in Description Logics
Scalable OWL 2 Reasoning for Linked Data
Human-Centered ASP Applications: Representation & Reasoning (Invited Paper)
Ontologies and Text Mining as a Basis for a Semantic Web for the Life Sciences
Higher-Order Modal Logics: Automation and Applications
Rule-Based Policy Representation and Reasoning for the Semantic Web
Reactive Rules on the Web
Ontology Based Data Access on Temporal and Streaming Data
Web and Semantic Web Query Languages: A Survey
Datalog Revisited for Reasoning in Linked Data
Explainable AI Planning (XAIP): Overview and the Case of Contrastive Explanation (Extended Abstract)
An Introduction to Description Logics and Query Rewriting
A Review of SHACL: From Data Validation to Schema Reasoning for RDF Graphs
Answer Set Programming: A Tour from the Basics to Advanced Development Tools and Industrial Applications
Reasoning Web. Causality, Explanations and Declarative Knowledge - 18th International Summer School 2022, Berlin, Germany, September 27-30, 2022, Tutorial Lectures
Reasoning Web. Declarative Artificial Intelligence - 17th International Summer School 2021, Leuven, Belgium, September 8-15, 2021, Tutorial Lectures
Explanation-Friendly Query Answering Under Uncertainty
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey
Recent Advances in Datalog ^\pm
Vadalog: Overview, Extensions and Business Applications
On the Complexity of Learning Description Logic Ontologies
Ontology Querying: Datalog Strikes Back
Rule Modeling and Markup
Compact Query Rewritings for Ontology-Based Query Answering
Foundations of Description Logics
Reasoning and Explanation in EL and in Expressive Description Logics
Semantic Wiki Representations for Building an Enterprise Knowledge Base
Attempto Controlled English for Knowledge Representation
Declarative Data Analysis Using Limit Datalog Programs
Machine Learning with and for Semantic Web Knowledge Graphs
From Fuzzy to Annotated Semantic Web Languages
Ontology-Based Data Access with Databases: A Short Course
Semantic Web Service Discovery and Selection in B2B Integration Scenarios
An Introduction to Question Answering over Linked Data
Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School 2013, Mannheim, Germany, July 30 - August 2, 2013. Proceedings
RDF Querying: Language Constructs and Evaluation Methods Compared
Personalization for the Semantic Web
A Modest Markov Automata Tutorial
Business Rules in the Semantic Web, Are There Any or Are They Different?
Temporal ASP: From Logical Foundations to Practical Use with telingo
Reasoning About Time in DatalogMTL: Course Notes (Invited Paper)
Attempto Controlled English: A Knowledge Representation Language Readable by Humans and Machines
Statistical Relational Data Integration for Information Extraction
PSOA RuleML: Integrated Object-Relational Data and Rules
Controlled Query Evaluation in Description Logic Ontologies
Using SPARQL with RDFS and OWL Entailment
Datalog and Its Extensions for Semantic Web Databases
Reasoning with Rules and Ontologies
Attribution-Scores and Causal Counterfactuals as Explanations in Artificial Intelligence
Joint Proceedings of the 20th and 21st Reasoning Web Summer Schools, RW 2024, Bucharest, Romania, September 19-22, 2024 / RW 2025, Istanbul, Turkey, September 25-28, 2025
Federation and Navigation in SPARQL 1.1
Application and Evaluation of Inductive Reasoning Methods for the Semantic Web and Software Analysis
A Geo-semantics Flyby
Rule Interchange on the Web
ASP Essentials: Modelling and Efficient Solving (Invited Paper)
Inconsistency-Tolerant Querying of Description Logic Knowledge Bases
Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic - 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures
Reasoning at Scale (Tutorial)
Modeling the Web of Data (Introductory Overview)
Introduction to Linked Data and Its Lifecycle on the Web
A Tutorial on Query Answering and Reasoning over Probabilistic Knowledge Bases
Model Driven Engineering with Ontology Technologies
Navigational and Rule-Based Languages for Graph Databases
Semantic Business Process Engineering
Provenance in Databases: Principles and Applications
Foundations of RDF Databases
Trust Management Methodologies for the Web
Logic-Based Explainability in Machine Learning
Foundations of Rule-Based Query Answering
Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course
Semantic Multimedia
Technologies for the Social Semantic Desktop
Cross-Modal Knowledge Discovery, Inference, and Challenges
Rules and Ontologies for the Semantic Web
Reuse in Semantic Applications
Evolution and Reactivity for the Web
Introduction to Probabilistic Ontologies
Ontological and Practical Issues in Using a Description Logic to Represent Medical Concept Systems: Experience from GALEN
Knowledge Representation and Rule Mining in Entity-Centric Knowledge Bases
An Introduction to Answer Set Programming and Some of Its Extensions
Semantic Descriptions in an Enterprise Search Solution
Reasoning Web. Declarative Artificial Intelligence - 16th International Summer School 2020, Oslo, Norway, June 24-26, 2020, Tutorial Lectures
Applying Machine Reasoning and Learning in Real World Applications
Reasoning and Query Answering in Description Logics
LOD Lab: Scalable Linked Data Processing
An Introduction to Constraint Programming and Combinatorial Optimisation