Search Sciweavers | Sciweavers

We present several new algorithms as well as new lower and upper bounds for optimizing functions underlying inﬁnite games pertinent to computer-aided veriﬁcation.

Henrik Björklund, Sven Sandberg, Sergei G. Vo...

claim paper

Read More »

110

click to vote

ICCS
2003
Springer

74views Applied Computing» more ICCS 2003»

Efficient Implementation of Complex Particle Shapes in the Lattice Solid Model

16 years 1 days ago

Download quakes.earth.uq.edu.au

Steffen Abe, Peter Mora

claim paper

Read More »

100

click to vote

ICRA
2002
IEEE

101views Robotics» more ICRA 2002»

Modeling of Complex Automation Systems using Colored State Charts

15 years 11 months ago

Download www.theoinf.tu-ilmenau.de

Olga Fengler, Wolfgang Fengler, Vesselka Duridanov...

claim paper

Read More »

135

click to vote

FOSSACS
2001
Springer

114views Software Engineering» more FOSSACS 2001»

The Complexity of Model Checking Mobile Ambients

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers