Special relations in automated deduction
Journal of the ACM (JACM) - The MIT Press scientific computation series
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming
IEEE Transactions on Software Engineering
A first course in program verification and the semantics of programming languages
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
An algebraic specification of the partial orders generated by concurrent Ada computations
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
MICRO 22 Proceedings of the 22nd annual workshop on Microprogramming and microarchitecture
A computing unit for FFP function evaluation in support of correctness proofs
MICRO 22 Proceedings of the 22nd annual workshop on Microprogramming and microarchitecture
Nonclausal deduction in first-order temporal logic
Journal of the ACM (JACM)
A Relational Notation for State Transition Systems
IEEE Transactions on Software Engineering
An experiment in formal software development: using the B theorem prover on a VDM case study
ICSE '90 Proceedings of the 12th international conference on Software engineering
An experiment in formal software development: using the B theorem prover on a VDM case study
Communications of the ACM - Special issue on software engineering
Fundamentals of Deductive Program Synthesis
IEEE Transactions on Software Engineering
Transfinite nesting in array-theoretic figures, changes, rigs, and arms. Part I
APL '93 Proceedings of the international conference on APL
A multi-theory constraint satisfaction system
CSC '93 Proceedings of the 1993 ACM conference on Computer science
An Efficient Indefiniteness Inference Scheme in Indefinite Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
An Algebra for Data Flow Diagram Process Decomposition
IEEE Transactions on Software Engineering
Linear Complexity Assertions for Sorting
IEEE Transactions on Software Engineering
Generalizations of Fuzzy Multisets for Including Infiniteness
Proceedings of the Joint JSAI 2001 Workshop on New Frontiers in Artificial Intelligence
Information Alert in Distributed Digital Libraries: The Models, Languages, and Architecture of DIAS
ECDL '02 Proceedings of the 6th European Conference on Research and Advanced Technology for Digital Libraries
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
Fuzzy Multisets and Their Generalizations
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
Information clustering based on fuzzy multisets
Information Processing and Management: an International Journal - Modelling vagueness and subjectivity in information access
Encyclopedia of Computer Science
The origin of the binary-search paradigm
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Generalized Bags, Bag Relations, and Applications to Data Analysis and Decision Making
MDAI '09 Proceedings of the 6th International Conference on Modeling Decisions for Artificial Intelligence
Models of axioms for time intervals
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Models of axioms for time intervals
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Data structure and operations for fuzzy multisets
Transactions on Rough Sets II
Similarity between multi-valued thesaurus attributes: theory and application in multimedia systems
FQAS'06 Proceedings of the 7th international conference on Flexible Query Answering Systems
A simple algorithm specification language and its application
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
| Hi-index | 0.00 |