Herbrand Award Acceptance Speech
Journal of Automated Reasoning
ETPS: A System to Help Students Write Formal Proofs
Journal of Automated Reasoning
A computational treatment of Korean temporal markers, OE and DONGAN
ACL '03 Proceedings of the 41st Annual Meeting on Association for Computational Linguistics - Volume 2
A comprehensive combination framework
ACM Transactions on Computational Logic (TOCL)
A comprehensive theory of trichotomous evaluative linguistic expressions
Fuzzy Sets and Systems
Model-Based Firewall Conformance Testing
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Extensible Universes for Object-Oriented Data Models
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
An Extensible Encoding of Object-oriented Data Models in hol
Journal of Automated Reasoning
Knowledge-based coordination with a reliable semantic subscription mechanism
Proceedings of the 2009 ACM symposium on Applied Computing
Proving Fairness and Implementation Correctness of a Microkernel Scheduler
Journal of Automated Reasoning
An integrated proof language for imperative programs
Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
Fuzzy Sets and Systems
Proving theorems of type theory automatically with TPS
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 4
Efficient SAT solving for non-clausal formulas using DPLL, graphs, and watched cuts
Proceedings of the 46th Annual Design Automation Conference
Bounded Model Generation for Isabelle/HOL
Electronic Notes in Theoretical Computer Science (ENTCS)
Connecting Logical Representations and Efficient Computations
Electronic Notes in Theoretical Computer Science (ENTCS)
In the search of a naive type theory
TYPES'07 Proceedings of the 2007 international conference on Types for proofs and programs
Combining theories with shared set operations
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Combining logics in simple type theory
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Unifying theories in Isabelle/HOL
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Verifying the modal logic cube is an easy task: for higher-order automated reasoners
Verification, induction termination analysis
Second-order programs with preconditions
Verification, induction termination analysis
Verifying the modal logic cube is an easy task: for higher-order automated reasoners
Verification, induction termination analysis
Second-order programs with preconditions
Verification, induction termination analysis
Fuzzy Sets and Systems
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
Extending Sledgehammer with SMT solvers
CADE'11 Proceedings of the 23rd international conference on Automated deduction
A formal theory of generalized intermediate syllogisms
Fuzzy Sets and Systems
Term rewriting in logics of partial functions
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Monotonicity Inference for Higher-Order Formulas
Journal of Automated Reasoning
Combining and automating classical and non-classical logics in classical higher-order logics
Annals of Mathematics and Artificial Intelligence
Reasoning about mathematical fuzzy logic and its future
Fuzzy Sets and Systems
Cut-simulation in impredicative logics
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
A structured set of higher-order problems
TPHOLs'05 Proceedings of the 18th international conference on Theorem Proving in Higher Order Logics
Invited contribution: a comprehensive framework for combined decision procedures
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Reasoning in extensional type theory with equality
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Higher-order aspects and context in SUMO
Web Semantics: Science, Services and Agents on the World Wide Web
Satisfiability checking of non-clausal formulas using general matings
SAT'06 Proceedings of the 9th international conference on Theory and Applications of Satisfiability Testing
Extending OCL with null-references: towards a formal semantics for OCL 2.1
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Automated termination analysis for programs with second-order recursion
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Monotonicity inference for higher-order formulas
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Automated synthesis of induction axioms for programs with second-order recursion
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Isabelle/circus: a process specification and verification environment
VSTTE'12 Proceedings of the 4th international conference on Verified Software: theories, tools, experiments
Elements of model theory in higher-order fuzzy logic
Fuzzy Sets and Systems
Featherweight OCL: a study for the consistent semantics of OCL 2.3 in HOL
Proceedings of the 12th Workshop on OCL and Textual Modelling
A method for modeling of KPIs enabling validation of their properties
Proceedings of the 5th ACM SIGCHI Annual International Workshop on Behaviour Modelling - Foundations and Applications
Scalable variability management for enterprise applications with data model driven development
Proceedings of the 17th International Software Product Line Conference co-located workshops
EQ-algebras from the point of view of generalized algebras with fuzzy equalities
Fuzzy Sets and Systems
| Hi-index | 0.00 |