Timothy J. Hickey

Comput. Sci. Educ., July, 2024

The Internal Internship: Enabling Novel Opportunities for Undergraduate Data Science Experiential Education.

[BibT_eX]

[DOI]

Jessica Liebowitz

Proceedings of the 2024 ACM Virtual Global Computing Education Conference V. 1, 2024

2023

Mastery Learning with Specs Grading for Programming Courses.

[BibT_eX]

[DOI]

Ella Tuson

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 1, 2023

2022

Mastery Learning and Specs Grading in Discrete Math.

[BibT_eX]

[DOI]

Ella Tuson

Tim Hickey

Proceedings of the ITiCSE 2022: Innovation and Technology in Computer Science Education, Dublin, Ireland, July 8, 2022

EEG4Home: A Human-In-The-Loop Machine Learning Model for EEG-Based BCI.

[BibT_eX]

[DOI]

Xiaodong Qu

Proceedings of the Augmented Cognition, 2022

2021

Reflective Debugging with a Python Web IDE.

[BibT_eX]

[DOI]

Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021

Reflective Debugging in Spinoza V3.0.

[BibT_eX]

[DOI]

Proceedings of the ACE '21: 23rd Australasian Computing Education Conference, 2021

2020

Using EEG to Distinguish Between Writing and Typing for the Same Cognitive Task.

[BibT_eX]

[DOI]

Proceedings of the Brain Function Assessment in Learning - Second International Conference, 2020

Multi-class Time Continuity Voting for EEG Classification.

[BibT_eX]

[DOI]

Proceedings of the Brain Function Assessment in Learning - Second International Conference, 2020

2019

Teaching and Assessing Debugging, Testing, and Coding Style with Recursive Pedagogy using Spinoza.

[BibT_eX]

[DOI]

Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

Refining Skill Classification with Interactive Machine Learning.

[BibT_eX]

[DOI]

Proceedings of the IEEE Frontiers in Education Conference, 2019

Teaching Introductory Cryptography using a 3D Escape-the-Room Game.

[BibT_eX]

[DOI]

Proceedings of the IEEE Frontiers in Education Conference, 2019

Recursive Pedagogy: Automatic Question Generation using Real-time Learning Analytics.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Computer Supported Education, 2019

21st Century Skill Building with Web-based Games.

[BibT_eX]

[DOI]

William DeRusha

Proceedings of the 11th International Conference on Computer Supported Education, 2019

2018

SPINOZA: In-class Python Problem Solving with Classroom Orchestration (Abstract Only).

[BibT_eX]

[DOI]

Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

EEG markers of STEM learning.

[BibT_eX]

[DOI]

Proceedings of the IEEE Frontiers in Education Conference, 2018

Machine Learning Based Directed Self Study in Calculus with CalcTutor.

[BibT_eX]

[DOI]

Proceedings of the IEEE Frontiers in Education Conference, 2018

Classroom Orchestration with Problem Solving Markov Models.

[BibT_eX]

[DOI]

Proceedings of the IEEE Frontiers in Education Conference, 2018

A Personalized Reading Coach using Wearable EEG Sensors - A Pilot Study of Brainwave Learning Analytics.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Computer Supported Education, 2018

Using Spinoza Log Data to Enhance CS1 Pedagogy.

[BibT_eX]

[DOI]

Antonella DiLillo

Proceedings of the Computer Supported Education - 10th International Conference, 2018

Using Fine Grained Programming Error Data to Enhance CS1 Pedagogy.

[BibT_eX]

[DOI]

Antonella DiLillo

Proceedings of the 10th International Conference on Computer Supported Education, 2018

2017

The calculus dashboard - leveraging intelligent tutor techniques to provide automated fine-grained student assessment.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Frontiers in Education Conference, 2017

Flipping introductory programming classes using spinoza and agile pedagogy.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Frontiers in Education Conference, 2017

GroupWork: Learning During Collaborative Assessment Activities.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Computer Supported Collaborative Learning, 2017

2016

Fully integrating remote students into a traditional classroom using live-streaming and TeachBack.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Frontiers in Education Conference, 2016

Measuring and visualizing learning with Markov Models.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Frontiers in Education Conference, 2016

2015

CalcTutor: Applying the teachers dilemma methodology to calculus pedagogy.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Frontiers in Education Conference, 2015

A Flipped Classroom with and Without Computers.

[BibT_eX]

[DOI]

Proceedings of the Computer Supported Education - 7th International Conference, 2015

Computers in the CS1 Classroom.

[BibT_eX]

Proceedings of the CSEDU 2015, 2015

2013

The entrepreneur's bootcamp: a new model for teaching web/mobile development and software entrepreneurship.

[BibT_eX]

[DOI]

R. Pito Salas

Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

2008

Visualization and Interactive Exploration of Large, Multidimensional Data Sets.

[BibT_eX]

[DOI]

John T. Langton

Elizabeth A. Gifford

