|
|
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 |
15 | Eric C. R. Hehner, Ioannis T. Kassios |
Theories, Implementations, and Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings, pp. 1-21, 2002, Springer, 3-540-43166-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Jean-Raymond Abrial, Louis Mussat |
On Using Conditional Definitions in Formal Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings, pp. 242-269, 2002, Springer, 3-540-43166-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Lyn Gattis |
Planning and information foraging theories and their value to the novice technical communicator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the 20st annual international conference on Documentation, SIGDOC 2002, Toronto, Ontario, Canada, October 20-23, 2002, pp. 39-43, 2002, ACM, 1-58113-543-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
human behavioral ecology, strategic planning theory, communication model, technical communication, information foraging theory, cognitive theory |
15 | Pieter M. A. Ribbers, Ryan Peterson 0001, Marylin M. Parker |
Designing Information Technology Governance Processes: Diagnosing Contemporary Practices and Competing Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 35th Hawaii International Conference on System Sciences (HICSS-35 2002), CD-ROM / Abstracts Proceedings, 7-10 January 2002, Big Island, HI, USA, pp. 241, 2002, IEEE Computer Society, 0-7695-1435-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Business-IT decision-making integration, Case study research, Information Technology Governance |
15 | Cesare Tinelli |
A DPLL-Based Calculus for Ground Satisfiability Modulo Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings, pp. 308-319, 2002, Springer, 3-540-44190-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Aarati Parmar |
Formalizing Approximate Objects and Theories: Some Initial Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SARA ![In: Abstraction, Reformulation and Approximation, 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings, pp. 178-195, 2002, Springer, 3-540-43941-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | David V. Pynadath, Milind Tambe |
Multiagent teamwork: analyzing the optimality and complexity of key theories and models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings, pp. 873-880, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Christopher Lynch, Barbara Morawska 0001 |
Complexity of Linear Standard Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings, pp. 186-200, 2001, Springer, 3-540-42957-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Pascal Nicolas, Béatrice Duval |
Representation of Incomplete Knowledge by Induction of Default Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings, pp. 160-172, 2001, Springer, 3-540-42593-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Hudson Turner |
Strong Equivalence for Logic Programs and Default Theories (Made Easy). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings, pp. 81-92, 2001, Springer, 3-540-42593-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Luc Florack |
Scale-Space Theories for Scalar and Vector Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scale-Space ![In: Scale-Space and Morphology in Computer Vision, Third International Conference, Scale-Space 2001, Vancouver, Canada, July 7-8, 2001, Proceedings, pp. 193-204, 2001, Springer, 3-540-42317-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Reinhard Kahle |
N\hbox{\sf N}-strictness in applicative theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 39(2), pp. 125-144, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Floriana Esposito, Donato Malerba, Francesca A. Lisi |
Induction of Recursive Theories in the Normal ILP Setting: Issues and Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming, 10th International Conference, ILP 2000, London, UK, July 24-27, 2000, Proceedings, pp. 93-111, 2000, Springer, 3-540-67795-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Daniel J. Dougherty, Claudio Gutierrez 0001 |
Normal Forms and Reduction for Theories of Binary Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000, Proceedings, pp. 95-109, 2000, Springer, 3-540-67778-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Philippe Blache |
Constraints, Linguistic Theories and Natural Language Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Natural Language Processing ![In: Natural Language Processing - NLP 2000, Second International Conference, Patras, Greece, June 2-4, 2000, Proceedings, pp. 221-232, 2000, Springer, 3-540-67605-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Rino Falcone |
Autonomy: Theory, Dimensions, and Regulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAL ![In: Intelligent Agents VII. Agent Theories Architectures and Languages, 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000, Proceedings, pp. 346-348, 2000, Springer, 3-540-42422-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Luis Antunes 0001, João Faria, Helder Coelho |
Improving Choice Mechanisms within the BVG Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAL ![In: Intelligent Agents VII. Agent Theories Architectures and Languages, 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000, Proceedings, pp. 290-304, 2000, Springer, 3-540-42422-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Masahito Hasegawa |
Logical Predicates for Intuitionistic Linear Type Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings, pp. 198-212, 1999, Springer, 3-540-65763-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Michael Kaminski |
Open Default Theories over Closed Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESCQARU ![In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU'99, London, UK, July 5-9, 1999, Proceedings, pp. 201-207, 1999, Springer, 3-540-66131-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Béatrice Duval, Pascal Nicolas |
Learning Default Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESCQARU ![In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU'99, London, UK, July 5-9, 1999, Proceedings, pp. 148-159, 1999, Springer, 3-540-66131-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Henning Christiansen 0001 |
Open Theories and Abduction for Context and Accommodation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONTEXT ![In: Modeling and Using Context, Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 1999, Proceedings, pp. 455-458, 1999, Springer, 3-540-66432-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Franz Baader, Cesare Tinelli |
Deciding the Word Problem in the Union of Equational Theories Sharing Constructors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, Proceedings, pp. 175-189, 1999, Springer, 3-540-66201-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Leo Bachmair, Harald Ganzinger |
Ordered Chaining Calculi for First-Order Theories of Transitive Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 45(6), pp. 1007-1049, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
chaining calculi, reduction orderings, transitive relations, term rewriting, rewrite systems, equational logic |
15 | Andrea Formisano 0001, Eugenio G. Omodeo |
An Equational Re-engineering of Set Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTP (LNCS Selection) ![In: Automated Deduction in Classical and Non-Classical Logics, Selected Papers, pp. 175-190, 1998, Springer, 3-540-67190-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
first-order theorem-proving, relation algebras, Set Theory, algebraic logic |
15 | Belaid Benhamou, Laurent Henocque |
Finite Model Search for Equational Theories (FMSET). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings, pp. 84-93, 1998, Springer, 3-540-64960-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | T. S. E. Maibaum |
Conservative Extensions, Interpretations Between Theories and All That! ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings, pp. 40-66, 1997, Springer, 3-540-62781-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Rex Bing Hung Kwok, Abhaya C. Nayak, Norman Y. Foo |
A Notion of Correctness with Theories Containing Theoretical Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: Advanced Topics in Artificial Intelligence, 10th Australian Joint Conference on Artificial Intelligence, AI '97, Perth, Australia, November 30 - December 4, 1997, Proceedings, pp. 217-226, 1997, Springer, 3-540-63797-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Grigoris Antoniou, Cara MacNish, Norman Y. Foo |
Conservative Expansion Concepts for Default Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI'96: Topics in Artificial Intelligence, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996, Proceedings, pp. 522-533, 1996, Springer, 3-540-61532-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Torsten Schaub |
Computing Queries from Prioritized Default Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16-19, 1994, Proceedings, pp. 584-593, 1994, Springer, 3-540-58495-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Marco Botta |
Learning First Order Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16-19, 1994, Proceedings, pp. 356-365, 1994, Springer, 3-540-58495-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone |
Extending Horn Clause Theories by Reflection Principles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings, pp. 400-413, 1994, Springer, 3-540-58332-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Cees Witteveen, Wiebe van der Hoek, Hans de Nivelle |
Revision of Non-Monotonic Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings, pp. 137-151, 1994, Springer, 3-540-58332-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Logic Programming, Revision, Non-monotonic Reasoning |
15 | Denis Lugiez, J. L. Moysset |
Complement Problems and Tree Automata in AC-like Theories (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 93, 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993, Proceedings, pp. 515-524, 1993, Springer, 3-540-56503-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Peter Clark, Stan Matwin |
Learning Domain Theories using Abstract Beckground Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML-93, European Conference on Machine Learning, Vienna, Austria, April 5-7, 1993, Proceedings, pp. 360-365, 1993, Springer, 3-540-56602-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
15 | C.-H. Luke Ong |
Lazy Lambda Calculus: Theories, Models and Local Structure Characterization (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 19th International Colloquium, ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings, pp. 487-498, 1992, Springer, 3-540-55719-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Chitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian |
Combining Knowledge Bases Consisting of First Order Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 6th International Symposium, ISMIS '91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings, pp. 92-101, 1991, Springer, 3-540-54563-8. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Emmanuel Kounalis, Denis Lugiez, Loic Pottier |
A Solution of the Complement Problem in Associative-Commutative Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1991, 16th International Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings, pp. 287-297, 1991, Springer, 3-540-54345-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
The Subsumption Lattice of First-Order terms, Associative and Commutative Reasoning, AC-Disunification, Pattern-Matching, Inductive Learning, Sufficient-Completeness |
15 | Staffan Bonnier |
Unification in Incompletely Specified Theories: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1991, 16th International Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings, pp. 84-92, 1991, Springer, 3-540-54345-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Santanu Paul, Atul Prakash 0001, Erich B. Buss, John Henshaw |
Theories and techniques of program understanding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1991 Conference of the Centre for Advanced Studies on Collaborative Research, October 28-30, 1991, Toronto, Ontario, Canada, pp. 37-53, 1991, IBM. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
15 | Nachum Dershowitz, Subrata Mitra, G. Sivakumar |
Equation Solving in Conditional AC-Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP ![In: Algebraic and Logic Programming, Second International Conference, Nancy, France, October 1-3, 1990, Proceedings, pp. 283-297, 1990, Springer, 3-540-53162-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Alexandre Boudet |
Unification in a Combination of Equational Theories: an Efficient Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings, pp. 292-307, 1990, Springer, 3-540-52885-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Uwe Petermann |
Towards a Connection Procedure with Built in Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in AI, European Workshop, JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990, Proceedings, pp. 444-543, 1990, Springer, 3-540-53686-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Ralf Treinen |
A New Method for Undecidability Proofs of First Order Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings, pp. 48-62, 1990, Springer, 3-540-53487-3. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Hans Jürgen Ohlbach |
New Ways for Developing Proof Theories for First-Order Multi Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: CSL '89, 3rd Workshop on Computer Science Logic, Kaiserslautern, Germany, October 2-6, 1989, Proceedings, pp. 271-308, 1989, Springer, 3-540-52753-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Automated Theorem Proving by Translation and Refutation, Nonclassical Logics, Process Logic, Action Logic, Temporal Logic, Modal Logic, Resolution, Epistemic Logic |
15 | Alexander Bockmayr |
Narrowing with Built-In Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP ![In: Algebraic and Logic Programming, International Workshop, Gaussig, GDR, November 14-18, 1988, Proceedings, pp. 83-92, 1988, Springer, 3-540-50667-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
15 | Emmanuel Kounalis, Michaël Rusinowitch |
On Word Problems in Horn Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings, pp. 527-537, 1988, Springer, 3-540-19343-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
initial model, inductionless induction, resolution, term-rewriting system, Horn clause, word problems |
15 | Jieh Hsiang, Michaël Rusinowitch |
On Word Problems in Equational Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 14th International Colloquium, ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings, pp. 54-71, 1987, Springer, 3-540-18088-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
15 | Steffen Hölldobler |
A Unification Algorithms for Confluent Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 14th International Colloquium, ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings, pp. 31-41, 1987, Springer, 3-540-18088-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
15 | Volker Weispfenning |
Efficient Decision Algorithms for Locally Finite Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAECC ![In: Algebraic Algorithms and Error-Correcting Codes, 3rd International Conference, AAECC-3, Grenoble, France, July 15-19, 1985, Proceedings, pp. 262-273, 1985, Springer, 3-540-16776-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
15 | G. Ruggiu |
Cryptology and Complexity Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology: Proceedings of EUROCRYPT 84, A Workshop on the Theory and Application of of Cryptographic Techniques, Paris, France, April 9-11, 1984, Proceedings, pp. 3-9, 1984, Springer, 3-540-16076-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
15 | François Fages, Gérard P. Huet |
Complete Sets of Unifiers and Matchers in Equational Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings, pp. 205-220, 1983, Springer, 3-540-12727-5. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
15 | Andrzej Salwicki |
Algorithmic Theories of Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings, pp. 458-472, 1982, Springer, 3-540-11576-5. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
15 | Justin Fidock, Jennie Carroll |
Why Do Users Employ the Same System in So Many Different Ways? ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 26(4), pp. 32-39, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
technology appropriation, theories of change, multiple methods, intelligent systems, email, human-centered computing |
15 | Lucas C. Cordeiro, Bernd Fischer 0002, João Marques-Silva 0001 |
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010, pp. 160-169, 2010, IEEE Computer Society, 978-0-7695-4005-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Embedded Software Verification, Bounded Model Checking, Satisfiability Modulo Theories |
15 | Irwin King, Michael R. Lyu, Hao Ma 0001 |
Introduction to social recommendation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 19th International Conference on World Wide Web, WWW 2010, Raleigh, North Carolina, USA, April 26-30, 2010, pp. 1355-1356, 2010, ACM, 978-1-60558-799-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
social network model and theories, recommender systems, collaborative filtering, collective intelligence, social recommendation |
15 | Margus Veanes, Peli de Halleux, Nikolai Tillmann |
Rex: Symbolic Regular Expression Explorer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, April 7-9, 2010, pp. 498-507, 2010, IEEE Computer Society, 978-0-7695-3990-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
regular expressions, finite automata, strings, satisfiability modulo theories |
15 | Quintin I. Cutts, Emily Cutts, Stephen W. Draper, Patrick O'Donnell, Peter Saffrey |
Manipulating mindset to positively influence introductory programming performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 41st ACM technical symposium on Computer science education, SIGCSE 2010, Milwaukee, Wisconsin, USA, March 10-13, 2010, pp. 431-435, 2010, ACM, 978-1-4503-0006-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
attitudinal, dweck, growth mindset, self-theories, debugging, programming, cs1, cs0, novice programmers |
15 | Nikolai Tillmann, Jonathan de Halleux, Tao Xie 0001 |
Parameterized unit testing: theory and practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (2) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 483-484, 2010, ACM. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Pex, parameterized unit testing, testing, theories, unit testing, symbolic execution, mock objects |
15 | Bernhard K. Aichernig, Jifeng He 0001 |
Mutation testing in UTP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 21(1-2), pp. 33-64, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Unifying theories of programming, Algebra of programming, Specification-based testing, Mutation testing, Refinement calculus, Fault-based testing |
15 | Thomas Heinz 0001, Reinhard Wilhelm |
Towards device emulation code generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, LCTES 2009, Dublin, Ireland, June 19-20, 2009, pp. 109-118, 2009, ACM, 978-1-60558-356-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
bit vector arithmetic, device emulation, code generation, binary translation, satisfiability modulo theories |
15 | Paulo Leitão |
Holonic Rationale and Self-organization on Design of Complex Evolvable Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HoloMAS ![In: Holonic and Multi-Agent Systems for Manufacturing, 4th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2009, Linz, Austria, August 31 - September 2, 2009. Proceedings, pp. 1-12, 2009, Springer, 978-3-642-03666-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Biological-inspired Theories, Self-organization, Emergent behavior, Holonic Manufacturing Systems |
15 | Giulio Manzonetto |
A General Class of Models of H*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2009, 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings, pp. 574-586, 2009, Springer, 978-3-642-03815-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
?-theories, non-well-pointed categories, cpo-enriched categories, relational semantics, Approximation Theorem, ?-calculus |
15 | Brian Hanks, Laurie Murphy, Beth Simon, Renée McCauley, Carol Zander |
CS1 students speak: advice for students by students. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 40th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2009, Chattanooga, TN, USA, March 4-7, 2009, pp. 19-23, 2009, ACM, 978-1-60558-183-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
mindsets, self-theories, attitudes, success factors, advice |
15 | Tanja Döring, Steffi Beckhaus, Albrecht Schmidt 0001 |
Towards a sensible integration of paper-based tangible user interfaces into creative work processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Extended Abstracts Volume, Boston, MA, USA, April 4-9, 2009, pp. 4627-4632, 2009, ACM, 978-1-60558-247-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
TUI-GUI integration, generative theories for HCI, tangible user interfaces, creativity support tools, reality-based interaction |
15 | Lucas C. Cordeiro, Bernd Fischer 0002, João Marques-Silva 0001 |
SMT-Based Bounded Model Checking for Embedded ANSI-C Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: ASE 2009, 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009, pp. 137-148, 2009, IEEE Computer Society, 978-0-7695-3891-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Embedded ANSI-C Software, Bounded Model Checking, Satisfiability Modulo Theories |
15 | Markus Rohde, Gunnar Stevens, Peter Brödner, Volker Wulf |
Towards a paradigmatic shift in IS: designing for social practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DESRIST ![In: Proceedings of the 4th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2009, Philadelphia, Pennsylvania, USA, May 7-8, 2009, 2009, ACM, 978-1-60558-408-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
design probes, social relevance, theories of practice, ontology, information systems, methodology, action research, epistemology, design science |
15 | Huibiao Zhu, Jifeng He 0001, Jonathan P. Bowen |
From algebraic semantics to denotational semantics for Verilog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 4(4), pp. 341-360, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Unifying theories of programming, Denotational semantics, Semantic relating, Verilog, Algebraic semantics |
15 | Christian Peter, Elizabeth A. Crane, Marc Fabri, Harry W. Agius, Lesley Axelrod |
Emotion in HCI: designing for people. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BCS HCI (2) ![In: Proceedings of the 22nd British HCI Group Annual Conference on HCI 2008: People and Computers XXII: Culture, Creativity, Interaction - Volume 2, BCS HCI 2008, Liverpool, United Kingdom, 1-5 September 2008, pp. 189-190, 2008, BCS, 978-1-906124-06-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
human-computer interaction, design, emotions, applications, affective computing, theories, emotion recognition, sensing |
15 | Jenneke Fokker, Huib de Ridder, Piet Westendorp, Johan A. Pouwelse |
Exploring the Acceptability of Delayed Reciprocity in Peer-to-Peer Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PERSUASIVE ![In: Persuasive Technology, Third International Conference, PERSUASIVE 2008, Oulu, Finland, June 4-6, 2008. Proceedings, pp. 237-240, 2008, Springer, 978-3-540-68500-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
quantitative research, theories, social issues, User communities |
15 | Maurice Joseph McGinley |
A map of the television experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UXTV ![In: Proceeding of the 1st International Conference on Designing Interactive User Experiences for TV and Video, UXTV 2008, Silicon Valley, California, USA, October 22-24, 2008, pp. 147-150, 2008, 978-1-60558-100-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
hci theories, activity theory, distributed cognition, interactive television, television, phenomenology |
15 | Yifat Ben-David Kolikant |
Computer-science education as a cultural encounter: a socio-cultural framework for articulating learning difficulties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 13th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2008, Madrid, Spain, June 30 - July 2, 2008, pp. 291-295, 2008, ACM, 978-1-60558-078-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
sociocultural theories, correctness, learning difficulties |
15 | Yogesh Kumar Dwivedi, Michael D. Williams, Banita Lal |
The Diffusion of Research on the Adoption and Diffusion of Information Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Open IT-Based Innovation ![In: Open IT-Based Innovation: Moving Towards Cooperative IT Transfer and Knowledge Diffusion, IFIP TC8 WG 8.6 International Working Conference, October 22-24, 2008, Madrid, Spain, pp. 3-22, 2008, Springer, 978-0-387-87502-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
research context, information systems, IT, theories, ICT, Adoption, diffusion, research method, acceptance, research issues |
15 | Jörn Sprado, Björn Gottfried |
Grammar-Based Argument Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (1) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part I, pp. 330-340, 2008, Springer, 978-3-540-85562-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
argument construction, cross-serial dependencies, historical theories, historical information sources, Formal grammars |
15 | Thomas Eiter, Kazuhisa Makino |
On computing all abductive explanations from a propositional Horn theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 54(5), pp. 24, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Horn theories, dualization problem, polynomial total-time computation, NP-hardness, Abduction, model-based reasoning, propositional logic, tractability, prime implicates, characteristic set, enumeration algorithms |
15 | Darrell P. Rowbottom |
The Insufficiency of the Dutch Book Argument. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 87(1), pp. 65-71, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Dutch Book, probabilistic theories of rationality, subjective interpretation of probability, coherence, degrees of belief |
15 | Alberto Ciaffaglione, Luigi Liquori, Marino Miculan |
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 39(1), pp. 1-47, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Functional and imperative object-calculi, Logical foundations of programming, Coinductive type theories, Logical frameworks, Interactive theorem proving |
15 | Christian Peter, Russell Beale, Elizabeth A. Crane, Lesley Axelrod |
Emotion in HCI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BCS HCI (2) ![In: Proceedings of the 21st British HCI Group Annual Conference on HCI 2007: HCI...but not as we know it - Volume 2, BCS HCI 2007, University of Lancaster, United Kingdom, 3-7 September 2007, pp. 211-212, 2007, BCS, 978-1-902505-95-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
human-computer interaction, design, emotions, applications, affective computing, theories, emotion recognition, sensing |
15 | Michael E. Atwood, John Horner |
Redesigning the Rationale for Design Rationale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (1) ![In: Human-Computer Interaction. Interaction Design and Usability, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I, pp. 11-19, 2007, Springer, 978-3-540-73104-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
theories of design, Design rationale, interactive systems design |
15 | Lucas Stephane |
Cognitive and Emotional Human Models Within a Multi-agent Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (13) ![In: Engineering Psychology and Cognitive Ergonomics, 7th International Conference, EPCE 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, pp. 609-618, 2007, Springer, 978-3-540-73330-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Cognitive theories of emotion, Multi-Agent systems, Cognitive modeling, Situation Awareness, Workload, Self Awareness |
15 | Henning Breuer, Nelson Baloian, Christian Sousa, Mitsuji Matsumoto |
Interaction Design Patterns for Classroom Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (4) ![In: Human-Computer Interaction. HCI Applications and Services, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV, pp. 163-172, 2007, Springer, 978-3-540-73109-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Interaction Design Patterns, Pen-Tablets, Open Space, PDAs, Educational Technology, Activity Theory, Learning Theories, Classroom, Gesture-based Interaction, Whiteboards |
15 | Michele Bugliesi, Marco Giunti |
Secure implementations of typed channel abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007, pp. 251-262, 2007, ACM, 1-59593-575-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
language encodings, typed behavioral theories, full abstraction |
15 | Leo Freitas, Jim Woodcock 0001 |
Proving Theorems About JML Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods and Hybrid Real-Time Systems ![In: Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007, pp. 255-279, 2007, Springer, 978-3-540-75220-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Grand Challenge in Verified Software, Java Collections Framework, Java HashMap class, linking theories, Z/Eves, formal specification, Z, software verification, JML, Java Modeling Language, mechanical theorem proving, Verified Software Repository |
15 | Jenneke Fokker, Huib de Ridder, Piet Westendorp, Johan A. Pouwelse |
Psychological Backgrounds for Inducing Cooperation in Peer-to-Peer Television. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroITV ![In: Interactive TV: a Shared Experience, 5th European Conference, EuroITV 2007, Amsterdam, The Netherlands, May 24-25, 2007, Proceedings, pp. 136-145, 2007, Springer, 978-3-540-72558-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Peer-to-peer technology, inducing cooperation, (social) psychological theories, altruism |
15 | Theodore Patkos, Antonis Bikakis, Grigoris Antoniou, Maria Papadopouli, Dimitris Plexousakis |
Distributed AI for Ambient Intelligence: Issues and Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AmI ![In: Ambient Intelligence, European Conference, AmI 2007, Darmstadt, Germany, November 7-10, 2007, Proceedings, pp. 159-176, 2007, Springer, 978-3-540-76651-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Action Theories, Context Awareness, Ambient Intelligence, Distributed AI, Multi-agent Cooperation |
15 | Francesco Mele, Antonio Calabrese, Roberta Marseglia |
Interactive Analysis of Time in Film Stories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007, Proceedings, pp. 765-772, 2007, Springer, 978-3-540-74781-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Film Analisys, Temporal Beliefs, Cognitive Agent Theories |
15 | Agostino Dovier, Andrea Formisano 0001, Eugenio G. Omodeo |
Decidability results for sets with atoms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 7(2), pp. 269-301, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Prenex sentences, set-hyperset theories, syllogistics, unification, quantifier elimination, satisfiability problem |
15 | Christian Dzierzon |
On an Essentially Algebraic Theory for Locally Presentable Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 14(1), pp. 63-80, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
locally presentable categories, essentially algebraic theories, quasivarieties, partial algebras |
15 | Siegfried Gottwald |
Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part I: Model-Based and Axiomatic Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 82(2), pp. 211-244, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
higher level fuzzy sets, set theoretic universes, axiomatic set theories, categories of fuzzy sets, M-valued sets, fuzzy sets |
15 | Siegfried Gottwald |
Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part II: Category Theoretic Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 84(1), pp. 23-50, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
higher level fuzzy sets, set theoretic universes, axiomatic set theories, categories of fuzzy sets, M-valued sets, fuzzy sets |
15 | Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani |
Intelligent Systems and Formal Methods in Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 21(6), pp. 71-81, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
deductive software verification, software engineering, formal methods, program verification, software synthesis, satisfiability modulo theories |
15 | Wojciech Jamroga |
On the Relationship Between Playing Rationally and Knowing How to Play: A Logical Account. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2006: Advances in Artificial Intelligence, 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings, pp. 419-433, 2006, Springer, 978-3-540-69911-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
theories of agency, game-theoretical foundations, multi-agent systems, modal logic |
15 | John Horner, Michael E. Atwood |
Design rationale: the rationale and the barriers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NordiCHI ![In: Proceedings of the 4th Nordic Conference on Human-Computer Interaction 2006, Oslo, Norway, October 14-18, 2006, pp. 341-350, 2006, ACM, 1-59593-325-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
theories of design, design rationale, interactive systems design |
15 | Antti Pirhonen |
Supporting a user facing a novel application: learnability in OOBE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pers. Ubiquitous Comput. ![In: Pers. Ubiquitous Comput. 9(4), pp. 218-226, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Evaluation metaphor, Learning theories, Learnability |
15 | Massimo Merro, Francesco Zappa Nardelli |
Behavioral theory for mobile ambients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 52(6), pp. 961-1023, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Behavioral theories, concurrency, programming languages, bisimulation, process calculi |
15 | Victor Pambuccian |
Groups and Plane Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 81(3), pp. 387-398, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Erlanger Programm, mutually interpretable theories, groups generated by involutions, group actions, line reflections, metric planes |
15 | George Voutsadakis |
Categorical abstract algebraic logic categorical algebraization of first-order logic without terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 44(4), pp. 473-491, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Equivalent deductive systems, Equivalent institutions, Algebraizable institutions, Polyadic algebras, First-order logic, Monads, Institutions, Algebraic logic, Algebraizable logics, Adjunctions, Algebraic theories, Cylindric algebras, Triples |
15 | Panos Markopoulos 0001, Boris E. R. de Ruyter, Wendy E. Mackay |
Awareness systems: known results, theory, concepts and future challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2005 Conference on Human Factors in Computing Systems, CHI 2005, Portland, Oregon, USA, April 2-7, 2005, pp. 2128-2129, 2005, ACM, 1-59593-002-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
computer mediated communication, connectivity, awareness systems, affective communication, media theories |
15 | Aleksandar Ignjatovic, Arun Sharma 0001 |
Some applications of logic to feasibility in higher types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 5(2), pp. 332-350, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
higher-order complexity, second-order theories, functionals, bounded arithmetic |
15 | Mordechai Ben-Ari, Anders Berglund, Shirley Booth, Christian Holmboe |
What do we mean by theoretically sound research in computer science education? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2004, Leeds, UK, June 28-30, 2004, pp. 230-231, 2004, ACM, 1-58113-836-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
research approaches, socio-cultural research perspective, computer science education, action research, phenomenography, cognitive theories |
15 | Mikkel Jensen, Mads Søgaard |
Refocusing the contextual turn: the forgotten construction of meaning at the interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NordiCHI ![In: Proceedings of the Third Nordic Conference on Human-Computer Interaction 2004, Tampere, Finland, October 23-27, 2004, pp. 185-188, 2004, ACM, 1-58113-857-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
HCI theories, cognitive semantics, cognitivism, reflexive HCI, user interface design, cognitive linguistics |
|
|