Sciweavers

8949 search results - page 137 / 1790

» is 1998

22

FSTTCS
1998
Springer

79views Software Engineering» more FSTTCS 1998»

Martingales and Locality in Distributed Computing

14 years 3 months ago

Martingales and Locality in Distributed Computing

Download www.brics.dk

Devdatt P. Dubhashi

claim paper

Read More »

32

FSTTCS
1998
Springer

112views Software Engineering» more FSTTCS 1998»

Descriptive Complexity and Model Checking

14 years 3 months ago

Descriptive Complexity and Model Checking

Download www.cs.umass.edu

Neil Immerman

claim paper

Read More »

27

FSTTCS
1998
Springer

92views Software Engineering» more FSTTCS 1998»

Quantum Computation and Information

14 years 3 months ago

Quantum Computation and Information

Download wslc.math.ist.utl.pt

Umesh V. Vazirani

claim paper

Read More »

35

FTRTFT
1998
Springer

108views Formal Methods» more FTRTFT 1998»

Towards a Formal Semantics of Verilog Using Duration Calculus

14 years 3 months ago

Towards a Formal Semantics of Verilog Using Duration Calculus

Download folk.uio.no

Gerardo Schneider, Qiwen Xu

claim paper

Read More »

27

GCB
1998
Springer

92views Biometrics» more GCB 1998»

Asia Pacific Bioinformatics Network

14 years 3 months ago

Asia Pacific Bioinformatics Network

Download www.biomedcentral.com

Jingchu Luo, Christoph Sensen, Tin Wee Tan

claim paper

Read More »

« Prev « First page 137 / 1790 Last » Next »