|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5620 occurrences of 3172 keywords
|
|
|
Results
Found 14507 publication records. Showing 14507 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
88 | Franz Baader, Werner Nutt |
Combination problems for commutative/monoidal theories or how algebra can help in equational unification. |
Appl. Algebra Eng. Commun. Comput. |
1996 |
DBLP DOI BibTeX RDF |
Equational unification, Semiadditive categories, Semirings, Equational theories |
58 | Laurie Murphy, Lynda Thomas |
Dangers of a fixed mindset: implications of self-theories research for computer science education. |
ITiCSE |
2008 |
DBLP DOI BibTeX RDF |
self-theories, theories of intelligence, cs1, cs ed research |
58 | Marco Cadoli, Thomas Eiter, Georg Gottlob |
Complexity of propositional nested circumscription and nested abnormality theories. |
ACM Trans. Comput. Log. |
2005 |
DBLP DOI BibTeX RDF |
Horn theories, nested abnormality theories, computational complexity, nonmonotonic reasoning, knowledge representation and reasoning, Circumscription |
54 | Scott L. Schneberger, Hugh J. Watson, Carol E. Pollard |
The Efficacy of "Little t" Theories. |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
|
54 | Steffen Lewitzka, Ruy J. G. B. de Queiroz |
On dividing chains in simple theories. |
Arch. Math. Log. |
2005 |
DBLP DOI BibTeX RDF |
Simple theories, Dividing chains, Morley sequences |
49 | Tianshe Yang, Zheng Xi, Lida Xu, Xiaoshe Dong, YongXuan Huang |
Application of uncertainty reasoning theory to satellite fault detection and diagnosis. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
49 | Mark Preston, Nikolay Mehandjiev |
A framework for classifying intelligent design theories. |
WISER |
2004 |
DBLP DOI BibTeX RDF |
intelligent design (ID), software engineering (SE), software development, design methodologies |
49 | Thomas Bittner, Andrew U. Frank |
On the design of formal theories of geographic space. |
J. Geogr. Syst. |
1999 |
DBLP DOI BibTeX RDF |
|
49 | Florent Jacquemard, Christoph Meyer 0001, Christoph Weidenbach |
Unification in Extension of Shallow Equational Theories. |
RTA |
1998 |
DBLP DOI BibTeX RDF |
|
49 | Iluju Kiringa |
Specifying active databases as non-Markovian theories of actions. |
J. Intell. Inf. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Semantic of active databases, Logical foundations, Action theories, non-Markovian control, Knowledge representation, Situation calculus |
49 | Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001 |
Unifying Theories in ProofPower-Z. |
UTP |
2006 |
DBLP DOI BibTeX RDF |
Unifying Theories of Programming, theorem prover |
49 | Manfred Schmidt-Schauß |
Unification in a Combination of Arbitrary Disjoint Equational Theories. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
Decidability of Unification, Combination of equational theories, Boolean rings, Unification, Equational theories, Abelian groups |
44 | Peter J. Graham |
The theoretical diagnosis of skepticism. |
Synth. |
2007 |
DBLP DOI BibTeX RDF |
Skepticism, Epistemic Justification, Reliabilism, Michael Williams, Contextualism |
44 | Dov M. Gabbay, Andrzej Szalas |
Annotation Theories over Finite Graphs. |
Stud Logica |
2009 |
DBLP DOI BibTeX RDF |
labeled graphs, semantics of logic programs, second-order quantifier elimination, annotations, argumentation theory |
44 | Erik Tidén |
Unification in Combinations of Collapse-Free Theories with Disjoint Sets of Function Symbols. |
CADE |
1986 |
DBLP DOI BibTeX RDF |
|
44 | Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz 0001 |
New results on rewrite-based satisfiability procedures. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
combination of theories, satisfiability modulo a theory, scalability, inference, termination, Automated reasoning, decision procedures, rewriting, superposition |
44 | Libor Behounek, Petr Cintula |
Features of Mathematical Theories in Formal Fuzzy Logic. |
IFSA (1) |
2007 |
DBLP DOI BibTeX RDF |
Formal fuzzy logic, axiomatic theories, the law of contraction, graded properties, fuzzy mathematics |
44 | Cungen Cao 0001, Yuefei Sui, Zaiyue Zhang |
The Rough Logic and Roughness of Logical Theories. |
RSKT |
2006 |
DBLP DOI BibTeX RDF |
logical theories, refinement, Rough set theory, logical implication |
44 | Fangzhen Lin, Kewen Wang 0001 |
From Causal Theories to Logic Programs (Sometimes). |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
disjunctive logic programs with classical negation, causal theories of actions, situation calculus |
44 | Stephen L. Bloom, Zoltán Ésik, Anna Labella, Ernest G. Manes |
Iteration 2-theories. |
Appl. Categorical Struct. |
2001 |
DBLP DOI BibTeX RDF |
iteration theories, fixed point operation, rewriting, initiality, equational logic, algebraic theories, 2-categories |
42 | Cristian S. Calude |
Information: The Algorithmic Paradigm. |
Formal Theories of Information |
2009 |
DBLP DOI BibTeX RDF |
|
41 | Rundong Mu, Qin Li |
A Coq Implementation of the Program Algebra in Jifeng He's New Roadmap for Linking Theories of Programming. |
Theories of Programming and Formal Methods |
2023 |
DBLP DOI BibTeX RDF |
|
41 | Jim Woodcock 0001 |
Hoare and He's Unifying Theories of Programming. |
Theories of Programming |
2021 |
DBLP DOI BibTeX RDF |
|
41 | Vahid Dabbaghian, Vijay Kumar Mago |
Introducing Theories and Simulations of Complex Social Systems. |
Theories and Simulations of Complex Social Systems |
2014 |
DBLP DOI BibTeX RDF |
|
41 | Michael J. Wooldridge, Nicholas R. Jennings |
Agent Theories, Architectures, and Languages: A Survey. |
ECAI Workshop on Agent Theories, Architectures, and Languages |
1994 |
DBLP DOI BibTeX RDF |
|
39 | Jayadev Misra |
The Case against a Grand Unification Theory. |
ICSR |
2002 |
DBLP DOI BibTeX RDF |
|
39 | Ann Svensson |
Instructional-Design Theories Applied on a Web-Based Learning Application. |
ITNG |
2008 |
DBLP DOI BibTeX RDF |
instructional-design theory, interactive, web-based application, multimedia learning |
39 | Viorica Sofronie-Stokkermans |
Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions. |
FroCoS |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Margaret-Anne D. Storey |
Theories, tools and research methods in program comprehension: past, present and future. |
Softw. Qual. J. |
2006 |
DBLP DOI BibTeX RDF |
Software tools, Cognitive models, Program comprehension, Software visualization, Research methods, Software navigation, Collaborative software engineering |
39 | Piotr Hoffman |
Unions of Equational Monadic Theories. |
RTA |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Margaret-Anne D. Storey |
Theories, Methods and Tools in Program Comprehension: Past, Present and Future. |
IWPC |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Christophe Ringeissen |
Matching in a Class of Combined Non-disjoint Theories. |
CADE |
2003 |
DBLP DOI BibTeX RDF |
|
39 | Kumar Neeraj Verma |
Two-Way Equational Tree Automata for AC-Like Theories: Decidability and Closure Properties. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
39 | Franz Baader, Cesare Tinelli |
Combining Decision Procedures for Positive Theories Sharing Constructors. |
RTA |
2002 |
DBLP DOI BibTeX RDF |
|
39 | Alwen Tiu, Rajeev Goré |
A Proof Theoretic Analysis of Intruder Theories. |
RTA |
2009 |
DBLP DOI BibTeX RDF |
AC convergent theories, intruder deduction, security protocols, sequent calculus |
39 | Thomas Eiter, Kazuhisa Makino |
Generating All Abductive Explanations for Queries on Propositional Horn Theories. |
CSL |
2003 |
DBLP DOI BibTeX RDF |
Horn theories, polynomial total time computation, NP-hardness, abduction, propositional logic, Computational logic |
39 | Markus Voss |
Systems theories and architectures for ECBS. |
ECBS |
1996 |
DBLP DOI BibTeX RDF |
engineering discipline, CBS lifecycles, systems analysis, systems engineering, systems theories, computer-based systems, ECBS |
39 | Manfred Schmidt-Schauß |
Unification in Many-Sorted Eqational Theories. |
CADE |
1986 |
DBLP DOI BibTeX RDF |
Many-Sorted Logics, Heterogeneous Algebras, Unification, Equational Theories |
39 | Philippe Chatalic |
Viewing Hypothesis Theories as Constrained Graded Theories. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
Uncertain and Incomplete knowledge representation and semantics, Partially ordered grades, Hypothesis theories, Modal Logic |
37 | Giovanni Sommaruga |
Introduction. |
Formal Theories of Information |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Robert van Rooij |
Comparing Questions and Answers: A Bit of Logic, a Bit of Language, and Some Bits of Information. |
Formal Theories of Information |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Eugenio G. Omodeo, Domenico Cantone, Alberto Policriti, Jacob T. Schwartz |
A Computerized Referee. |
Reasoning, Action and Interaction in AI Theories and Systems |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Jo Erskine Hannay, Dag I. K. Sjøberg, Tore Dybå |
A Systematic Review of Theory Use in Software Engineering Experiments. |
IEEE Trans. Software Eng. |
2007 |
DBLP DOI BibTeX RDF |
experiments, Theory, empirical software engineering, research methodology |
34 | Ivo Düntsch, Ewa Orlowska, Anna Maria Radzikowska |
Lattice-Based Relation Algebras and Their Representability. |
Theory and Applications of Relational Structures as Knowledge Instruments |
2003 |
DBLP DOI BibTeX RDF |
|
34 | V. Wiktor Marek, Miroslaw Truszczynski |
Autoepistemic Logic. |
J. ACM |
1991 |
DBLP DOI BibTeX RDF |
|
34 | Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini |
Logic Programming within a Functional Framework. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
34 | Pascal Fontaine |
Combinations of Theories for Decidable Fragments of First-Order Logic. |
FroCoS |
2009 |
DBLP DOI BibTeX RDF |
|
34 | David Poole 0001, Clinton Smyth, Rita Sharma |
Semantic Science: Ontologies, Data and Probabilistic Theories. |
URSW (LNCS Vol.) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Khalil Djelloul |
An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints. |
CSCLP |
2008 |
DBLP DOI BibTeX RDF |
|
34 | William M. Farmer |
Biform Theories in Chiron. |
Calculemus/MKM |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Sergey P. Shlepakov |
Functional Equations in Shostak Theories. |
CSR |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Cesare Tinelli, Calogero G. Zarba |
Combining Nonstably Infinite Theories. |
J. Autom. Reason. |
2005 |
DBLP DOI BibTeX RDF |
combination of decision procedures, Nelson-Oppen method |
34 | Piotr Hoffman |
Union of Equational Theories: An Algebraic Approach. |
RTA |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Semra Dogandag, Paolo Ferraris, Vladimir Lifschitz |
Almost Definite Causal Theories. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Bret Swan, France Bélanger, Mary Beth Watson-Manheim |
Theoretical Foundations for Distributed Work: Multilevel, Incentive Theories to Address Current Dilemmas. |
HICSS |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Kumar Neeraj Verma |
On Closure under Complementation of Equational Tree Automata for Theories Extending AC. |
LPAR |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Sava Krstic, Sylvain Conchon |
Canonization for Disjoint Unions of Theories. |
CADE |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Iluju Kiringa, Raymond Reiter |
A Unifying Semantics for Active Databases Using Non-Markovian Theories of Actions. |
DBPL |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Calogero G. Zarba |
A Tableau Calculus for Combining Non-disjoint Theories. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Natarajan Shankar, Harald Rueß |
Combining Shostak Theories. |
RTA |
2002 |
DBLP DOI BibTeX RDF |
|
34 | David Cyrluk, Patrick Lincoln, Natarajan Shankar |
On Shostak's Decision Procedure for Combinations of Theories. |
CADE |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Franz Baader, Klaus U. Schulz |
Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. |
CADE |
1992 |
DBLP DOI BibTeX RDF |
|
34 | Donald Sannella, Rod M. Burstall |
Structured Theories in LCF. |
CAAP |
1983 |
DBLP DOI BibTeX RDF |
|
34 | Robert E. Shostak |
Deciding Combinations of Theories. |
CADE |
1982 |
DBLP DOI BibTeX RDF |
|
34 | Indira R. Guzman, Michelle L. Kaarst-Brown |
Organizational survival and alignment: insights into conflicting perspectives on the role of the IT professional. |
CPR |
2004 |
DBLP DOI BibTeX RDF |
role of IT professionals, IT professional, strategic alignment, organizational theories |
34 | Peter Aczel |
On Relating Type Theories and Set Theories. |
TYPES |
1998 |
DBLP DOI BibTeX RDF |
|
34 | Francesco Gagliardi 0001 |
The Necessity of Machine Learning and Epistemology in the Development of Categorization Theories: A Case Study in Prototype-Exemplar Debate. |
AI*IA |
2009 |
DBLP DOI BibTeX RDF |
Categorization Theories, Bias-Variance Dilemma, Machine Learning, Instance-Based Learning, Epistemology, Cognitive Psychology |
34 | Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump |
Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006). |
Formal Methods Syst. Des. |
2007 |
DBLP DOI BibTeX RDF |
Competition, Decision procedures, Automated theorem proving, SMT, Satisfiability modulo theories |
34 | Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli |
Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T). |
J. ACM |
2006 |
DBLP DOI BibTeX RDF |
SAT solvers, Satisfiability Modulo Theories |
34 | Raymond T. Boute |
Calculational semantics: Deriving programming theories from equations by functional predicate calculus. |
ACM Trans. Program. Lang. Syst. |
2006 |
DBLP DOI BibTeX RDF |
calculational reasoning, functional predicate calculus, intuitive semantics, strongest postcondition, weakest antecondition, termination, formal semantics, programming theories, Assignment, generic functionals, loops, nondeterminacy, axiomatic semantics |
34 | Angelina Totolo |
An exploration of the theories that explain the failure of information technology adoption in africa. |
SIGITE Conference |
2005 |
DBLP DOI BibTeX RDF |
theories, Africa, information technology adoption |
34 | Agostino Dovier, Carla Piazza, Enrico Pontelli |
Disunification in ACI1 Theories. |
Constraints An Int. J. |
2004 |
DBLP DOI BibTeX RDF |
disunification, ACI, complexity, sets, equational theories, CLP |
34 | Pierre-Etienne Moreau, Hélène Kirchner |
A Compiler for Rewrite Programs in Associative-Commutative Theories. |
PLILP/ALP |
1998 |
DBLP DOI BibTeX RDF |
AC theories, AC many-to-one matching, compilation, rewrite systems |
34 | Hans-Jürgen Bürckert |
Solving Disequations in Equational Theories. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
E-unification, E-disunification, solving equations and disequations, Equational theories |
32 | Jonathan P. Bowen, Qin Li 0002, Qiwen Xu (eds.) |
Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday |
Theories of Programming and Formal Methods |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Pieter J. L. Cuijpers, Jonas Hansen, Kim G. Larsen |
Assume-Guarantee Reasoning for Additive Hybrid Behaviour. |
Theories of Programming and Formal Methods |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Dines Bjørner |
Domain Modelling: A Foundation for Software Development. |
Theories of Programming and Formal Methods |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Bernd Finkbeiner, Ernst-Rüdiger Olderog |
Concurrent Hyperproperties. |
Theories of Programming and Formal Methods |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Jonathan P. Bowen, Huibiao Zhu |
Jifeng He at Oxford and Beyond: An Appreciation. |
Theories of Programming and Formal Methods |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Mike Hinchey, Emil Vassev |
KnowLang - A Formal Specification Model for Self-adaptive Systems. |
Theories of Programming and Formal Methods |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Andrew Butterfield, Frédéric Tuong |
Applying Formal Verification to an Open-Source Real-Time Operating System. |
Theories of Programming and Formal Methods |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Ting Su 0001, Chengyu Zhang 0001, Yichen Yan, Lingling Fan 0003, Yang Liu 0003, Zhoulai Fu, Zhendong Su 0001 |
Towards Efficient Data-Flow Test Data Generation. |
Theories of Programming and Formal Methods |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Jim Woodcock 0001, Ana Cavalcanti 0001, Simon Foster 0001, Marcel Oliveira, Augusto Sampaio, Frank Zeyda |
UTP, Circus, and Isabelle. |
Theories of Programming and Formal Methods |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Frédéric Mallet |
Time: It is only Logical! |
Theories of Programming and Formal Methods |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Ian J. Hayes, Cliff B. Jones, Larissa A. Meinicke |
Specifying and Reasoning About Shared-Variable Concurrency. |
Theories of Programming and Formal Methods |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Zhiming Liu 0001 |
Linking Formal Methods in Software Development - A Reflection on the Development of rCOS. |
Theories of Programming and Formal Methods |
2023 |
DBLP DOI BibTeX RDF |
|
32 | A. W. Roscoe 0001, Pedro Antonino, Jonathan Lawrence |
The Consensus Machine: Formalising Consensus in the Presence of Malign Agents. |
Theories of Programming and Formal Methods |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Yifeng Chen, Jeff W. Sanders |
Consciousness by Degree. |
Theories of Programming and Formal Methods |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Xu Jiang 0004, Jinghao Sun, Wang Yi 0001 |
Characterizations of Parallel Real-Time Workloads. |
Theories of Programming and Formal Methods |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Stephen D. Brookes, A. W. Roscoe 0001 |
CSP: A Practical Process Algebra. |
Theories of Programming |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Ian J. Hayes, Steve King 0001 |
Software Specification. |
Theories of Programming |
2021 |
DBLP DOI BibTeX RDF |
|
32 | C. A. R. Hoare |
Communicating Sequential Processes. |
Theories of Programming |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Cliff B. Jones, Jayadev Misra |
Finding Effective Abstractions. |
Theories of Programming |
2021 |
DBLP DOI BibTeX RDF |
|
32 | |
Authors' Biographies/Index. |
Theories of Programming |
2021 |
DBLP DOI BibTeX RDF |
|
32 | |
Doctoral Students. |
Theories of Programming |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Tony Hoare |
Envoi. |
Theories of Programming |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Cliff B. Jones |
List of Tony Hoare's Publications. |
Theories of Programming |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Tony Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar |
The Verified Software Initiative: A Manifesto. |
Theories of Programming |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Tony Hoare |
The 1980 ACM Turing Award Lecture. |
Theories of Programming |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Krzysztof R. Apt, Ernst-Rüdiger Olderog |
Assessing the Success and Impact of Hoare's Logic. |
Theories of Programming |
2021 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 14507 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|