BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
1 × France
1 × Germany
1 × India
1 × Israel
1 × Japan
2 × Denmark
2 × Spain
3 × Italy
3 × United Kingdom
4 × USA
Collaborated with:
S.Soliman R.Haemmerlé E.Coquery R.Gori P.Ruet J.Fowler T.Sola M.Paltrinieri L.Albert T.Martinez J.Jourdan D.Rozzonelli A.Demeure
Talks about:
constraint (9) program (9) logic (9) concurr (4) system (4) semant (4) model (3) abstract (2) biochem (2) biocham (2)

Person: François Fages

DBLP DBLP: Fages:Fran=ccedil=ois

Contributed to:

PPDP 20152015
ICLP 20102010
SFM 20082008
RTA 20072007
ICLP 20062006
ICLP 20052005
LOPSTR 20052005
ICLP 20032003
ICLP 20022002
PPDP 20002000
JICSLP 19981998
LICS 19981998
SAS 19981998
CSL 19971997
ALP 19961996
ICLP 19951995
ILPS 19941994
PLILP 19941994
ICLP 19901990
ICALP 19881988
CADE 19841984

Wrote 21 papers:

PPDP-2015-MartinezFS #constraints
Search by constraint propagation (TM, FF, SS), pp. 173–183.
ICLP-2010-Fages10 #biology #logic #paradigm
A Logical Paradigm for Systems Biology (FF), pp. 2–3.
SFM-2008-FagesS #biology
Formal Cell Biology in Biocham (FF, SS), pp. 54–80.
RTA-2007-HaemmerleF #confluence
Abstract Critical Pairs and Confluence of Arbitrary Binary Relations (RH, FF), pp. 214–228.
ICLP-2006-HaemmerleF #prolog #revisited
Modules for Prolog Revisited (RH, FF), pp. 41–55.
ICLP-2005-CoqueryF #type system
A Type System for CHR (EC, FF), pp. 402–403.
LOPSTR-2005-Fages #automaton #constraints #logic
Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM (FF), pp. 1–5.
ICLP-2003-Fages #model checking
Symbolic Model-Checking for Biochemical Systems (FF), p. 102.
ICLP-2002-CoqueryF #morphism #named #parametricity #polymorphism #type system
TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP (EC, FF), p. 480.
PPDP-2000-Fages #concurrent #constraints #linear #logic #programming
Concurrent constraint programming and linear logic (FF), p. 44.
JICSLP-1998-FagesP #type system
A Generic Type System for CLP(chi) (FF, MP), pp. 353–354.
LICS-1998-FagesRS #concurrent #constraints #semantics #source code #verification
Phase Semantics and Verification of Concurrent Constraint Programs (FF, PR, SS), pp. 141–152.
SAS-1998-FagesG #analysis #logic programming #source code
Analysis of Normal Logic Programs (FF, RG), pp. 82–98.
CSL-1997-RuetF #commutative #concurrent #constraints #logic #programming
Concurrent Constraint Programming and Non-commutative Logic (PR, FF), pp. 406–423.
ALP-1996-FagesG #constraints #logic programming #semantics #source code
A Hierarchy of Semantics for Normal Constraint Logic Programs (FF, RG), pp. 77–91.
ICLP-1995-FagesFS #constraints #logic programming
A Reactive Constraint Logic Programming Scheme (FF, JF, TS), pp. 149–163.
ILPS-1994-JourdanFRD #concurrent #constraints #modelling #parallel #programming #scheduling #using
Data Alignment and Task Scheduling On Parallel Machines Using Concurrent Constraint Model-based Programming (JJ, FF, DR, AD), p. 678.
PLILP-1994-FagesFS #constraints #logic programming #optimisation #relational
Handling Preferences in Constraint Logic Programming with Relational Optimization (FF, JF, TS), pp. 261–276.
CLP-1990-Fages90 #fixpoint #logic programming #semantics #source code
A New Fixpoint Semantics for General Logic Programs Compared with the Well-Founded and the Stable Model Semantics (FF), pp. 441–458.
ICALP-1988-AlbertF #algorithm #analysis #complexity #multi
Average Case Complexity Analysis of the Rete Multi-Pattern Match Algorithm (LA, FF), pp. 18–37.
CADE-1984-Fages #commutative #unification
Associative-Commutative Unification (FF), pp. 194–208.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.