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 × France
1 × Germany
1 × Italy
1 × Spain
2 × The Netherlands
3 × USA
Collaborated with:
∅ L.Colussi M.Gabbrielli C.Palamidessi A.G.Steenbeek F.Teusink C.Rossi J.N.Kok S.Etalle M.Marchiori K.R.Apt F.S.d.Boer
Talks about:
logic (6) program (5) constraint (3) algorithm (3) problem (3) prove (3) transform (2) correct (2) semant (2) order (2)

Person: Elena Marchiori

DBLP DBLP: Marchiori:Elena

Contributed to:

SAC 20002000
SAC 19981998
PEPM 19971997
ALP 19961996
ILPS 19951995
PPDP 19951995
ALP 19941994
POPL 19941994
ALP 19921992
JICSLP 19921992
ICLP 19911991

Wrote 12 papers:

SAC-2000-MarchioriS #algorithm #constraints #problem #random #search-based
A Genetic Local Search Algorithm for Random Binary Constraint Satisfaction Problems (EM, AGS), pp. 458–462.
SAC-2000-RossiMK #adaptation #algorithm #problem #satisfiability
An Adaptive Evolutionary Algorithm for the Satisfiability Problem (CR, EM, JNK), pp. 463–469.
SAC-1998-Marchiori98a #algorithm #clique #heuristic #problem #search-based
A simple heuristic based genetic algorithm for the maximum clique problem (EM), pp. 366–373.
PEPM-1997-EtalleGM #scheduling
A Transformation System for CLP with Dynamic Scheduling and CCP (SE, MG, EM), pp. 137–150.
ALP-1996-Marchiori96a #abstract domain #first-order #logic #using
Prime Factorizations of Abstract Domains Using First Order Logic (EM), pp. 209–223.
ILPS-1995-MarchioriT #logic programming #proving #source code #termination
Proving Termination of Logic Programs with Delay Declarations (EM, FT), pp. 447–461.
PLILP-1995-ColussiMM #constraints #data flow #logic programming #semantics #source code
A Dataflow Semantics for Constraint Logic Programs (LC, EM, MM), pp. 431–448.
ALP-1994-Marchiori94a #alias #logic programming #source code
A Logic for Variable Aliasing in Logic Programs (EM), pp. 287–304.
POPL-1994-BoerGMP #concurrent #constraints #proving #source code
Proving Concurrent Constraint Programs Correct (FSdB, MG, EM, CP), pp. 98–108.
ALP-1992-AptMP #first-order #formal method #prolog
A Theory of First-Order Built-in’s of Prolog (KRA, EM, CP), pp. 69–83.
JICSLP-1992-ColussiM #unification
A Predicate Transformer for Unification (LC, EM), pp. 67–81.
ICLP-1991-ColussiM #axiom #correctness #logic programming #proving #semantics #source code #using
Proving Correctness of Logic Programs Using Axiomatic Semantics (LC, EM), pp. 629–642.
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.