Sciweavers

13306 search results - page 307 / 2662
» Theoretical Computer Science
Sort
View
ICALP
2009
Springer
16 years 1 months ago
Approximating Matches Made in Heaven
Ning Chen, Nicole Immorlica, Anna R. Karlin, Moham...
FSTTCS
2009
Springer
16 years 1 months ago
Mediating for Reduction (on Minimizing Alternating Büchi Automata)
Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Ho...
SCCC
2007
IEEE
16 years 29 days ago
Specifying Fractal and GCM Components with UML
Solange Ahumada, Ludovic Apvrille, Tomás Ba...