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 × Cyprus
1 × Estonia
1 × The Netherlands
Collaborated with:
A.Giorgetti O.Kouchnarenko C.Ringeissen C.Marché
Talks about:
base (2) superposit (1) framework (1) procedur (1) calculus (1) specifi (1) schemat (1) program (1) generic (1) automat (1)

Person: Elena Tushkanova

DBLP DBLP: Tushkanova:Elena

Contributed to:

RTA 20132013
WRLA 20122012
LDTA 20102010

Wrote 3 papers:

RTA-2013-TushkanovaRGK #automation #calculus #decidability
Automatic Decidability: A Schematic Calculus for Theories with Counting Operators (ET, CR, AG, OK), pp. 303–318.
WRLA-2012-TushkanovaGRK #framework #rule-based
A Rule-Based Framework for Building Superposition-Based Decision Procedures (ET, AG, CR, OK), pp. 221–239.
LDTA-2010-GiorgettiMTK #case study #java #source code #specification
Specifying generic Java programs: two case studies (AG, CM, ET, OK), p. 8.

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.