Harold S. Connamacher

15 papers A* 1A 1Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2025 — conf
Developing an AI Concept Inventory for Non-Experts.
ITiCSE (2)
Linda Mannila, Julie Henry, Tobias Bahr, Christos Chytas, Harold S. Connamacher, Henry Hickman, Barbara C. N. Müller, Simone Opel, Andreas Scholl
2025 — conf
Towards Validating an Artificial Intelligence Concept Inventory for Non-Experts (AICI-NE): Common Misconceptions and Item Development.
ITiCSE-WGR
Linda Mannila, Julie Henry, Tobias Bahr, Christos Chytas, Harold S. Connamacher, Barbara C. N. Müller, Simone Opel, Andreas Scholl
2024 — conf
Introducing Code Quality at CS1 Level: Examples and Activities.
ITiCSE-WGR
Cruz Izu, Claudio Mirolo, Jürgen Börstler, Harold S. Connamacher, Ryan Crosby, Richard Glassey, Georgiana Haldeman, Olli Kiljunen, Amruth N. Kumar, David Liu, Andrew Luxton-Reilly, Stephanos Matsumoto, Eduardo Carneiro de Oliveira, Seán Russell, Anshul Shah
2024 — conf
Introducing Code Quality in the CS1 Classroom.
ITiCSE (2)
Cruz Izu, Claudio Mirolo, Jürgen Börstler, Harold S. Connamacher, Ryan Crosby, Richard Glassey, Georgiana Haldeman, Olli Kiljunen, Amruth N. Kumar, David Liu, Andrew Luxton-Reilly, Stephanos Matsumoto, Eduardo Carneiro de Oliveira, Seán Russell, Anshul Shah
2022 — conf
Professional Accreditation and Competency-Based Computing Education.
ITiCSE (2)
Rajendra K. Raj, John Impagliazzo, Sherif G. Aly, David S. Bowers, Harold S. Connamacher, Stan Kurkovsky, Bonnie K. MacKellar, Tom Prickett, Maíra Marques Samary, Krassen Stefanov
2022 — conf
Toward Competency-Based Professional Accreditation in Computing.
ITiCSE-WGR
Rajendra K. Raj, John Impagliazzo, Sherif G. Aly, David S. Bowers, Harold S. Connamacher, Stan Kurkovsky, Bonnie K. MacKellar, Tom Prickett, Maíra Marques Samary
2020 J jnl
On the uniformity of the approximation for r-associated Stirling numbers of the second Kind.
Contributions Discret. Math.
Harold S. Connamacher, Julia A. Dobrosotskaya
2020 J jnl
Rankboost+: an improvement to Rankboost.
Mach. Learn.
Harold S. Connamacher, Nikil Pancha, Rui Liu, Soumya Ray
2012 J jnl
Exact thresholds for DPLL on random XOR-SAT and NP-complete extensions of XOR-SAT.
Theor. Comput. Sci.
Harold S. Connamacher
2012 J jnl
The Satisfiability Threshold for a Seemingly Intractable Random Constraint Satisfaction Problem
CoRR
Harold S. Connamacher, Michael Molloy
2012 J jnl
The Satisfiability Threshold for a Seemingly Intractable Random Constraint Satisfaction Problem.
SIAM J. Discret. Math.
Harold S. Connamacher, Michael Molloy
2008 — —
Threshold Phenomena in Random Constraint Satisfaction Problems.
Harold S. Connamacher
2004 A conf
A Random Constraint Satisfaction Problem That Seems Hard for DPLL.
SAT
Harold S. Connamacher
2004 A* conf
The Exact Satisfiability Threshold for a Potentially Intractible Random Constraint Satisfaction Problem.
FOCS
Harold S. Connamacher, Michael Molloy
2003 J jnl
The complexity of minimizing certain cost metrics for k-source spanning trees.
Discret. Appl. Math.
Harold S. Connamacher, Andrzej Proskurowski