Search Sciweavers | Sciweavers

5964 search results - page 91 / 1193

» A theory of speculative computation

134

Voted

LICS
2007
IEEE

97views Automated Reasoning» more LICS 2007»

Reflections on Finite Model Theory

16 years 1 months ago

Download users.soe.ucsc.edu

Phokion G. Kolaitis

claim paper

Read More »

138

click to vote

MFCS
2007
Springer

70views Theoretical Computer Science» more MFCS 2007»

What Are Iteration Theories?

16 years 27 days ago

Download www.iti.cs.tu-bs.de

Jirí Adámek, Stefan Milius, Jiri Vel...

claim paper

Read More »

122

click to vote

ACMDIS
2004
ACM

102views Human Computer Interaction» more ACMDIS 2004»

Seamful interweaving: heterogeneity in the theory and design of interactive systems

16 years 6 days ago

Download www.dcs.gla.ac.uk

Matthew Chalmers, Areti Galani

claim paper

Read More »

142

click to vote

FOSSACS
2004
Springer

128views Software Engineering» more FOSSACS 2004»

Intruder Theories (Ongoing Work)

16 years 4 days ago

Download www.lsi.upc.es

Hubert Comon-Lundh

claim paper

Read More »

140

click to vote

LICS
2003
IEEE

85views Automated Reasoning» more LICS 2003»

A Proof Theory for Generic Judgments: An extended abstract

16 years 1 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers