The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Thom W. Frühwirth" ( http://dblp.L3S.de/Authors/Thom_W._Frühwirth )

URL (Homepage):  http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/  Author page on DBLP  Author page in RDF  Community of Thom W. Frühwirth in ASPL-2

Publication years (Num. hits)
1988-1996 (17) 1997-2000 (17) 2001-2004 (17) 2005-2007 (15) 2008-2014 (21) 2015-2017 (25) 2018 (10)
Publication types (Num. hits)
article(50) book(3) incollection(3) inproceedings(64) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 20 occurrences of 17 keywords

Results
Found 123 publication records. Showing 122 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Daniel Gall, Thom W. Frühwirth An Operational Semantics for the Cognitive Architecture ACT-R and Its Translation to Constraint Handling Rules. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thom W. Frühwirth Rule-Based Drawing, Analysis and Generation of Graphs for Mason's Mark Design. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Thom W. Frühwirth, Daniel Gall Exploring Parallel Execution Strategies for Constraint Handling Rules - Work-in-Progress Report. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Daniel Gall, Thom W. Frühwirth Confluence Modulo Equivalence with Invariants in Constraint Handling Rules. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Thom W. Frühwirth Parallelism, concurrency and distribution in constraint handling rules: A survey. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth Rule-Based Visualization of Tableau Calculus for Propositional Logic. Search on Bibsonomy IV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth CHR^vis: Syntax and Semantics. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniel Gall, Thom W. Frühwirth Confluence Modulo Equivalence with Invariants in Constraint Handling Rules. Search on Bibsonomy FLOPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thom W. Frühwirth Rule-Based Drawing, Analysis and Generation of Graphs Applied to Mason's Mark Design. Search on Bibsonomy RuleML+RR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Falco Nogatz, Thom W. Frühwirth, Dietmar Seipel CHR.js: A CHR Implementation in JavaScript. Search on Bibsonomy RuleML+RR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thom W. Frühwirth Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Thom W. Frühwirth A Devil's Advocate against Termination of Direct Recursion. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Thom W. Frühwirth Constraint Handling Rules - What Else? Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Thom W. Frühwirth Why Can't You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Daniel Gall, Thom W. Frühwirth An Operational Semantics for the Cognitive Architecture ACT-R and its Translation to Constraint Handling Rules. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth Visualization of Constraint Handling Rules: Semantics and Applications. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Daniel Gall, Thom W. Frühwirth A Decidable Confluence Test for Cognitive Models in ACT-R. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Thom W. Frühwirth Parallelism, Concurreny and Distribution in Constraint Handling Rules: A Survey (Draft). Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth A Rule-Based Approach for Automatic Interaction Detection and Annotation. Search on Bibsonomy IV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth CHR-Graph: A Platform for Animating Tree and Graph Algorithms. Search on Bibsonomy IV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thom W. Frühwirth Implementation of Logical Retraction in Constraint Handling Rules with Justifications. Search on Bibsonomy DECLARE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Daniel Gall, Thom W. Frühwirth A Decidable Confluence Test for Cognitive Models in ACT-R. Search on Bibsonomy RuleML+RR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth Using Rules to Animate Prolog Programs. Search on Bibsonomy RuleML+RR (Supplement) The full citation details ... 2017 DBLP  BibTeX  RDF
1Thom W. Frühwirth Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth A Rule-Based Approach for Animating Java Algorithms. Search on Bibsonomy IV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth, Daniel Gall Animating Cognitive Models and Architectures: A Rule-Based Approach. Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth A Rule Based Approach to teach Mathematics using Animation. Search on Bibsonomy RuleML (Supplement) The full citation details ... 2016 DBLP  BibTeX  RDF
1Daniel Gall, Thom W. Frühwirth Translation of Cognitive Models from ACT-R to Constraint Handling Rules. Search on Bibsonomy RuleML The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thom W. Frühwirth Why Can't You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints. Search on Bibsonomy RuleML The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth DiagrammaticCHR: A Diagrammatic Representation of CHR Programs. Search on Bibsonomy IV The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Daniel Gall, Thom W. Frühwirth A refined operational semantics for ACT-R: investigating the relations between different ACT-R formalizations. Search on Bibsonomy PPDP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thom W. Frühwirth A devil's advocate against termination of direct recursion. Search on Bibsonomy PPDP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thom W. Frühwirth Constraint Handling Rules - What Else? Search on Bibsonomy RuleML The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Amira Zaki, Slim Abdennadher, Thom W. Frühwirth Combining Forward and Backward Propagation. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Verónica Dahl, Sergio Tessaris, Thom W. Frühwirth Imperfect Querying through Womb Grammars plus Ontologies. Search on Bibsonomy JOWO@IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth Visualization of Constraint Handling Rules. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Daniel Gall, Thom W. Frühwirth Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Falco Nogatz, Thom W. Frühwirth From XML Schema to JSON Schema: Translation with CHR. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Aya Saad, Thom W. Frühwirth, Carmen Gervet The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Daniel Gall, Thom W. Frühwirth Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Aya Saad, Thom W. Frühwirth, Carmen Gervet The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth CHRAnimation: An Animation Tool for Constraint Handling Rules. Search on Bibsonomy LOPSTR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Daniel Gall, Thom W. Frühwirth A Formal Semantics for the Cognitive Architecture ACT-R. Search on Bibsonomy LOPSTR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Hariolf Betz, Thom W. Frühwirth Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jon Sneyers, Danny De Schreye, Thom W. Frühwirth Probabilistic legal reasoning in CHRiSM. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Amira Zaki, Thom W. Frühwirth, Slim Abdennadher Towards Inverse Execution of Constraint Handling Rules. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Andrea Triossi, Salvatore Orlando 0001, Alessandra Raffaetà, Thom W. Frühwirth Compiling CHR to parallel hardware. Search on Bibsonomy PPDP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Frank Raiser, Thom W. Frühwirth Analysing graph transformation systems through constraint handling rules. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Frank Raiser, Thom W. Frühwirth Analyzing Graph Transformation Systems through Constraint Handling Rules Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Hariolf Betz, Frank Raiser, Thom W. Frühwirth A Complete and Terminating Execution Model for Constraint Handling Rules Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Hariolf Betz, Thom W. Frühwirth Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Hariolf Betz, Frank Raiser, Thom W. Frühwirth A complete and terminating execution model for Constraint Handling Rules. Search on Bibsonomy TPLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Frank Raiser, Thom W. Frühwirth Strong Joinability Analysis for Graph Transformation Systems in CHR. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth Theory of finite or infinite trees revisited. Search on Bibsonomy TPLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Thom W. Frühwirth (eds.) Constraint Handling Rules, Current Research Topics Search on Bibsonomy 2008 DBLP  DOI  BibTeX  RDF
1Thom W. Frühwirth Welcome to Constraint Handling Rules. Search on Bibsonomy Constraint Handling Rules The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth Theory of Finite or Infinite Trees Revisited Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees. Search on Bibsonomy SAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF CHR (Constraint Handling Rules), first-order constraints solving, theory of finite or infinite trees, Prolog, unification
1Thom W. Frühwirth Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR. Search on Bibsonomy CSCLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Thom W. Frühwirth, Laurent Michel, Christian Schulte 0001 Constraints in Procedural and Concurrent Languages. Search on Bibsonomy Handbook of Constraint Programming The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, Thom W. Frühwirth Automatic Implication Checking for CHR Constraints. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Thom W. Frühwirth Optimal union-find in Constraint Handling Rules. Search on Bibsonomy TPLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Thom W. Frühwirth Constraint handling rules: the story so far. Search on Bibsonomy PPDP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF concurrency, applications, program analysis, constraint programming, constraint solving, executable specification, computational logic, rule-based programming
1Marc Meister, Khalil Djelloul, Thom W. Frühwirth Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees. Search on Bibsonomy CSCLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Thom W. Frühwirth Optimal Union-Find in Constraint Handling Rules Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Slim Abdennadher, Thom W. Frühwirth, Christian Holzbaur Introduction to the Special Issue on Constraint Handling Rules. Search on Bibsonomy TPLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Thom W. Frühwirth Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Thom W. Frühwirth Analysing the CHR Implementation of Union-Find. Search on Bibsonomy W(C)LP The full citation details ... 2005 DBLP  BibTeX  RDF
1Armin Wolf, Thom W. Frühwirth, Marc Meister (eds.) 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005 Search on Bibsonomy W(C)LP The full citation details ... 2005 DBLP  BibTeX  RDF
1Hariolf Betz, Thom W. Frühwirth A Linear-Logic Semantics for Constraint Handling Rules. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Thom W. Frühwirth Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains. Search on Bibsonomy CSCLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Thom W. Frühwirth, Slim Abdennadher The Munich Rent Advisor: A Success for Logic Programming on the Internet Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Stefano Bistarelli, Thom W. Frühwirth, Michael Marte, Francesca Rossi Soft Constraint Propagation and Solving in Constraint Handling Rules. Search on Bibsonomy Computational Intelligence The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Susanne Biundo, Thom W. Frühwirth, Günther Palm (eds.) KI 2004: Advances in Artificial Intelligence, 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings Search on Bibsonomy KI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Thom W. Frühwirth Specialization of Concurrent Guarded Multi-set Transformation Rules. Search on Bibsonomy LOPSTR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Thom W. Frühwirth, Slim Abdennadher Essentials of constraint programming. Search on Bibsonomy 2003 DBLP  BibTeX  RDF
1Thom W. Frühwirth, Christian Holzbaur Source-to-Source Transformation for a Class of Expressive Rules. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Slim Abdennadher, Thom W. Frühwirth Integration and Optimization of Rule-Based Constraint Solvers. Search on Bibsonomy LOPSTR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Thom W. Frühwirth, Alessandra Di Pierro, Herbert Wiklicky Probabilistic Constraint Handling Rules. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Peggy S. Eaton, Thom W. Frühwirth, Milind Tambe Special Issue on Constraint Agents. Search on Bibsonomy Constraints The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Stefano Bistarelli, Thom W. Frühwirth, Michael Marte Soft constraint propagation and solving in CHRs. Search on Bibsonomy SAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF constraint reasoning algorithms, constraint programming
1Slim Abdennadher, Thom W. Frühwirth Using Program Analysis for Integration and Optimization of Rule-based Constraint Solvers. Search on Bibsonomy JFPLC The full citation details ... 2002 DBLP  BibTeX  RDF
1Thom W. Frühwirth As Time Goes by: Automatic Complexity Analysis of Simplified Rules. Search on Bibsonomy KR The full citation details ... 2002 DBLP  BibTeX  RDF
1Thom W. Frühwirth, Slim Abdennadher Tutorial: Reasoning with, about and for Constraint Handling Rules. Search on Bibsonomy FroCoS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Thom W. Frühwirth On the number of rule applications in constraint programs. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Thom W. Frühwirth As Time Goes By II: More Automatic Complexity Analysis of Concurrent Rule Programs. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Thom W. Frühwirth, Slim Abdennadher The Munich Rent Advisor: A Success for Logic Programming on the Internet. Search on Bibsonomy TPLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Alessandra Raffaetà, Thom W. Frühwirth Spatio-temporal Annotated Constraint Logic Programming. Search on Bibsonomy PADL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF constraint logic programming, Spatio-temporal reasoning, annotated logics
1Christian Holzbaur, Thom W. Frühwirth Guest Editorial. Search on Bibsonomy Applied Artificial Intelligence The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Christian Holzbaur, Thom W. Frühwirth A PROLOG Constraint Handling Rules Compiler and Runtime System. Search on Bibsonomy Applied Artificial Intelligence The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Thom W. Frühwirth, Pascal Brisset Placing Base Stations in Wireless Indoor Communication Networks. Search on Bibsonomy IEEE Intelligent Systems The full citation details ... 2000 DBLP  DOI  BibTeX  RDF antenna placement, constraint-based optimization, path-loss model, picocellular radio, simulation of radio cells, constraint programming
1Slim Abdennadher, Thom W. Frühwirth Definition von angepaßten Constraint-Solvern mit Constraint-Handling-Rules. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Thom W. Frühwirth Predicting Derivation Lengths in Rule-based Constraint Programs. Search on Bibsonomy JFPLC The full citation details ... 2000 DBLP  BibTeX  RDF
1Slim Abdennadher, Thom W. Frühwirth, Holger Meuss Confluence and Semantics of Constraint Simplification Rules. Search on Bibsonomy Constraints The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Thom W. Frühwirth Proving Termination of Constraint Solver Programs. Search on Bibsonomy New Trends in Constraints The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Luis Mandel, Marcelo Campo, Analía Amandi, Thom W. Frühwirth, Bernd Meyer 0001, Slim Abdennadher, Bernhard Bauer JACK - Java Constraint Kit. Search on Bibsonomy German-Argentinian Workshop on Information Technology The full citation details ... 1999 DBLP  BibTeX  RDF
1Angelo E. M. Ciarlini, Thom W. Frühwirth Symbolic Execution for the Derivation of Meaningful Properties of Hybrid Systems. Search on Bibsonomy ICLP The full citation details ... 1999 DBLP  BibTeX  RDF
1Christian Holzbaur, Thom W. Frühwirth Compiling Constraint Handling Rules into Prolog with Attributed Variables. Search on Bibsonomy PPDP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Slim Abdennadher, Thom W. Frühwirth Operational Equivalence of CHR Programs and Constraints. Search on Bibsonomy CP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Thom W. Frühwirth Theory and Practice of Constraint Handling Rules. Search on Bibsonomy J. Log. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 122 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license