Sciweavers

5

CORR
2010
Springer

64views Education» more CORR 2010»

State Complexity of Testing Divisibility

13 years 4 months ago

State Complexity of Testing Divisibility

Download www.discmath.ulg.ac.be

Emilie Charlier, Narad Rampersad, Michel Rigo, Lau...

claim paper

Read More »

7

CORR
2010
Springer

45views Education» more CORR 2010»

L-systems in Geometric Modeling

13 years 4 months ago

L-systems in Geometric Modeling

Download algorithmicbotany.org

Przemyslaw Prusinkiewicz, Mitra Shirmohammadi, Far...

claim paper

Read More »

10

CORR
2010
Springer

137views Education» more CORR 2010»

State Elimination Ordering Strategies: Some Experimental Results

13 years 4 months ago

State Elimination Ordering Strategies: Some Experimental Results

Download www.ncc.up.pt

Recently, the problem of obtaining a short regular expression equivalent to a given finite automaton has been intensively investigated. Algorithms for converting finite automata to...

Nelma Moreira, Davide Nabais, Rogério Reis

claim paper

Read More »

12

CORR
2010
Springer

58views Education» more CORR 2010»

Timed Automata Semantics for Analyzing Creol

13 years 4 months ago

Timed Automata Semantics for Analyzing Creol

Download homepages.cwi.nl

ir end-to-end deadlines. Real-time Creol can be useful for analyzing, for instance, abstract models of multi-core embedded systems. We show how analysis can be done in UPPAAL.

Mohammad Mahdi Jaghoori, Tom Chothia

claim paper

Read More »

4

CORR
2010
Springer

57views Education» more CORR 2010»

Open Graphs and Computational Reasoning

13 years 4 months ago

Open Graphs and Computational Reasoning

Download homepages.inf.ed.ac.uk

Lucas Dixon, Ross Duncan, Aleks Kissinger

claim paper

Read More »

7

CORR
2010
Springer

76views Education» more CORR 2010»

Unitary Noise and the Mermin-GHZ Game

13 years 4 months ago

Unitary Noise and the Mermin-GHZ Game

Download www.memics.cz

Ivan Fialík

claim paper

Read More »

4

CORR
2010
Springer

46views Education» more CORR 2010»

Optimal Time-Abstract Schedulers for CTMDPs and Markov Games

13 years 4 months ago

Optimal Time-Abstract Schedulers for CTMDPs and Markov Games

Download react.cs.uni-sb.de

Markus Rabe, Sven Schewe

claim paper

Read More »

11

CORR
2010
Springer

87views Education» more CORR 2010»

Testing Reactive Probabilistic Processes

13 years 4 months ago

Testing Reactive Probabilistic Processes

Download www.win.tue.nl

Sonja Georgievska, Suzana Andova

claim paper

Read More »

6

CORR
2010
Springer

69views Education» more CORR 2010»

Stochastic Calculus of Wrapped Compartments

13 years 4 months ago

Stochastic Calculus of Wrapped Compartments

Download www.di.unito.it

Mario Coppo, Ferruccio Damiani, Maurizio Drocco, E...

claim paper

Read More »

6

CORR
2010
Springer

49views Education» more CORR 2010»

Quantitative Fairness Games

13 years 4 months ago

Quantitative Fairness Games

Download people.na.infn.it

Alessandro Bianco, Marco Faella, Fabio Mogavero, A...

claim paper

Read More »