yusuke1997/dblp-id-title huggingface dataset:
Spatial Skills and Demographic Factors in CS1
Educational Pascal compiler into MMIX code
Proceedings of the 17th Koli Calling Conference on Computing Education Research, Koli, Finland, November 16-19, 2017
In their own words: students and academics write about academic integrity
Koli Calling: from the ten past years to the future: a developing country's perspective
AI Competencies for non-computer science students in undergraduate education: Towards a competency framework
Aligning Competence Hierarchies with Bloom's Taxonomies: Changing the focus for computing education
Impact of Undergraduate Research Workshops on Sense of Belonging and Self-Efficacy based on Gender and Race
Exploring Blended Learning in the context of Project based courses in Undergraduate Computing Education: A Community of Inquiry Approach
Parsons problems and computing education learning theories
Open Source Software Practices in CS2
Adapting Student IDEs for Blind Programmers
Edit, Run, Error, Repeat: A Longitudinal Analysis of Time-on-Task and Error Quotient
Pedagogy of 1: 1 computing in Colombia: a case study of three rural schools
Gender Differences in the Pathway from Application through Graduation in a Computer Science Major
Excited, Skeptical, or Worried? A Multi-Institutional Study of Student Views on Generative AI in Computing Education
Exploring the Impact of Multiple Representations in Introductory Programming: A Pilot Study
Are visualization tools used in programming education?: by whom, how, why, and why not?
Learning AI through a Culturally-Infused, Gamified and Collaborative Platform
Transforming Computer-Based Exams with BYOD: An Empirical Study
A Closer Look at Metacognitive Scaffolding: Solving Test Cases Before Programming
Towards a dialectic relationship between the implicit and explicit nature of computational thinking: a computer semiotics perspective
Student-generated podcasts for learning and assessment
A Proposal to Use Gamification Systematically to Nudge Students Toward Productive Behaviors
Towards an E-assessment tool for advanced software engineering skills
Using Open-Ended Responses to Design an Assessment Tool for Ethical and Responsible Computing Learning Activities
Using smartphones to motivate secondary school students for informatics
PatternCoder: a programming support tool for learning binary class associations and design patterns
Enhancing Computer Programming Education using ChatGPT- A Mini Review
Promoting Students' Progress-Monitoring Behavior during Block-Based Programming
Example Output: A Sequentialist Rabbit Hole for Students Solving Concurrent Problems
Classroom Presentation of Code: An Alternative Peer Review Process
Plaggie: GNU-licensed source code plagiarism detection engine for Java exercises
LLM-Based Multi-Artifact Consistency Verification for Programming Exercise Quality Assurance
Exploring the Differences in Students' Behavioral Engagement With Quizzes and Its Impact on their Performance in a Flipped CS1 Course
Observations of Highly Successful, Distributed Teams in a K-12 Online Security Competition
Discovering Empirically-Based Best Practices in Computing Education Through Replication, Reproducibility, and Meta-Analysis Studies
Student perspectives on mathematics in computer science
Estimating and Differentiating Programming Skills from Unstructured Coding Exercises via Matrix Factorization
Five years of Mastery Learning: What did we learn?
Keeping Mindful of Modality: A Comparison of Computer Science Education Resources for Learning
Three +1 Perspectives on Computational Thinking
Designing and comparing two scratch-based teaching approaches for students aged 10-12 years
High School Students' Sense-making of Artificial Intelligence and Machine Learning
On computer science major students' motivation in a practically oriented robotics course
Computational thinking in CS teaching materials: a pilot study
"Anything That Can Be Streamlined Would Be Great": Validating Elementary School Teachers' Preferences for a Block-Based Programming Teaching Augmentation System
Enhancing Visualizations in Pedagogical Debuggers by Leveraging on Code Analysis
The Teacher's Role in Educational Robotics Competitions
Teaching Data Concepts and Practices in Secondary School Education on Artificial Intelligence: Approaches, Mechanisms, and Emerging Local Theories
Do we know how difficult the rainfall problem is?
How do students learn to program in a connected world?
The "Koli DC": Towards Improving the Effectiveness of Doctoral Consortia
On the Effect of Onboarding Computing Students without Programming-Confidence or -Experience
PandionJ: a pedagogical debugger featuring illustrations of variable tracing and look-ahead
Unrestricted Use of LLMs in a Software Project Course: Student Perceptions on Learning and Impact on Course Performance
Identification of programmers from typing patterns
Teaching Artificial Intelligence for Non-computer Science Students in Undergraduate Education: A Competency Framework and an AI Course (Doctoral Consortium)
Science festivals on computer science recruitment
Proceedings of the 15th Koli Calling Conference on Computing Education Research, Koli, Finland, November 19-22, 2015
Evolving a web science curriculum
Constructing feedback for computer science MCQ wrong answers using semantic profiling (Discussion Paper)
Towards Understanding the Impact of Context-Aware AI Tutors and General-Purpose AI Chatbots on Student Learning
Exploring programming misconceptions: an analysis of student mistakes in visual program simulation exercises
A detector for non-literal Java errors
Students' Perceptions and Use of Generative AI Tools for Programming Across Different Computing Courses
What Are They Thinking?: Eliciting Student Reasoning About Troublesome Concepts in Introductory Computer Science
Learning programming online: a racket-course for elementary school teachers in Finland
Preconceptions of Artificial Intelligence and their change through co-constructed explorations
Fostering Creativity Self-perception in Formal Learning through Digital Fabrication and Making
Plagiarism networks: finding instances of copied answers in an online introductory programming environment
Intercontinental evidence on learners' differentials in sense-making of machine learning in schools
"CodeInnova": A Unified Framework for Teaching Programming and Computational Thinking In Primary Schools
Experiences of teachers in computing as role models: a phenomenographic study
Splashing the Surface of Research: A Study of Koli Abstracts
Rubyric
Appropriateness of a New Programmable Robotics Kit - Preliminary Results (Discussion Paper)
Yet Another Collection of Programming Misconceptions - To Help Educators Find What Matters
Educating Future Scientists, Engineers, Makers and Inventors: Influence of Students' Participation in Educational Robotics Competitions on their Career Choices in Science, Technology, Engineering and Mathematics (STEM)
Social media in everyday learning: how Facebook supports informal learning among young adults in South Africa
The preference matrix as a course design tool
Automated grading and tutoring of SQL statements to improve student learning
A Pragmatic Perspective on Programming in Danish Tertiary Education (Doctoral Consortium)
Reification and symbolization
The Role of Programming in Lower Secondary Math Education in Probability
Diagnosing learners' problem solving strategies using learning environments with algorithmic problems in secondary education
Collecting Research Data in Educational Escape Rooms
How Gender, Ethnicity, and Public Presentation Shape Coding Perseverance after Hackathons
Brain-based teaching in computer science: neurodidactical proposals for effective teaching
A case study of the development of CS teaching assistants and their experiences with team teaching
Towards an overview map of object-oriented programming and design
Same Structures, Different Settings: Exploring Computing Capital and Participation across Cultural Contexts
Fostering a natural language approach in programming education (Doctoral Consortium)
Programming Education for Blind and Low Vision Users: Beyond Reading the Screen
LEO: A Live Coding Assistant for Teachers
Mindset and Study Performance: New Scales and Research Directions
Explicitly Teaching Debugging in Primary School: Effectiveness, Transferability and Durability
Sieving Coding Assignments Over Submissions Generated by AI and Novice Programmers
From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions
Exploring assessment practices at university
Valuing computer science education research?
Escape Room Game for CT Learning Activities in the Primary School
Complex Online Material Development in CS Courses
Flipped Classroom Teaching in a Mathematics for Technology Course: Recommendations for Success
Is the world ready or do we need more tools for programming related teamwork?
UUhistle: a software tool for visual program simulation
Classifying the nature of lecturer intervention on computer science student behaviour
Enhancing Novice Programmers? Understanding through Interactive Visualizations and Multiple Representations
Misconceptions about Control and Data Structures in Introductory Programming Courses and their Remedy (Doctoral Consortium)
Semi-Automatically Mining Students' Common Scratch Programming Behaviors
Detecting Students' Affective States in Industry-focused Projects
Data analytics on performance of computing students
Evaluating a visualisation of the execution of a concurrent program
Parsons Problems for Equivalence Proofs in Logic
FIRST Principles to Design for Online, Synchronous High School CS Teacher Training and Curriculum Co-Design
RoboCards: A Tool to Support the Facilitation of Robotics Camps for Beginners
Leveraging Curricular Activities to Foster Software Engineering Principles in Non-Vocational Schools
High School Teachers' Understanding of Code Style
Informal CS learning through games: benefits to formal education?
Maze: Moodle module for games of exercises
Experiences With and Lessons Learned on Deadlines and Submission Behavior
12th Koli Calling International Conference on Computing Education Research, Koli Calling '12, Koli, Finland, November 15-18, 2012
An Analysis of the Formal Properties of Bloom's Taxonomy and Its Implications for Computing Education
Writing to learn programming?: a single case pilot study
A Case Study on Programming in Finnish General Upper Secondary Education
Modeling informal learning in companies
Assessment and grading for CS1: towards a complete toolbox of criteria and techniques
Some thoughts on teaching introductory programming and the first language dilemma (Discussion Paper)
How is programming taught in code clubs? Exploring the experiences and gender perceptions of code club teachers
Test-driven lecturing
Constructive Alignment of Web Programming Assignments and Automated Assessment with Unit Testing
Can metacognition predict your success in solving problems? An exploratory case study in programming
An International Comparison of K-12 Computer Science Education Intended and Enacted Curricula
Learning Programming Languages as Shortcuts to Natural Language Token Replacements
The reasons might be different: why students and teachers do not use visualization tools
Problematic and Persistent Post-Secondary Program Performance Preconceptions
Exploring the Prevalence of SQL Misconceptions: a Study Design
Designing a multi-faceted SOLO taxonomy to track program design skills through an entire course
A low overhead automated service for teaching programming
Uncovering Behavioral Patterns in Student-LLM Conversations during Code Refactoring Tasks
Academic integrity: differences between computing assessments and essays
TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings
Trees, Ordinals and Termination
On the Relevance of Formal Methods to Software Development
Priority Controlled Incremental Attribute Evaluation in Attributed Graph Grammars
What Does the Future Hold for Theoretical Computer Science?
Three Approaches to Type Structure
Object-Based Concurrency: A Process Calculus Analysis
Domains in a Realizability Framework
Conservative Extensions, Interpretations Between Theories and All That!
The Railroad Crossing Problem: Towards Semantics of Timed Algorithms and Their Model Checking in High Level Languages
Improving the Execution Speed of Compiled Prolog with Modes, Clause Selection, and Determinism
Predicative Functional Recurrence and Poly-space
E-Unification by Means of Tree Tuple Synchronized Grammars
Constraining Inference in an Object-Based Design Model
Automata Theory on Trees and Partial Orders
Reliable Generalized and Context Dependent Commutation Relations
Formats of Ordered SOS Rules with Silent Actions
Formalized Software Development in an Industrial Environment
Longest Common Factor of Two Words
On Asymptotic Probabilities in Logics That Capture DSPACE(log n) in Presence of Ordering
Compilation of Lambda-Calculus into Functional Machine Code
Semi-Trace Morphisms and Rational Transductions
From Reduction Machines To Narrowing Machines
Typed Categorial Combinatory Logic
Completion Procedures as Transition Rules + Control
Linear Interpolation for the Higher-Order Matching Problem
A General Framework for Modular Implementations of Modular System Specifications
Algebraic Specification and Development in Geometric Modeling
Refined Strategies for Semantic Unification
On Addition Schemes
A Fully Parallel Calculus of Synchronizing Processes
Reachability Analysis on Distributed Executions
Formal Specification and Prototyping of a Program Specializer
Property Preserving Abstractions under Parallel Composition
A Propositional Dense Time Logic (Based on Nested Sequences)
Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras
The META-Frame: An Environment for Flexible Tool Management
From Function Level Semantics to Program Transformation and Optimization
A Labelled Transition Systems for pi-epsilon-Calculus
Refining Interfaces of Communicating Systems
A Model Inference System for Generic Specification with Application to Code Sharing
A Fully Abstract Model for Concurrent Constraint Programming
Rational Spaces and Set Constraints
Specification and Prototyping: Some Thoughts on Why They Are Successful
An Extended Expansion Theorem
Compositional Specification of Embedded Systems with Statecharts
The Semantics of Shared Submodules Specifications
Yeast: A Case Study for a Practical Use of Formal Methods
Auxiliary Variables and Recursive Procedures
Logicality of Conditional Rewrite Systems
Proving System Correctness with KIV
Amalgamation of Graph Transformations with Applications to Synchronization
LOFT: A Tool for Assisting Selection of Test Data Sets from Algebraic Specifications
Gate Splitting in LOTOS Specifications Using Abstract Interpretation
Type Checking, Universe Polymorphism, and Typical Ambiguity in the Calculus of Constructions (Draft)
A Decade of TAPSOFT: Aspects of Process and Prospects in Theory and Practice of Software Development
Subtyping Constraints for Incomplete Objects (Extended Abstract)
Synthesis of Parallel Programs Invariants
Logic Programming as Hypergraph Rewriting
AG: A Set of Maple Packages for Symbolic Computing of Automata and Semigroups
Finite Algebraic Specifications of Semicomputable Data Types
Parametric Order-Sorted Types in Logic Programming
Reasoning about Higher-Order Processes
Monads, Indexes and Transformations
Semi-Constructive Formal Systems and Axiomatization of Abstract Data Types
Modelling Concurrent Modules
Experience of Introducing the Vienna Development Method into an Industrial Organization
Pi-I: A Symmetric Calculus Based on Internal Mobility
Object Oriented Concurrent Programming and Industrial Software Production
Complete Inference Systems for Weak Bisimulation Equivalences in the pi-Calculus
Program Development and Documentation by Informal Transformations and Derivations
Goldilocks and the Three Specifications
The Semantics of Program Slicing and Program Integration
About the Theory of Tree Embedding
Reactive Types
ASSPEGIQUE: An Integrated Environment for Algebraic Specifications
Specification and Proof in Membership Equational Logic
Functional Semantics of Modules
Optimal Solutions to Pattern Matching Problems
A Declarative Environment for Concurrent Logic Programming
Formal Methods and Social Context in Software Development
Proving Termination of Logic Programs by Exploiting Term Properties
"Delayability" in Proofs of Strong Normalizability in the Typed Lambda Calculus
Inclusion Constraints over Non-empty Sets of Trees
Polymorphic Subtype Inference: Closing the Theory-Practice Gap
Verification of Message Sequence Charts via Template Matching
Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited (Extended Abstract)
SMoLCS-Driven Concurrent Calculi
Object Oriented Semantics Directed Compiler Generation: A Prototype
A Compositive Abstraction Algorithm for Combinatory Logic
Retractions: A Functional Paradigm for Logic Programming
Introducing a Calculus of Trees
La Vraie Forme d'un Arbre
Binding Time Analysis for Polymorphically Typed Higher Order Languages
Syntactical Properties of Unbounded Nets of Processors
Verification for Finite Systems (Extended Abstract)
Polynomial Algorithms for the Synthesis of Bounded Nets
A PROLOG Environment for Developing and Reasoning about Data Types
Exploiting Non-Determinism through Laziness in Guarded Functional Languages
Theoretical Computer Science and Software Science: The Past, the Present and the Future (Position Paper)
Nonfinite Axiomatizability of Shuffle Inequalities
Statecharts, Transition Structures and Transformations
On the Parameterized Algebraic Specification of Concurrent Systems
Inductive Proofs by Resolution and Paramodulation
CoFI: The Common Framework Initiative for Algebraic Specification and Development
An Introduction to PSFd
PLATO: A Tool to Assist Programming as Term Rewriting and Therem Proving
Behaviour-Refinement of Coalgebraic Specifications with Coinductive Correctness Proofs
Order-Sorted Completion: The Many-Sorted Way (Extended Abstract)
A Complete Proof System for Timed Observations
An Imperative Object Calculus
LEAP: A Language with Eval And Polymorphism
Term Rewriting in CT-Sigma
A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types
On the Ehrenfeucht-Fraïssé Game in Theoretical Computer Science
Processes and Functions
On the Complexity of Function Pointer May-Alias Analysis
Linear Logic and Lazy Computation
On Relating Some Models for Concurrency
Transformation Ordering
Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages
A Path Ordering for Proving Termination of Term Rewriting Systems
Hoisting: Lazy Evaluation in a Cold Climate
An Applicative Module Calculus
Model Checking Using Net Unfoldings
Constructing Systems as Object Communities
Set Operations for Recurrent Term Schematizations
Can you Trust your Data?
From pi-Calculus to Higher-Order pi-Calculus - and Back
Semantics of Architectural Connectors
Testability of a Communicating System Through an Environment
Probabilistic Lossy Channel Systems
Terms and Infinite Trees as Monads Over a Signature
DOSFOP - A Documentation Tool for the Algebraic Programming Language OPAL
The Role of Proof Obligations in Software Design
Exception Handling and Term Labelling
Type Inference with Inequalities
Specifications Can Make Programs Run Faster
Typelab: An Environment for Modular Program Development
A Fullt Observational Model for Infinite Behaviours of Communicating Systems
The Integration and Distribution Phase in the Software Life Cycle
Proving Ground Confluence and Inductive Validity in Constructor Based Equational Specifications
TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving
TAPSOFT'93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings
Using Higher Order Logic for Modelling Real-Time Protocols
The SMoLCS ToolSet
A Lisp Compiler for FP Language and Its Proof via Algebraic Semantics
Models and Equality for Logical Programming
A Modular Framework for Specification and Implementation
Reactive System Specification and Refinement
A Compositional Proof of a Real-Time Mutual Exclusion Protocol
Development of Concurrent Programs: An Example
Comparing Flow-Based Binding-Time Analyses
Optimal Reductions in Interaction Systems
A Case Study in Transformational Design of Concurrent Systems
Concurrent Abstract Machines (Abstract)
A Comparison of Modular Verification Techniques
Automata on Infinite Trees with Counting Constraints
Trie Size in a Dynamic List Structure
Multidimensional Tree-Structured File Spaces
Linear Unification of Higher-Order Patterns
On the Relationship Between Algebraic Module Specifications and Program Modules
Decidability of Equivalence for Deterministic Synchronized Tree Automata
Confluence of Processes and Systems of Objects
Type Reconstruction with Recursive Types and Atomic Subtyping
Towards a Lambda-Calculus for Concurrent and Communicating Systems
Anatomy of the Pentium Bug
Compilation of Pattern Matching with Associative-Commutative Functions
Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages
Partializing Stone Spaces using SFP Domains (Extended Abstract)
True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication
Or-Parallel Execution Models of Prolog
Hyperedge Replacement with Rendevous
Implementing Algebraically Specified Abstract Data Types in an Imperative Programming Language
Polymorphic Type Inference with Overloading and Subtyping
Verification and Comparison of Transition Systems
A Rational Design Process: How and Why to Fake It
Shuffle Equations, Parallel Transition Systems and Equational Petri Nets
Computing the Wadge Degree, the Lifschitz Degree, and the Rabin Index of a Regular Language of Infinite Words in Polynomial Time
CCS without tau's
Applications of Type Theory
Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation
Non-Strict Don't Care Algebras and Specifications
Why Horn Formulas Matter in Computer Science: Initial Structures and Generic Examples (Extended Abstract)
Parameter Preserving Data Type Specifications
On Parametric Algebraic Specifications with Clean Error Handling
Rational Mechanisms and Natural Mathematics
TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt (CCPSD)
Calculating Software Generators from Solution Specifications
Inductively Defined Functions (Extended Abstract)
Directed Column-Convex Polyominoes by Recurrence Relations
Application of the Composition Principle to Unity-like Specifications
Algebraic Semantics (Abstract)
Towards a Formally Based Component Description Language
Efficient Representation of Taxonomies
Grid Structure and Undecidable Constraint Theories
Iteration Algebras (Extended Abstract)
On the Complexity of Equation Solving in Process Algebra
Implementation of Parameterized Observational Specifications
Independence of Negative Constraints
A Gentle Introduction to Specification Engineering Using a Case Study in Telecommunications
Specifying the Behavior of Graphical Objects Using Esterel
Program Specification and Data Refinement in Type Theory
A Theory of Testing for Timed Automata (Abstract)
On Behavioral Abstraction and Behavioural Satisfaction in Higher-Order Logic
A Solved Form Algorithm for Ask and Tell Herbrand Constraints
On the Implementation of Abstract Data Types by Programming Language Constructs
Algebraic Specification Of A Communication Scheduler
COMPASS: A Comprehensible Assertion Method
Synchronized Bottom-Up Tree Automata and L-Systems
Performance-Oriented Formal Specifications - the LotoTis Approach
Applications of Compactness in the Smyth Powerdomain of Streams (Extended Abstract)
Static Analysis of Linear Congruence Equalities among Variables of a Program
A Metric Characterization of Fair Computations in CCS