Sciweavers

10271 search results - page 100 / 2055

» Computer Science

88

SPIN
2005
Springer

96views Theoretical Computer Science» more SPIN 2005»

Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation

15 years 7 months ago

Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation

Download www.csie.ntnu.edu.tw

Yung-Pin Cheng

claim paper

Read More »

93

STACS
2005
Springer

110views Theoretical Computer Science» more STACS 2005»

Automorphisms of Finite Rings and Applications to Complexity of Problems

15 years 7 months ago

Automorphisms of Finite Rings and Applications to Complexity of Problems

Download www.cse.iitk.ac.in

Manindra Agrawal, Nitin Saxena

claim paper

Read More »

67

STACS
2005
Springer

108views Theoretical Computer Science» more STACS 2005»

Minimizing NFA's and Regular Expressions

15 years 7 months ago

Minimizing NFA's and Regular Expressions

Download www.thi.informatik.uni-frankfurt.de

Gregor Gramlich, Georg Schnitger

claim paper

Read More »

85

Voted

TLCA
2005
Springer

93views Theoretical Computer Science» more TLCA 2005»

Filters on CoInductive Streams, an Application to Eratosthenes' Sieve

15 years 7 months ago

Filters on CoInductive Streams, an Application to Eratosthenes' Sieve

Download www.cse.chalmers.se

Yves Bertot

claim paper

Read More »

91

TLCA
2005
Springer

88views Theoretical Computer Science» more TLCA 2005»

Higher-Order Abstract Non-interference

15 years 7 months ago

Higher-Order Abstract Non-interference

Download www.clip.dia.fi.upm.es

Damiano Zanardini

claim paper

Read More »

« Prev « First page 100 / 2055 Last » Next »