Volume 14,
Number 1,
February 2003
Special Issue:
Advances in Parallel and Distributed Computational Models
Regular Papers
Volume 14,
Number 2,
April 2003
An Issue Dedicated to Wireless Networks and Mobile Computing
- Guangbin Fan, Jingyuan Zhang:
Optimal Cellular Network Deployment Reusing Existing Base Stations.
169-181
Electronic Edition (link) BibTeX
- Yu Wang, Xiang-Yang Li, Ophir Frieder:
Distributed Spanners with Bounded Degree for Wireless Ad Hoc Networks.
183-200
Electronic Edition (link) BibTeX
- Jie Wu, Fei Dai:
Broadcasting in Ad Hoc Networks Based on Self-Pruning.
201-221
Electronic Edition (link) BibTeX
- Alfredo Ferro, Giuseppe Pigola, Alfredo Pulvirenti, Dennis Shasha:
Fast Clustering and Minimum Weight Matching Algorithms for Very Large Mobile Backbone Wireless Networks.
223-236
Electronic Edition (link) BibTeX
- Justin Lipman, Paul Boustead, John Judge:
Neighbor Aware Adaptive Power Flooding (NAAP) in Mobile Ad Hoc Networks.
237-252
Electronic Edition (link) BibTeX
- Julien Cartigny, François Ingelrest, David Simplot:
RNG Relay Subset Flooding Protocols in Mobile Ad-Hoc Networks.
253-265
Electronic Edition (link) BibTeX
- Binh-Minh Bui-Xuan, Afonso Ferreira, Aubin Jarry:
Computing Shortest, Fastest, and Foremost Journeys in Dynamic Networks.
267-285
Electronic Edition (link) BibTeX
- Khaled M. Alzoubi, Peng-Jun Wan, Ophir Frieder:
Maximal Independent Set, Weakly-Connected Dominating Set, and Induced Spanners in Wireless Ad Hoc Networks.
287-303
Electronic Edition (link) BibTeX
- Yuanzhu Peter Chen, Arthur L. Liestman:
A Zonal Algorithm for Clustering An Hoc Networks.
305-322
Electronic Edition (link) BibTeX
- Peng-Jun Wan, Khaled M. Alzoubi, Ophir Frieder:
A Simple Heuristic for Minimum Connected Dominating Set in Graphs.
323-333
Electronic Edition (link) BibTeX
Volume 14,
Number 3,
June 2003
An Issue Dedicated to Selected Papers From I-Span'02
- Sartaj Sahni, Kun Suk Kim, Haibin Lu:
Data Structures for One-Dimensional Packet Classification Using Most-Specific-Rule Matching.
337-358
Electronic Edition (link) BibTeX
- Michael A. Palis:
On the Competitiveness of Online Real-Time Scheduling with Rate of Progress Guarantees.
359-370
Electronic Edition (link) BibTeX
- Ke Qiu, Sajal K. Das:
Interconnection Networks and Their Eigenvalues.
371-389
Electronic Edition (link) BibTeX
- Jacir Luiz Bordim, Koji Nakano, Hong Shen:
Sorting on Single-Channel Wireless Sensor Networks.
391-403
Electronic Edition (link) BibTeX
- Peiyi Tang, Pen-Chung Yew:
Interprocedural Induction Variable Analysis.
405-423
Electronic Edition (link) BibTeX
- Wolfgang W. Bein, Lawrence L. Larmore, Shahram Latifi, Ivan Hal Sudborough:
Block Sorting is Hard.
425-437
Electronic Edition (link) BibTeX
- Sasthi C. Ghosh, Bhabani P. Sinha, Nabanita Das:
A New Approach to Efficient Channel Assignment for Hexagonal Cellular Networks.
439-463
Electronic Edition (link) BibTeX
Regular Papers
Volume 14,
Number 4,
August 2003
Invited Papers
Contributed Papers
- Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Joël Ouaknine, Olaf Stursberg, Michael Theobald:
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems.
583-604
Electronic Edition (link) BibTeX
- Constantinos Bartzis, Tevfik Bultan:
Efficient Symbolic Representations for Arithmetic Constraints in Verification.
605-624
Electronic Edition (link) BibTeX
- Deepak D'Souza:
A Logical Characterisation of Event Clock Automata.
625-640
Electronic Edition (link) BibTeX
- Li Jiao, To-Yat Cheung:
Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties.
641-658
Electronic Edition (link) BibTeX
- Axel Dold, Friedrich W. von Henke, Wolfgang Goerigk:
A Completely Verified Realistic Bootstrap Compiler.
659-
Electronic Edition (link) BibTeX
Regular Papers
Volume 14,
Number 5,
October 2003
Special Issue Quantum Computing
- Lov K. Grover:
An Improved Quantum Scheduling Algorithm.
715-722
Electronic Edition (link) BibTeX
- Gábor Ivanyos, Frédéric Magniez, Miklos Santha:
Efficient Quantum Algorithms For Some Instances Of The Non-Abelian Hidden Subgroup Problem.
723-740
Electronic Edition (link) BibTeX
- Jan Bouda, Vladimí R. Buzek:
Encryption Of Quantum Information.
741-756
Electronic Edition (link) BibTeX
- Markus Grassl, Martin Rötteler, Thomas Beth:
Efficient Quantum Circuits For Non-Qubit Quantum Error-Correcting Codes.
757-776
Electronic Edition (link) BibTeX
- Andreas Klappenecker, Martin Rötteler:
Quantum Software Reusability.
777-796
Electronic Edition (link) BibTeX
- Philippe Jorrand, Mehdi Mhalla:
Separability Of Pure N-Qubit States: Two Characterizations.
797-814
Electronic Edition (link) BibTeX
- Tomoyuki Yamakami:
Analysis Of Quantum Functions.
815-852
Electronic Edition (link) BibTeX
- Harumichi Nishimura:
Quantum Computation With Restricted Amplitudes.
853-870
Electronic Edition (link) BibTeX
- Alberto Bertoni, Carlo Mereghetti, Beatrice Palano:
Golomb Rulers And Difference Sets For Succinct Quantum Automata.
871-888
Electronic Edition (link) BibTeX
- Dominik Janzing, Pawel Wocjan, Thomas Beth:
On The Computational Power Of Physical Interactions: Bounds On The Number Of Time Steps For Simulating Arbitrary Interaction Graphs.
889-
Electronic Edition (link) BibTeX
Regular Papers
Volume 14,
Number 6,
December 2003
- Mehryar Mohri:
Edit-Distance Of Weighted Automata: General Definitions And Algorithms.
957-982
Electronic Edition (link) BibTeX
- Cyril Allauzen, Mehryar Mohri:
Finitely Subsequential Transducers.
983-994
Electronic Edition (link) BibTeX
- Cezar Câmpeanu, Andrei Paun:
Counting The Number Of Minimal Dfca Obtained By Merging States.
995-1006
Electronic Edition (link) BibTeX
- Cezar Câmpeanu, Kai Salomaa, Sheng Yu:
A Formal Study Of Practical Regular Expressions.
1007-1018
Electronic Edition (link) BibTeX
- Jurek Czyzowicz, Wojciech Fraczak, Andrzej Pelc, Wojciech Rytter:
Linear-Time Prime Decomposition Of Regular Prefix Codes.
1019-1032
Electronic Edition (link) BibTeX
- Mihaela Gheorghiu, Janusz A. Brzozowski:
Simulation Of Feedback-Free Circuits In The Algebra Of Transients.
1033-1054
Electronic Edition (link) BibTeX
- Franck Guingne, Florent Nicart, Jean-Marc Champarnaud, Lauri Karttunen, Tamás Gaál, André Kempe:
Virtual Operations On Virtual Networks: The Priority Union .
1055-1071
Electronic Edition (link) BibTeX
- Heiko Körner:
A Time And Space Efficient Algorithm For Minimizing Cover Automata For Finite Languages.
1071-1086
Electronic Edition (link) BibTeX
- Markus Holzer, Martin Kutrib:
Nondeterministic Descriptional Complexity Of Regular Languages.
1087-1102
Electronic Edition (link) BibTeX
- Alexander Okhotin:
Efficient Automaton-Based Recognition For Linear Conjunctive Languages.
1103-1116
Electronic Edition (link) BibTeX
- Klaus Sutner:
Reduced Power Automata And Sofic Systems.
1117-
Electronic Edition (link) BibTeX
Regular Papers
Copyright © Sun May 17 00:02:02 2009
by Michael Ley (ley@uni-trier.de)
