Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Article
|
![]() |
How to Compose Presburger-Accelerations: Applications to Broadcast ProtocolsFinkel, Alain ; Leroux, JérômeFST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 2002, p.145-156 [Peer Reviewed Journal]Berlin, Heidelberg: Springer Berlin HeidelbergFull text available |
2 |
Material Type: Book
|
![]() |
Turing machines with sublogarithmic spaceAndrzej StepietowskiGoos, G, ed; Hartmanis, J, ed; Leeuwen, J Van, ed Lecture notes in computer science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1994Available at IFSC - Inst. Física de São Carlos (P621.38195 L471 v.843 )(GetIt) |
3 |
Material Type: Article
|
![]() |
Synthesis of distributed algorithms using asynchronous automataSTEFANESCU, Alin ; ESPARZA, Javier ; MUSCHOLL, AncaLecture notes in computer science, 2003, p.27-41 [Peer Reviewed Journal]Berlin: SpringerFull text available |
4 |
Material Type: Article
|
![]() |
Edit-Distance of Weighted AutomataMohri, MehryarImplementation and Application of Automata, 2003, p.1-23 [Peer Reviewed Journal]Berlin, Heidelberg: Springer Berlin HeidelbergFull text available |
5 |
Material Type: Article
|
![]() |
Hybrid acceleration using Real Vector AutomataBOIGELOT, Bernard ; HERBRETEAU, Frédéric ; JODOGNE, SébastienLecture notes in computer science, 2003, p.193-205 [Peer Reviewed Journal]Berlin: SpringerFull text available |
6 |
Material Type: Article
|
![]() |
Syntactic Semiring and Language EquationsPOLAK, LiborImplementation and Application of Automata, 2003, p.182-193 [Peer Reviewed Journal]Berlin, Heidelberg: Springer Berlin HeidelbergFull text available |
7 |
Material Type: Article
|
![]() |
Simulation of cell population dynamics using 3-D cellular automataBEN YOUSSEF, BelgacemLecture notes in computer science, 2004, p.561-570 [Peer Reviewed Journal]Berlin: SpringerFull text available |
8 |
Material Type: Article
|
![]() |
Lower Bounds on the Size of Quantum Automata Accepting Unary LanguagesBertoni, Alberto ; Mereghetti, Carlo ; Palano, BeatriceLecture notes in computer science, 2003, p.86-96 [Peer Reviewed Journal]Berlin, Heidelberg: Springer Berlin HeidelbergFull text available |
9 |
Material Type: Article
|
![]() |
Consistent integration for Sequential Abstract State MachinesNICOLOSI ASMUNDO, Marianna ; RICCOBENE, ElviniaLecture notes in computer science, 2003, p.324-340 [Peer Reviewed Journal]Berlin: SpringerFull text available |
10 |
Material Type: Article
|
![]() |
Towards compact and tractable automaton-based representations of time granularitiesLAGO, Ugo Dal ; MONTANARI, Angelo ; PUPPIS, GabrieleLecture notes in computer science, 2003, p.72-85 [Peer Reviewed Journal]Berlin: SpringerFull text available |