Sciweavers

206 search results - page 4 / 42
» Weak Alternating Automata Are Not That Weak
Sort
View
CORR
2008
Springer
104views Education» more  CORR 2008»
13 years 7 months ago
Coalgebraic Automata Theory: Basic Results
Abstract. We generalize some of the central results in automata theory to the abstraction level of coalgebras and thus lay out the foundations of a universal theory of automata ope...
Clemens Kupke, Yde Venema
FSTTCS
2005
Springer
14 years 1 months ago
When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?
In this paper4 , we compare Timed Automata (TA) and Time Petri Nets (TPN) with respect to weak timed bisimilarity. It is already known that the class of bounded TPNs is strictly in...
Béatrice Bérard, Franck Cassez, Serg...
FSTTCS
2009
Springer
14 years 2 months ago
Deterministic Automata and Extensions of Weak MSO
Mikolaj Bojanczyk, Szymon Torunczyk
CIE
2007
Springer
13 years 11 months ago
A Weakly 2-Random Set That Is Not Generalized Low
A guiding question in the study of weak 2-randomness is whether weak 2-randomness is closer to 1-randomness, or closer to 2randomness. Recent research indicates that the first alte...
Andrew Lewis, Antonio Montalbán, Andr&eacut...
SACRYPT
2009
Springer
147views Cryptology» more  SACRYPT 2009»
14 years 2 months ago
A New Approach for FCSRs
The Feedback with Carry Shift Registers (FCSRs) have been proposed as an alternative to Linear Feedback Shift Registers (LFSRs) for the design of stream ciphers. FCSRs have good st...
François Arnault, Thierry P. Berger, C&eacu...