ACE: an automatic complexity evaluator
ACM Transactions on Programming Languages and Systems (TOPLAS)
Ordering of characters and strings
ACM SIGAda Ada Letters
Formal semantics of SQL queries
ACM Transactions on Database Systems (TODS)
Bell and LaPadula axioms: a “new” paradigm for an “old” model
NSPW '92-93 Proceedings on the 1992-1993 workshop on New security paradigms
A generalized control structure and its formal definition
Communications of the ACM
Bubble sort: an archaeological algorithmic analysis
SIGCSE '03 Proceedings of the 34th SIGCSE technical symposium on Computer science education
Eliminating Memory for Fragmentation Within Partitionable SIMD/SPMD Machines
IEEE Transactions on Parallel and Distributed Systems
Declarative Specifications of Complex Transactions
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
Introducing "theory" in the second programming course
SIGCSE '78 Proceedings of the ninth SIGCSE technical symposium on Computer science education
Formal Verification of Combinational Circuit
VLSID '97 Proceedings of the Tenth International Conference on VLSI Design: VLSI in Multimedia Applications
Robust indexing of lattices and permutation codes over binary symmetric channels
Signal Processing - From signal processing theory to implementation
A first course in computer science for graduate students
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
A general method for solving divide-and-conquer recurrences
ACM SIGACT News
On teaching theoretical foundations of Computer Science
ACM SIGACT News
Propositional Logic Constraint Patterns and Their Use in UML-Based Conceptual Modeling and Analysis
IEEE Transactions on Knowledge and Data Engineering
Semi-materialized framework: a hybrid approach to data integration
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
Plausible inferencing using extended composition
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Mathematical induction is a recursive technique
Proceedings of the 42nd ACM technical symposium on Computer science education
Unifying Rough Set Theories via Large Scaled Granular Computing
Fundamenta Informaticae - To Andrzej Skowron on His 70th Birthday
| Hi-index | 0.02 |