2015

364.
Vogel-Heuser, Birgit; Fay, Alexander; Schaefer, Ina; Tichy, Matthias
Evolution of software in automated production systems - Challenges and Research Directions
Journal of Systems and Software, 110 :54-84
December 2015
Publisher: Elsevier
DOI:10.1016/j.jss.2015.08.026
363.
Vogel-Heuser, Birgit; Rösch, Susanne; Martini, Antonio; Tichy, Matthias
Technical Debt in Automated Production Systems
Proc. of the 7th International Workshop on Managing Technical Debt, October 2nd, Bremen, Germany
October 2015
DOI:10.1109/MTD.2015.7332624
362.
Maro, Salome; Steghöfer, Jan-Philipp; Anjorin, Anthony; Tichy, Matthias; Gelin, Lars
On Integrating Graphical and Textual Editors for a UML Based Domain Specific Language - An Industrial Experience
Proc. of 8th ACM SIGPLAN International Conference on Software Language Engineering (SLE)
October 2015
DOI:10.1145/2814251.2814253
361.
Gall, Daniel; Frühwirth, Thom
A Formal Semantics for the Cognitive Architecture ACT-R
, Revised Selected Papers of the 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2014)Volume8981
Publisher: Springer LNCS
September 2015
DOI:10.1007/978-3-319-17822-6_5
File:pdfhttp://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/act-r-semantics-2015.pdf
360.
Sharaf, Nada; Abdennadher, Slim; Frühwirth, Thom
CHRAnimation: An Animation Tool for Constraint Handling Rules
, Revised Selected Papers of the 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2014)Volume8981
Publisher: Springer LNCS
September 2015
File:pdfhttp://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/chr-animation-2015.pdf
359.
Zaki, Amira; Abdennadher, Slim; Frühwirth, Thom
Combining Forward and Backward Propagation
10th International Symposium on Frontiers of Combining Systems (FroCoS'15)
September 2015
DOI:10.1007/978-3-319-24246-0_19
File:pdfhttp://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/zaki-frocos-2015.pdf
358.
Liebel, Grischa; Tichy, Matthias
Comparing Comprehensibility of Modelling Languages for SpecifyingBehavioural Requirements
Proc. of the First International Workshop on Human Factors in Modeling (HuFaMo’15) at MODELS 2015, September 28th, Ottawa, Canada
September 2015
357.
Frühwirth, Thom
Constraint Handling Rules - What Else?
Invited Survey Paper, The 9th International Web Rule Symposium (RuleML)
August 2015
DOI:10.1007/978-3-319-21542-6_2
File:pdfhttp://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/ruleML-keynote-chr-survey-15.pdf
356.
Dahl, Veronica; Tessaris, Sergio; Frühwirth, Thom
Imperfect Querying through Womb Grammars plus Ontologies
Workshop Ontologies and Logic Programming for Query Answering (ONTOLP'15) at IJCAI-2015, Buenos Aires
July 2015
DOI:10.1109/iV.2015.31
355.
Sharaf, Nada; Abdennadher, Slim; Frühwirth, Thom
DiagrammaticCHR: A Diagrammatic Representation of CHR Program
19th International Conference Information Visualisation (iV2015)
Publisher: IEEE Digital Library
July 2015
DOI:10.1109/iV.2015.31
354.
Gall, Daniel; Frühwirth, Thom
A Refined Operational Semantics for ACT-R
ACM 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015), Siena, Italy
July 2015
DOI:10.1145/2790449.2790517
353.
Frühwirth, Thom
A Devil's Advocate against Termination of Direct Recursion
ACM 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015), Siena, Italy
July 2015
File:pdfhttp://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/devils-advocate-ppdp-15.pdf
352.
Gall, Daniel; Frühwirth, Thom
An Adaptable Implementation of ACT-R with Refraction in Constraint Handling Rules
13th International Conference on Cognitive Modeling (ICCM), Groningen
April 2015
351.
Nassal, Alexander
Projektmanagement spielend lernen
In Axel Schmolitzky and Anna Sabine Hauptmann, Editor, Tagungsband des 14. Workshops ''Software Engineering im Unterricht der Hochschulen" 2015Volume1332fromCEUR Workshop Proceedings, Page 53-64
14. Workshops "Software Engineering im Unterricht der Hochschulen"
Dresden, Deutschland
26. - 27. Februar 2015
In Axel Schmolitzky and Anna Sabine Hauptmann, Editor
Publisher: CEUR-WS.org
February 2015

2014

350.
Betz, Hariolf; Frühwirth (editor), Thom; Schöning (editor), Uwe
A Unified Analytical Foundation for Constraint Handling Rules
Publisher: BOD
December 2014
ISBN:9783734732508
349.
Nassal, Alexander; Dausend, Marcel
A Board Game for Education Purposes in Software Engineering
European Conference Software Engineering Education (ECSEE)
November 2014
348.
Kowalski, Robert; Frühwirth (editor), Thom
Logic for Problem Solving, Revisited
Publisher: BOD
November 2014
ISBN:9783837036299
347.
Sharaf, Nada; Abdennadher, Slim; Frühwirth, Thom
A Visualization Tool for Constraint Handling Rules
24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2014), Canterbury, UK
September 2014
346.
Nogatz, Falco; Frühwirth, Thom
From XML Schema to JSON Schema: Translation with CHR
11th Workshop on Constraint Handling Rules (CHR 2014), Vienna
July 2014
345.
Saad, Aya; Frühwirth, Thom; Gervet, Carmen
The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information
, Selected Papers of the 30th International Conference on Logic Programming (ICLP 2014)Volume14(4-5), Page 461-475
Publisher: Cambridge University Press
July 2014
DOI:10.1017/S1471068414000143
344.
Gall, Daniel; Frühwirth, Thom
Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R
, Selected Papers of the 30th International Conference on Logic Programming (ICLP 2014)Volume14(4-5), Page 525-538
Publisher: Cambridge University Press
July 2014
343.
Nassal, Alexander
A general framework for software project management simulation games
9th Iberian Conference on Information Systems and Technologies (CISTI)
June 2014
DOI:10.1109/CISTI.2014.6877074
342.
Tsang, Edward
Foundations of Constraint Satisfaction
In Thom Frühwirth, Editor
Publisher: BOD
May 2014
ISBN:9783735723666
341.
Carlsson, Mats; Frühwirth (editor), Thom
SICStus Prolog User's Manual 4.3
May 2014
Publisher: BOD
ISBN:9783735737441
340.
Wielemaker, Jan; Frühwirth, Thom; Koninck, Leslie De; Triska, Markus; Uneson, Marcus
SWI Prolog Reference Manual 7.1
May 2014
Publisher: BOD
ISBN:9783735738035