The role of object-oriented technology in the undergraduate computer science curriculum
OOPSLA '92 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
ACM SIGCSE Bulletin
Scientific investigation in a breadth-first approach to introductory computer science
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
An integrated, breadth-first computer science curriculum based on Computing Curricula 1991
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
Mathematizing abstract data types
ACM SIGCSE Bulletin
LLparse and LRparse: visual and interactive tools for parsing
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
A three-fold introduction to computer science
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
A three paradigm first course for CS majors
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Loop invariants and mathematical games
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Programming parallel algorithms
Communications of the ACM
Conceptual models and cognitive learning styles in teaching recursion
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
What (else) should CS educators know?
Communications of the ACM
Design patterns for the data structures and algorithms course
SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
The versatile list: a pathway to abstraction
ACSE '00 Proceedings of the Australasian conference on Computing education
Variable neighborhood search for the degree-constrained minimum spanning tree problem
Discrete Applied Mathematics - Special issue: Third ALIO-EURO meeting on applied combinatorial optimization
ExpansionTool: Concept-Based Query Expansion and Construction
Information Retrieval
Query Optimization in Distributed Relational Databases
Journal of Heuristics
Design Patterns for an Object-Oriented Computational Chemistry
ECAL '99 Proceedings of the 5th European Conference on Advances in Artificial Life
Robustness of regional matching scheme over global matching scheme
Artificial Intelligence
Journal of Computing Sciences in Colleges
Formal Methods: Mathematics, Computer Science, or Software Engineering?
CSEET '00 Proceedings of the 13th Conference on Software Engineering Education & Training
Frames and boxes: a pattern-based method for manipulating binary trees
ACM SIGCSE Bulletin
CASCON '03 Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative research
Knowledge and the action description language 𝒜
Theory and Practice of Logic Programming
Computational Economics
Community-oriented pedagogy for in-service CS teacher training
Proceedings of the 9th annual SIGCSE conference on Innovation and technology in computer science education
Arranging fact table records in a data warehouse to improve query performance
Computers and Operations Research
Predicting the Probability of Change in Object-Oriented Systems
IEEE Transactions on Software Engineering
Tabular Expressions and Their Relational Semantics
Fundamenta Informaticae
Tomographic reconstruction using heuristic Monte Carlo methods
Journal of Heuristics
Quantifying ILP by means of graph theory
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Distribution of distinguishable objects to bins: generating all distributions
International Journal of Computer Mathematics
Enforcing integrity constraints to preserve data accuracy in business applications
MCBE'08 Proceedings of the 9th WSEAS International Conference on Mathematics & Computers In Business and Economics
Abstraction ability as an indicator of success for learning computing science?
ICER '08 Proceedings of the Fourth international Workshop on Computing Education Research
The hidden injuries of overloading 'ADT'
Proceedings of the 40th ACM technical symposium on Computer science education
ICCOMP'08 Proceedings of the 12th WSEAS international conference on Computers
Generating all distributions of objects to bins
International Journal of Computer Mathematics
Low-complexity coding and source-optimized clustering for large-scale sensor networks
ACM Transactions on Sensor Networks (TOSN)
ICLS'08 Proceedings of the 8th international conference on International conference for the learning sciences - Volume 1
On natural language processing and plan recognition
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
ISSEP'05 Proceedings of the 2005 Informatics in Secondary Schools - Evolution and Perspectives international conference on From Computer Literacy to Informatics Fundamentals
SafeCard: a gigabit IPS on the network card
RAID'06 Proceedings of the 9th international conference on Recent Advances in Intrusion Detection
A new polynomial silent stabilizing spanning-tree construction algorithm
SIROCCO'09 Proceedings of the 16th international conference on Structural Information and Communication Complexity
Coquet: a coq library for verifying hardware
CPP'11 Proceedings of the First international conference on Certified Programs and Proofs
Tabular Expressions and Their Relational Semantics
Fundamenta Informaticae
The roles of mathematics in computer science
ACM Inroads
| Hi-index | 0.03 |