Sciweavers

36 search results - page 1 / 8

» lics 2008

10

LICS
2008
IEEE

104views Automated Reasoning» more LICS 2008»

Types for Hereditary Permutators

13 years 10 months ago

Types for Hereditary Permutators

Download research.nii.ac.jp

Makoto Tatsuta

claim paper

Read More »

12

LICS
2008
IEEE

86views Automated Reasoning» more LICS 2008»

Weak Topology and a Differentiable Operator for Lipschitz Maps

13 years 10 months ago

Weak Topology and a Differentiable Operator for Lipschitz Maps

Download www.doc.ic.ac.uk

Abbas Edalat

claim paper

Read More »

10

LICS
2008
IEEE

77views Automated Reasoning» more LICS 2008»

Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs

13 years 10 months ago

Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs

Download userweb.cs.utexas.edu

Vineet Kahlon

claim paper

Read More »

8

LICS
2008
IEEE

107views Automated Reasoning» more LICS 2008»

The Axiomatic Derivation of Absolute Lower Bounds

13 years 10 months ago

The Axiomatic Derivation of Absolute Lower Bounds

Download www.math.ucla.edu

Yiannis N. Moschovakis

claim paper

Read More »

9

LICS
2008
IEEE

103views Automated Reasoning» more LICS 2008»

On the Expressiveness and Complexity of Randomization in Finite State Monitors

13 years 10 months ago

On the Expressiveness and Complexity of Randomization in Finite State Monitors

Download www.cs.uiuc.edu

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

claim paper

Read More »

« Prev « First page 1 / 8 Last » Next »