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 × Croatia
1 × France
1 × Japan
1 × Poland
2 × USA
Collaborated with:
R.Alur S.N.Krishna M.Jurdzinski S.Schewe T.Varghese L.Manasa A.Durand-Gasselin E.Filiot G.K.Narwane S.Ramesh
Talks about:
time (4) transform (2) reachabl (2) automata (2) string (2) transduc (1) strategi (1) composit (1) undecid (1) symmetr (1)

Person: Ashutosh Trivedi

DBLP DBLP: Trivedi:Ashutosh

Contributed to:

DAC 20152015
ICALP (2) 20152015
LATA 20152015
LICS 20132013
LICS 20122012
ICALP 20072007

Wrote 6 papers:

DAC-2015-KrishnaNRT #analysis #composition #modelling #product line
Compositional modeling and analysis of automotive feature product lines (SNK, GKN, SR, AT), p. 6.
ICALP-v2-2015-ScheweTV #symmetry
Symmetric Strategy Improvement (SS, AT, TV), pp. 388–400.
LATA-2015-KrishnaMT #automaton #bound #decidability #problem #reachability #recursion
Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable (SNK, LM, AT), pp. 237–248.
LICS-2013-AlurDT #higher-order #monad #string #transducer
From Monadic Second-Order Definable String Transformations to Transducers (RA, ADG, AT), pp. 458–467.
LICS-2012-AlurFT #infinity #string
Regular Transformations of Infinite Strings (RA, EF, AT), pp. 65–74.
ICALP-2007-JurdzinskiT #automaton #game studies
Reachability-Time Games on Timed Automata (MJ, AT), pp. 838–849.

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.