2014

348.
default
Nassal, Alexander und Dausend, Marcel
A Board Game for Education Purposes in Software Engineering
European Conference Software Engineering Education (ECSEE)
November 2014
347.
default
Sharaf, Nada; Abdennadher, Slim und 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.
default
Nogatz, Falco und Frühwirth, Thom
From XML Schema to JSON Schema: Translation with CHR
11th Workshop on Constraint Handling Rules (CHR 2014), Vienna
Juli 2014
345.
default
Saad, Aya; Frühwirth, Thom und 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) Band 14(4-5) , Seite 461-475.
Herausgeber: Cambridge University Press,
Juli 2014
344.
default
Gall, Daniel und 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) Band 14(4-5) , Seite 525-538.
Herausgeber: Cambridge University Press,
Juli 2014

Schlüsselwörter: FormalCog

343.
default
Nassal, Alexander
A general framework for software project management simulation games
9th Iberian Conference on Information Systems and Technologies (CISTI)
Juni 2014
342.
default
Tsang, Edward
Foundations of Constraint Satisfaction
In Thom Frühwirth, Editor,
Herausgeber: BOD,
Mai 2014
ISBN: 9783735723666
341.
default
Carlsson, Mats und Frühwirth (editor), Thom
SICStus Prolog User's Manual 4.3
Mai 2014
ISBN: 9783735737441
340.
default
Wielemaker, Jan; Frühwirth, Thom; Koninck, Leslie De; Triska, Markus und Uneson, Marcus
SWI Prolog Reference Manual 7.1
Mai 2014
ISBN: 9783735738035
339.
default
Dausend, Marcel und Raschke, Alexander
Introducing Aspect–Oriented Specification for Abstract State Machines
In Ait Ameur, Yamine and Schewe, Klaus-Dieter, Editor, Abstract State Machines, Alloy, B, TLA, VDM, and Z Band 8477 aus Lecture Notes in Computer Science
Seite 174-187.
Herausgeber: Springer Berlin Heidelberg,
2014
ISBN: 978-3-662-43651-6

2013

338.
default
Zaki, Amira; Frühwirth, Thom und Abdennadher, Slim
Towards Inverse Execution of Constraint Handling Rules
Theory and Practice of Logic Programming, 13(4-5-Online-Supplement)
August 2013
337.
default
Sneyers, Jon; Schreye, Daniel De und Frühwirth, Thom
Probabilistic Legal Reasoning in CHRiSM
Selected Papers of the 29th International Conference on Logic Programming (ICLP 2013) Band 13, 4-5-Online-Supplement
Herausgeber: Cambridge University Press,
August 2013
336.
default
Sneyers, Jon; Schreye, Daniel De und Frühwirth, Thom
CHRiSM and Probabilistic Argumentation Logic
In Henning Christiansen and Jon Sneyers, Editor, CHR 2013: Proc. 10th Workshop on Constraint Handling Rules
Juli 2013
335.
default
Zaki, Amira; Rau, Matthias und Frühwirth, Thom
CHR-IDE: An Eclipse Plug-In for Constraint Handling Rules
In Henning Christiansen and Jon Sneyers, Editor, CHR 2013: Proc. 10th Workshop on Constraint Handling Rules
Juli 2013
334.
default
Dausend, Marcel; Müller, Markus und Stegmaier, Michael
An advanced Editor and Debugger for CoreASM
Universität Ulm,
März 2013
333.
default
Betz, Hariolf und Frühwirth, Thom
Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction
ACM Transactions on Computational Logic (TOCL), 14:1:1-37
Februar 2013

2012

332.
default
Saad, Aya; Gervet, Carmen und Frühwirth, Thom
CDF-Intervals Revisited
The Eleventh International Workshop on Constraint Modelling and Reformulation (ModRef 2012)
Oktober 2012
331.
default
Bolock, Alia El; Zaki, Amira und Frühwirth, Thom
Substitution-based CHR Solver for Bivariate Binomial Equation Sets
CHR 2012: Ninth International Workshop on Constraint Handling Rules
September 2012
330.
default
Sneyers, Jon und Frühwirth, Thom
Proceedings of the 9th International Workshop on Constraint Handling Rules (CHR 2012)
Band Report CW 624
Leuven, Belgium
Department of Computer Science, Katholieke Universiteit Leuven
September 2012
329.
default
Zaki, Amira; Frühwirth, Thom und Geller, Ilvar
Parallel Execution of Constraint Handling Rules on a Graphical Processing Unit
CHR '12: Proc. 9th Workshop on Constraint Handling Rules , Seite 82-90.
September 2012
328.
default
Wielemaker, Jan; Frühwirth, Thom; Koninck, Leslie De; Triska, Markus und Uneson, Marcus
SWI Prolog Reference Manual 6.2.2
September 2012
ISBN: 978-3-84-822617-7
327.
default
Breckel, Alexander
Error Mining: Bug Detection through Comparison with Large Code Database
Proceedings of the 9th International Working Conference on Mining Software Repositories
Juni 2012
326.
default
Guttmann, Walter
Algebras for Iteration and Infinite Computations
Acta Informatica,
2012
325.
default
Guttmann, Walter
Extended Designs Algebraically
Science of Computer Programming,
2012
324.
default
Guttmann, Walter
Typing Theorems of Omega Algebra
Journal of Logic and Algebraic Programming,
2012