Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(49)
Slim Abdennadher
30
Tom Schrijvers
8
Pascal Brisset
7
Christian Holzbaur
5
Frank Raiser
5
Conferences
(22)
CP
6
ICLP(JICSLP)
4
WLP
4
PPDP
3
Constraint Solving and Constraint Logic Programming
3
Journals
(14)
ENTCS
8
TPLP
6
CONSTRAINTS
3
EXPERT
2
CORR
2
Keywords
(129)
Embed
Subscribe
Academic
Authors
Thom W. Fruhwirth
Thom W. Fruhwirth (Thom W. Frühwirth),University of Ulm,Programming Languages,Software Engineering,Algorithms & Theory
Edit
Thom W. Fruhwirth (Thom W. Frühwirth)
University of Ulm
Publications:
108
|
Citations:
1352
Fields:
Programming Languages
,
Software Engineering
,
Algorithms & Theory
View FAQ about top research areas and Fields of study
Collaborated with
49 co-authors
from 1990 to 2010
|
Cited by
733 authors
Cumulative
Annual
Sort by:
Publications
(108)
BibTeX
|
RIS
|
RefWorks
Download
A complete and terminating execution model for Constraint Handling Rules
(
Citations: 4
)
Hariolf Betz
,
Frank Raiser
,
Thom W. Frühwirth
Journal:
Theory and Practice of Logic Programming - TPLP
, vol. 10, no. 4-6, pp. 597-610, 2010
Analyzing Graph Transformation Systems through Constraint Handling Rules
Frank Raiser
,
Thom W. Frühwirth
Journal:
Computing Research Repository - CORR
, vol. abs/1006.1, 2010
Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction
Hariolf Betz
,
Thom W. Frühwirth
Journal:
Computing Research Repository - CORR
, vol. abs/1009.2, 2010
Analysing graph transformation systems through constraint handling rules
FRANK RAISER
,
THOM FRÜHWIRTH
Journal:
Theory and Practice of Logic Programming - TPLP
, vol. 10, no. 02, pp. 1-45, 2010
Equivalence of CHR States Revisited
(
Citations: 6
)
Frank Raiser
,
Hariolf Betz
,
Thom Fruhwirth
Published in 2009.
Sort by:
Citations
(1352 times by 792 publications)
An overview of Ciao and its design philosophy
(
Citations: 1
)
Manuel V. Hermenegildo
,
Francisco Bueno
,
Manuel Carro
,
Pedro López-García
,
Edison Mera
,
José F. Morales
,
German Puebla
Journal:
Computing Research Repository - CORR
, vol. abs/1102.5, 2011
Distributed Active Objects -- A Systemic Approach to Distributed Mobile Applications
Daniel Graff
,
Jan Richling
,
Tammo M. Stupp
,
Matthias Werner
Conference:
IEEE Workshop on Engineering of Autonomic and Autonomous Systems - EASE
, 2011
OutsideIn(X): Modular type inference with local assumptions
Dimitrios Vytiniotis
,
Simon Peyton Jones
,
Tom Schrijvers
,
Martin Sulzmann
Published in 2011.
Satisfiability algorithms for conjunctive queries over trees
James Cheney
Conference:
International Conference on Database Theory - ICDT
, pp. 150-161, 2011
Canonical Regular Types
Ethan K. Jackson
,
nikolaj bjorner
,
wolfram schulte
Published in 2011.
Comments