Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Authors
(477)
Michael Leuschel
19
John P. Gallagher
18
Mario Ornaghi
17
German Puebla
15
Manuel V. Hermenegildo
15
Kung-Kiu Lau
14
Maurice Bruynooghe
14
Wim Vanhoof
13
Maurizio Proietti
12
Annalisa Bossi
12
Keywords
(434)
Subscribe
Academic
Conferences
LOPSTR - Logic Program Synthesis and Transformation
LOPSTR - Logic Program Synthesis and Transformation
Publications: 402
|
Citation Count: 2,649 (Self-Citation: 326)
|
H-Index: 23Year Range: 1990-2011
Interests:
Software Engineering
,
Programming Languages
Paper submissions due: 11 May 2012, Duration:
18 - 20 September 2012, Leuven, Belgium
Homepage
|
CFP
The information isn't correct? You can
edit it
Cumulative
Annual
Order by:
Publications
(402)
Modular Extensions for Modular (Logic) Languages
Jos'e F. Morales
,
Manuel V. Hermenegildo
,
Remy Haemmerle
Conference:
Logic Program Synthesis and Transformation - LOPSTR
, 2011
Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System
(
Citations: 1
)
Jónathan Heras
,
Vico Pascual
,
Julio Rubio
Conference:
Logic Program Synthesis and Transformation - LOPSTR
, pp. 37-51, 2010
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation
(
Citations: 1
)
Fabio Fioravanti
,
Alberto Pettorossi
,
Maurizio Proietti
,
Valerio Senni
Conference:
Logic Program Synthesis and Transformation - LOPSTR
, pp. 164-183, 2010
Verification of the Schorr-Waite Algorithm - From Trees to Graphs
(
Citations: 1
)
Mathieu Giorgino
,
Martin Strecker
,
Ralph Matthes
,
Marc Pantel
Conference:
Logic Program Synthesis and Transformation - LOPSTR
, pp. 67-83, 2010
Compositional CLP-Based Test Data Generation for Imperative Languages
Elvira Albert
,
Miguel Gómez-Zamalloa
,
José Miguel Rojas
,
Germán Puebla
Conference:
Logic Program Synthesis and Transformation - LOPSTR
, pp. 99-116, 2010