Sciweavers

13306 search results - page 204 / 2662
» Theoretical Computer Science
Sort
View
SPIN
2004
Springer
15 years 11 months ago
Model Checking Genetic Regulatory Networks Using GNA and CADP
Grégory Batt, Damien Bergamini, Hidde de Jo...
154
Voted
STACS
2004
Springer
15 years 11 months ago
Strongly Stable Matchings in Time O(nm) and Extension to the Hospitals-Residents Problem
Telikepalli Kavitha, Kurt Mehlhorn, Dimitrios Mich...
115
Voted
GI
2003
Springer
15 years 11 months ago
Verteiltes Video-basiertes mobiles Lernen
Hans L. Cycon, Thomas C. Schmidt, Matthias Wä...
90
Voted
GI
2003
Springer
15 years 11 months ago
Anforderungen an E-Diskurs-Plattformen illustriert am Beispiel DITO
Stefan René Salz, Oliver Märker, Angi ...
125
Voted
FOCS
2002
IEEE
15 years 11 months ago
Power from Random Strings
Eric Allender, Harry Buhrman, Michal Koucký...