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 × Denmark
1 × Estonia
1 × France
1 × Germany
1 × Poland
1 × Serbia
2 × Austria
2 × The Netherlands
2 × USA
3 × United Kingdom
Collaborated with:
J.Levy T.Kutsia M.Schmidt-Schauß M.Bofill A.Baumgartner D.Busquets J.Suy J.Niehren
Talks about:
unif (14) order (6) context (4) second (4) complet (3) nomin (3) anti (3) constraint (2) problem (2) higher (2)

Person: Mateu Villaret

DBLP DBLP: Villaret:Mateu

Contributed to:

RTA 20152015
RTA 20132013
RTA 20112011
PPDP 20102010
RTA 20102010
SAT 20102010
RTA 20082008
RTA 20072007
IJCAR 20062006
RTA 20062006
CADE 20052005
RTA 20042004
RTA 20022002
RTA 20012001
RTA 20002000

Wrote 15 papers:

RTA-2015-BaumgartnerKLV #anti
Nominal Anti-Unification (AB, TK, JL, MV), pp. 57–73.
RTA-2013-BaumgartnerKLV #anti #higher-order
A Variant of Higher-Order Anti-Unification (AB, TK, JL, MV), pp. 113–127.
RTA-2011-KutsiaLV
Anti-Unification for Unranked Terms and Hedges (TK, JL, MV), pp. 219–234.
PPDP-2010-BofillBV #approach #declarative #robust #satisfiability
A declarative approach to robust weighted Max-SAT (MB, DB, MV), pp. 67–76.
RTA-2010-LevyV #algorithm #performance #unification
An Efficient Nominal Unification Algorithm (JL, MV), pp. 209–226.
SAT-2010-BofillSV #constraints #problem #smt
A System for Solving Constraint Satisfaction Problems with SMT (MB, JS, MV), pp. 300–305.
RTA-2008-LevyV #higher-order #perspective #unification
Nominal Unification from a Higher-Order Perspective (JL, MV), pp. 246–260.
RTA-2007-KutsiaLV #sequence #unification
Sequence Unification Through Currying (TK, JL, MV), pp. 288–302.
IJCAR-2006-LevySV #unification
Stratified Context Unification Is NP-Complete (JL, MSS, MV), pp. 82–96.
RTA-2006-LevySV #bound #higher-order #unification
Bounded Second-Order Unification Is NP-Complete (JL, MSS, MV), pp. 400–414.
CADE-2005-LevyNV #unification
Well-Nested Context Unification (JL, JN, MV), pp. 149–163.
RTA-2004-LevySV #higher-order #monad #unification
Monadic Second-Order Unification Is NP-Complete (JL, MSS, MV), pp. 55–69.
RTA-2002-LevyV #higher-order #problem #unification
Currying Second-Order Unification Problems (JL, MV), pp. 326–339.
RTA-2001-LevyV #equation #traversal #unification
Context Unification and Traversal Equations (JL, MV), pp. 169–184.
RTA-2000-LevyV #constraints #higher-order #linear #unification
Linear Second-Order Unification and Context Unification with Tree-Regular Constraints (JL, MV), pp. 156–171.
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.