BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Canada
1 × France
1 × Germany
1 × Sweden
1 × Switzerland
3 × Italy
3 × Japan
6 × USA
Collaborated with:
R.D.Cosmo J.Niehren S.Zacchiroli N.Jeannerod P.Abate P.Lafourcade D.Lugiez N.Dershowitz G.Smolka S.Kremer A.Mercier M.Müller A.Podelski Y.Régis-Gianas F.Seynhaeve M.Tommasi A.Boiret V.Hugot S.Delaune C.Artho K.Suzaki Z.Su A.Aiken T.Priesnitz L.Gesbert F.L.Fessant M.Lienhardt J.Zwolakowski A.Eiche A.Agahi F.Mancinelli J.Boender J.Vouillon B.Durak X.Leroy
Talks about:
theori (6) constraint (5) order (5) tree (5) first (4) packag (3) logic (3) repositori (2) homomorph (2) protocol (2)

Person: Ralf Treinen

DBLP DBLP: Treinen:Ralf

Facilitated 1 volumes:

RTA 2009Ed

Contributed to:

LATA 20152015
MSR 20152015
ASE 20142014
CBSE 20122012
MSR 20122012
CBSE 20112011
IJCAR 20082008
ASE 20062006
ICALP (2) 20062006
RTA 20052005
POPL 20022002
FoSSaCS 20002000
LICS 19981998
RTA 19981998
RTA 19961996
RTA 19931993
JICSLP 19921992
SLE 20182018
IJCAR 20182018

Wrote 20 papers:

LATA-2015-BoiretHNT #constraints #logic
Logics for Unordered Trees with Data Constraints on Siblings (AB, VH, JN, RT), pp. 175–187.
MSR-2015-AbateCGFTZ #component #mining #repository
Mining Component Repositories for Installability Issues (PA, RDC, LG, FLF, RT, SZ), pp. 24–33.
ASE-2014-CosmoLTZZEA #automation #deployment #synthesis
Automated synthesis and deployment of cloud applications (RDC, ML, RT, SZ, JZ, AE, AA), pp. 211–222.
CBSE-2012-AbateCTZ #component #future of #learning #repository
Learning from the future of component repositories (PA, RDC, RT, SZ), pp. 51–60.
MSR-2012-ArthoSCTZ #question #why
Why do software packages conflict? (CA, KS, RDC, RT, SZ), pp. 141–150.
CBSE-2011-AbateCTZ #composition #named
MPM: a modular package manager (PA, RDC, RT, SZ), pp. 179–188.
IJCAR-2008-KremerMT #protocol #proving
Proving Group Protocols Secure Against Eavesdroppers (SK, AM, RT), pp. 116–131.
ASE-2006-MancinelliBCVDLT #complexity #open source #scalability
Managing the Complexity of Large Free and Open Source Package-Based Software Distributions (FM, JB, RDC, JV, BD, XL, RT), pp. 199–208.
ICALP-v2-2006-DelauneLLT #analysis #morphism #protocol
Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or (SD, PL, DL, RT), pp. 132–143.
RTA-2005-LafourcadeLT #deduction #equation #morphism
Intruder Deduction for AC-Like Equational Theories with Homomorphisms (PL, DL, RT), pp. 308–322.
POPL-2002-SuANPT #constraints #first-order #type system
The first-order theory of subtyping constraints (ZS, AA, JN, TP, RT), pp. 203–216.
FoSSaCS-2000-Treinen #automaton #logic #testing
Predicate Logic and Tree Automata with Tests (RT), pp. 329–343.
LICS-1998-MullerNT #constraints #first-order
The First-Order Theory of Ordering Constraints over Feature Trees (MM, JN, RT), pp. 432–443.
RTA-1998-DershowitzT #database #online #problem
An On-line Problem Database (ND, RT), pp. 332–342.
RTA-1996-Treinen #decidability #first-order
The First-Order Theory of One-Step Rewriting is Undecidable (RT), pp. 276–286.
RTA-1993-NiehrenPT #constraints #equation #finite
Equational and Membership Constraints for Finite Trees (JN, AP, RT), pp. 106–120.
JICSLP-1992-SmolkaT #logic programming
Records for Logic Programming (GS, RT), pp. 240–254.
SLE-2018-Regis-GianasJT #named #parsing
Morbig: a static parser for POSIX shell (YRG, NJ, RT), pp. 29–41.
TAPSOFT-1997-SeynhaeveTT #constraints #decidability #grid
Grid Structure and Undecidable Constraint Theories (FS, MT, RT), pp. 357–368.
IJCAR-2018-JeannerodT #algebra #first-order
Deciding the First-Order Theory of an Algebra of Feature Trees with Updates (NJ, RT), pp. 439–454.

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.