Travelled to:
1 × Italy
1 × Sweden
1 × USA
Collaborated with:
V.K.S.Nerella S.K.Madria O.Letychevskyi S.Surapaneni
Talks about:
collect (2) approach (1) system (1) symbol (1) requir (1) object (1) explor (1) effici (1) verif (1) queri (1)
♂ Person: Thomas Weigert
DBLP: Weigert:Thomas
Facilitated 1 volumes:
Contributed to:
Wrote 3 papers:
- RE-2014-LetychevskyiW #requirements #verification
- Symbolic verification of requirements in VRS system (OL, TW), pp. 331–332.
- CSMR-2013-NerellaMW #approach #optimisation #query #using
- An Approach for Optimization of Object Queries on Collections Using Annotations (VKSN, SKM, TW), pp. 273–282.
- ASE-2011-SurapaneniNMW #performance
- Exploring caching for efficient collection operations (SS, VKSN, SKM, TW), pp. 468–471.