Stöbern nach Publikationsorgan

Gruppieren nach: Erscheinungsjahr | Autoren | Keine Sortierung

Springe zu: 2009 | 2004 | 2001 | 2000 | 1997 | 1996 | 1991

Anzahl der Einträge: 9.

2009

Mittal, Neeraj ; Phaneesh, Kuppahalli L. ; Freiling, Felix (2009) Safe termination detection in an asynchronous distributed system when processes may crash and recover. Theoretical Computer Science Amsterdam [u.a.] 410 6/7 614-628 [Zeitschriftenartikel]

2004

Majster-Cederbaum, Mila ; Salger, Frank (2004) Towards the Hierarchical Development of Reactive Systems. Theoretical Computer Science Berlin [u.a.] 318 3 243-296 [Zeitschriftenartikel]

2001

Majster-Cederbaum, Mila (2001) Underspecification for a simple process algebra of recursive processes. Theoretical Computer Science Amsterdam [u.a.] 266 1/2 935-950 [Zeitschriftenartikel]

2000

Hofmeister, Thomas ; Krause, Matthias ; Simon, Hans Ulrich (2000) Contrast-optimal k out of n secret sharing schemes in visual cryptography. Theoretical Computer Science Amsterdam [u.a.] 240 2 471-485 [Zeitschriftenartikel]

1997

Krause, Matthias ; Pudlák, Pavel (1997) On the computational power of depth 2 circuits with threshold and modulo gates. Theoretical Computer Science Amsterdam [u.a.] 174 1/2 137-156 [Zeitschriftenartikel]

Baier, Christel (1997) Trees and Semantics. Theoretical Computer Science Amsterdam [u.a.] 179 1/2 217-250 [Zeitschriftenartikel]

1996

Majster-Cederbaum, Mila ; Baier, Christel (1996) Metric Completion versus Ideal Completion. Theoretical Computer Science Dordrecht [u.a.] 170 1/2 145-171 [Zeitschriftenartikel]

Krause, Matthias (1996) Geometric arguments yield better bounds for threshold circuits and distributed computing. Theoretical Computer Science Amsterdam [u.a.] 156 1/2 99-117 [Zeitschriftenartikel]

1991

Krause, Matthias ; Meinel, Christoph ; Waack, Stephan (1991) Separating the eraser Turing machine classes Le, NLe, co-NLe and Pe. Theoretical Computer Science Amsterdam [u.a.] 86 2 267-275 [Zeitschriftenartikel]

Diese Liste wurde am Wed Apr 2 03:38:20 2025 CEST automatisch erstellt.