Proceedings of the Applications of Computational Intelligence in Biology: Current Trends and Open Problems, 2008

2007

NeuroVis: combining dimensional stacking and pixelization to visually explore, analyze, and mine multidimensional multivariate data.

[BibT_eX]

[DOI]

John T. Langton

Astrid A. Prinz

Proceedings of the Visualization and Data Analysis 2007, 2007

2006

Leveraging Layout with Dimensional Stacking and Pixelization to Facilitate Feature Discovery and Directed Queries.

[BibT_eX]

[DOI]

Proceedings of the Pixelization Paradigm, First Visual Information Expert Workshop, 2006

Combining Pixelization and Dimensional Stacking.

[BibT_eX]

[DOI]

John T. Langton

Astrid A. Prinz

Proceedings of the Advances in Visual Computing, Second International Symposium, 2006

2005

The design, implementation, and application of the grewpEdit tool.

[BibT_eX]

[DOI]

Kenroy Granville

Proceedings of the Richard Tapia Celebration of Diversity in Computing Conference 2005, 2005

2004

Computer literacy via Scheme and web programming.

[BibT_eX]

[DOI]

J. Funct. Program., 2004

Scheme-based web programming as a basis for a CS0 curriculum.

[BibT_eX]

[DOI]

Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, 2004

Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints.

[BibT_eX]

[DOI]

David K. Wittenberg

Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

Using Analytic CLP to Model and Analyze Hybrid Systems.

[BibT_eX]

[DOI]

David K. Wittenberg

Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, 2004

2002

Internet-centric computing in the Computer Science curriculum.

[BibT_eX]

[DOI]

Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education, 2002

2001

Metalevel Interval Arithmetic and Verifiable Constraint Solving.

[BibT_eX]

J. Funct. Log. Program., 2001

Interval arithmetic: From principles to implementation.

[BibT_eX]

[DOI]

Qun Ju

Maarten H. van Emden

J. ACM, 2001

2000

Interval Constraint Plotting for Interactive Visual Exploration of Implicitly Defined Relations.

[BibT_eX]

[DOI]

Zhe Qju

Maarten H. van Emden

Reliab. Comput., 2000

Analytic Constraint Solving and Interval Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the POPL 2000, 2000

CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2000

Constraint-Based Termination Analysis for Cyclic Active Database Rules.

[BibT_eX]

[DOI]

Saumya K. Debray

Proceedings of the Computational Logic, 2000

1999

Reflecting Java into Scheme.

[BibT_eX]

[DOI]

Kenneth R. Anderson

Proceedings of the Meta-Level Architectures and Reflection, 1999

Validated Constraint Compilation.

[BibT_eX]

[DOI]

David K. Wittenberg

Proceedings of the Principles and Practice of Constraint Programming, 1999

1998

A Unified Framework for Interval Constraints and Interval Arithmetic.

[BibT_eX]

[DOI]

Maarten H. van Emden

Huan Wu

Proceedings of the Principles and Practice of Constraint Programming, 1998

1994

Multi-SLD Resolution.

[BibT_eX]

[DOI]

Donald A. Smith

Proceedings of the Logic Programming and Automated Reasoning, 5th International Conference, 1994

1993

Divide-and-Conquer Algorithms with Recursive Broadcast Communication on Reconfigurable Arbitrary Dimensional Mesh.

[BibT_eX]

Z. George Mou

Xiaojing Wang

Proceedings of the Sixth SIAM Conference on Parallel Processing for Scientific Computing, 1993

1992

Computer-Assisted Microanalysis of Parallel Programs.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1992

Meta-Level Interpretation of Constraint Languages A Case Study: Logical Primitives.

[BibT_eX]

[DOI]

V. Deschamps

New Gener. Comput., 1992

1991

Functional Constraints in CLP Languages.

[BibT_eX]

Proceedings of the Constraint Logic Programming, 1991

Toward the Partial Evaluation of CLP Languages.

[BibT_eX]

[DOI]

Donald A. Smith

Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991

1990

Partial Evaluation of a CLP Language.

[BibT_eX]

Donald A. Smith

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

1989

Global Compilation of Prolog.

[BibT_eX]

[DOI]

Shyam Mudambi

J. Log. Program., 1989

CLP* and Constraint Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989

1988

Automating program analysis.

[BibT_eX]

[DOI]

J. ACM, 1988

1987

Parsing and Compiling Using Prolog.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1987

1984

Performance Analysis of On-the-Fly Garbage Collection.

[BibT_eX]

[DOI]

Commun. ACM, 1984

1983

Uniform Random Generation of Strings in a Context-Free Language.

[BibT_eX]

[DOI]

SIAM J. Comput., 1983

1982

Upper Bounds for Speedup in Parallel Parsing.

[BibT_eX]

[DOI]

Joel Katcoff

J. ACM, 1982

1979

Two Algorithms for Determining Volumes of Convex Polyhedra.

[BibT_eX]

[DOI]