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: Tushkanova:Elena
Contributed to:
2013
2012
2010Wrote 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.