Volume 18,
Number 1,
February 2007
Automated Technology for Verification and Analysis (ATVA 2005)
- Doron Peled, Yih-Kuen Tsay:
Preface.
1-4
Electronic Edition (link) BibTeX
- Ittai Balaban, Amir Pnueli, Lenore D. Zuck:
Modular Ranking Abstraction.
5-44
Electronic Edition (link) BibTeX
- Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster:
Verifying Very Large Industrial Circuits Using 100 Processes and Beyond.
45-62
Electronic Edition (link) BibTeX
- Werner Damm, Guilherme Pinto, Stefan Ratschan:
Guaranteed Termination in the Verification of Ltl Properties of Non-linear Robust Discrete Time Hybrid Systems.
63-86
Electronic Edition (link) BibTeX
- Stéphane Demri, David Nowak:
Reasoning about Transfinite Sequences.
87-112
Electronic Edition (link) BibTeX
- Sven Schewe, Bernd Finkbeiner:
Semi-automatic Distributed Synthesis.
113-138
Electronic Edition (link) BibTeX
Regular Papers
Volume 18,
Number 2,
April 2007
- Joachim Gudmundsson, C. Barry Jay:
Preface.
195-196
Electronic Edition (link) BibTeX
- Yuichi Asahiro, Eiji Miyano, Hirotaka Ono, Kouhei Zenmyo:
Graph Orientation Algorithms to minimize the Maximum Outdegree.
197-215
Electronic Edition (link) BibTeX
- Anders Dessmark, Jesper Jansson, Andrzej Lingas, Eva-Marta Lundell, Mia Persson:
On the Approximability of Maximum and Minimum Edge Clique Partition Problems.
217-226
Electronic Edition (link) BibTeX
- Brian Herlihy, Peter Schachte, Harald Søndergaard:
Un-Kleene Boolean equation Solving.
227-250
Electronic Edition (link) BibTeX
- Chung Keung Poon, Feifeng Zheng, Yinfeng Xu:
On-Demand Bounded Broadcast Scheduling with Tight Deadlines.
251-262
Electronic Edition (link) BibTeX
- Tadao Takaoka, Stephen Violich:
Fusing Loopless Algorithms for Combinatorial Generation.
263-293
Electronic Edition (link) BibTeX
- Tobias Lauer, Thomas Ottmann, Amitava Datta:
Update-Efficient Data Structures for Dynamic IP Router Tables.
295-317
Electronic Edition (link) BibTeX
- Sung Eun Bae, Tadao Takaoka:
Algorithms for k-Disjoint Maximum Subarrays.
319-339
Electronic Edition (link) BibTeX
- Joseph Y.-T. Leung, Haibing Li, Hairong Zhao:
Scheduling Two-Machine Flow shops with Exact Delays.
341-359
Electronic Edition (link) BibTeX
- Tomasz Jurdzinski, Friedrich Otto:
Shrinking Restarting Automata.
361-385
Electronic Edition (link) BibTeX
- Adrian Atanasiu:
Binary amiable Words.
387-400
Electronic Edition (link) BibTeX
- Jesper Jansson, Zeshan Peng:
Online and Dynamic Recognition of Squarefree Strings.
401-414
Electronic Edition (link) BibTeX
- Ludek Cienciala, Lucie Ciencialová, Pierluigi Frisco, Petr Sosík:
On the Power of Deterministic and Sequential Communicating P Systems.
415-431
Electronic Edition (link) BibTeX
Volume 18,
Number 3,
June 2007
- Jacir Luiz Bordim, Koji Nakano:
Preface.
433-434
Electronic Edition (link) BibTeX
- Gheorghe Paun, Mario J. Pérez-Jiménez, Arto Salomaa:
Spiking Neural P Systems: an Early Survey.
435-455
Electronic Edition (link) BibTeX
- Fabrizio Luccio, Linda Pagli, Nicola Santoro:
Network decontamination in Presence of Local Immunity.
457-474
Electronic Edition (link) BibTeX
- Akihiro Fujiwara, Satoshi Kamio, Akiko Takehara:
Procedures for Computing the Maximum with DNA.
475-493
Electronic Edition (link) BibTeX
- Francesco Quaglia:
Software Diversity-Based Active Replication as an Approach for Enhancing the Performance of Advanced Simulation Systems.
495-515
Electronic Edition (link) BibTeX
- Yasuaki Ito, Koji Nakano, Youhei Yamagishi:
Efficient Hardware Algorithms for n Choose k Counters Using the Bitonic Merger.
517-528
Electronic Edition (link) BibTeX
- Hanane Becha, Paola Flocchini:
Optimal Construction of Sense of Direction in a Torus by a Mobile Agent.
529-546
Electronic Edition (link) BibTeX
- Paola Flocchini, Miao Jun Huang, Flaminia L. Luccio:
Decontaminating Chordal Rings and Tori Using Mobile Agents.
547-563
Electronic Edition (link) BibTeX
- Alan J. Soper, Vitaly A. Strusevich:
An Improved Approximation Algorithm for the Two-Machine Flow Shop Scheduling Problem with an interstage transporter.
565-591
Electronic Edition (link) BibTeX
- Benjamin Aziz, Geoff Hamilton:
Modelling and Analysis of PKI-Based Systems Using Process Calculi.
593-618
Electronic Edition (link) BibTeX
- Gautam K. Das, Sasthi C. Ghosh, Subhas C. Nandy:
Improved Algorithm for Minimum Cost Range Assignment Problem for Linear Radio Networks.
619-635
Electronic Edition (link) BibTeX
- Jozef Gruska, Salvatore La Torre, Mimmo Parente:
The Firing Squad Synchronization Problem on Squares, Toruses and Rings.
637-654
Electronic Edition (link) BibTeX
- Arseny M. Shur:
Rational Approximations of Polynomial Factorial Languages.
655-665
Electronic Edition (link) BibTeX
Volume 18,
Number 4,
August 2007
- Oscar H. Ibarra, Hsu-Chun Yen:
Preface.
667-668
Electronic Edition (link) BibTeX
- Ming Li:
Information Distance and its Applications.
669-681
Electronic Edition (link) BibTeX
- Kai Salomaa, Sheng Yu:
On the State Complexity of Combined Operations and their Estimation.
683-698
Electronic Edition (link) BibTeX
- Parosh Aziz Abdulla, Johanna Högberg, Lisa Kaati:
Bisimulation Minimization of Tree Automata.
699-713
Electronic Edition (link) BibTeX
- Cédric Bastien, Jurek Czyzowicz, Wojciech Fraczak, Wojciech Rytter:
Reducing Simple Grammars: Exponential against Highly-Polynomial Time in Practice.
715-725
Electronic Edition (link) BibTeX
- Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri:
Symbolic Implementation of Alternating Automata.
727-743
Electronic Edition (link) BibTeX
- Henning Bordihn, Markus Holzer, Martin Kutrib:
Hybrid Extended Finite Automata.
745-760
Electronic Edition (link) BibTeX
- Corinna Cortes, Mehryar Mohri, Ashish Rastogi:
LP Distance and Equivalence of Probabilistic Automata.
761-779
Electronic Edition (link) BibTeX
- Maxime Crochemore, Lucian Ilie, Emine Seid-Hilmi:
The Structure of Factor Oracles.
781-797
Electronic Edition (link) BibTeX
- Mathieu Giraud, Philippe Veber, Dominique Lavenier:
Path-Equivalent Developments in Acyclic Weighted Automata.
799-811
Electronic Edition (link) BibTeX
- Jens Glöckler:
Forgetting Automata and Unary Languages.
813-827
Electronic Edition (link) BibTeX
- Andreas Maletti:
Pure and O-Substitution.
829-845
Electronic Edition (link) BibTeX
- Florent Nicart, Jean-Marc Champarnaud, Tibor Csáki, Tamás Gaál, André Kempe:
Labelling Multi-Tape Automata with Constrained Symbol Classes.
847-858
Electronic Edition (link) BibTeX
- Martin Simunek, Borivoj Melichar:
Borders and Finite Automata.
859-871
Electronic Edition (link) BibTeX
- Elena Czeizler, Juhani Karhumäki:
On Non-Periodic Solutions of Independent Systems of Word Equations over Three Unknowns.
873-897
Electronic Edition (link) BibTeX
- Sudha Balla, Sanguthevar Rajasekaran, Ion I. Mandoiu:
Efficient Algorithms for degenerate Primer Search.
899-910
Electronic Edition (link) BibTeX
Volume 18,
Number 5,
October 2007
- Ryuhei Uehara, Yushi Uno:
On Computing Longest Paths in Small Graph Classes.
911-930
Electronic Edition (link) BibTeX
- Vesa Halava, Tero Harju, Mika Hirvensalo:
Undecidability Bounds for Integer Matrices Using Claus Instances.
931-948
Electronic Edition (link) BibTeX
- Bala Ravikumar, Nicolae Santean:
On the Existence of Lookahead Delegators for NFA.
949-973
Electronic Edition (link) BibTeX
- Miguel Couceiro, Erkko Lehtonen:
On the Effect of Variable Identification on the Essential Arity of Functions on Finite Sets.
975-986
Electronic Edition (link) BibTeX
- Zhenchuan Chai, Zhenfu Cao, Xiaolei Dong:
Efficient ID-Based Multi-Receiver Threshold Decryption.
987-1004
Electronic Edition (link) BibTeX
- Eddie Cheng, László Lipták:
Fault Resiliency of Cayley Graphs Generated by Transpositions.
1005-1022
Electronic Edition (link) BibTeX
- Bhuvan Urgaonkar, Arnold L. Rosenberg, Prashant J. Shenoy:
Application Placement on a Cluster of Servers.
1023-1041
Electronic Edition (link) BibTeX
- Cho-Chin Lin:
A Framework for Solving Sequence Problem of Multiple Input Streams.
1043-1064
Electronic Edition (link) BibTeX
- Janusz A. Brzozowski, Helmut Jürgensen:
Representation of Semiautomata by Canonical Words and Equivalences, Part II: Specification of Software Modules.
1065-1087
Electronic Edition (link) BibTeX
- Lila Kari, Kalpana Mahalingam:
Involutively Bordered Words.
1089-1106
Electronic Edition (link) BibTeX
- Partha Sarathi Mandal, Krishnendu Mukhopadhyaya:
Mobile Agent Based Checkpointing with Concurrent Initiations.
1107-1122
Electronic Edition (link) BibTeX
- Tseren-Onolt Ishdorj, Ion Petre, Vladimir Rogojin:
Computational Power of intramolecular gene Assembly.
1123-1136
Electronic Edition (link) BibTeX
Volume 18,
Number 6,
December 2007
- Henning Bordihn, Bernd Reichel, Ralf Stiebe, Bianca Truthe:
Preface: Aspects in Language and Automata Theory Special Issue Dedicated to JÜrgen Dassow.
1137-1138
Electronic Edition (link) BibTeX
- Peter R. J. Asveld:
Generating All Circular Shifts by Context-Free Grammars in Greibach Normal Form.
1139-1149
Electronic Edition (link) BibTeX
- Charita Bhika, Sigrid Ewert, Ryan Schwartz, Mutahi Waruhiu:
Table-Driven Context-Free Picture Grammars.
1151-1160
Electronic Edition (link) BibTeX
- Oliver Boldt, Helmut Jürgensen:
Soliton Languages are Nearly an Anti-AFL.
1161-1165
Electronic Edition (link) BibTeX
- Elena Czeizler, Stepan Holub, Juhani Karhumäki, Markku Laine:
Intricacies of Simple Word Equations: an Example.
1167-1175
Electronic Edition (link) BibTeX
- Mark Daley, Michael Domaratzki, Alexis Morris:
Intra-Molecular Template-Guided Recombination.
1177-1186
Electronic Edition (link) BibTeX
- Frank Drewes:
Links.
1187-1196
Electronic Edition (link) BibTeX
- Zoltán Ésik, Werner Kuich:
Boolean Fuzzy Sets.
1197-1207
Electronic Edition (link) BibTeX
- Henning Fernau:
Programmed Grammars with Rule Queues.
1209-1213
Electronic Edition (link) BibTeX
- Rudolf Freund, Marion Oswald:
Partial Halting in P Systems.
1215-1225
Electronic Edition (link) BibTeX
- Yan Gao, Hendrik Jan Hoogeboom:
P Systems with Single passenger Carriers.
1227-1235
Electronic Edition (link) BibTeX
- Ferenc Gécseg:
Classes of Tree Languages Determined by Classes of Monoids.
1237-1246
Electronic Edition (link) BibTeX
- Oscar H. Ibarra, Sara Woodworth:
Characterizing Regular Languages by Spiking Neural P Systems.
1247-1256
Electronic Edition (link) BibTeX
- Helmut Jürgensen, Pauline Kraak:
Soliton Automata Based on Trees.
1257-1270
Electronic Edition (link) BibTeX
- Andreas Klein, Martin Kutrib:
Context-Free Grammars with Linked Nonterminals.
1271-1282
Electronic Edition (link) BibTeX
- Manfred Kudlek:
Some Remarks on Quantum Automata.
1283-1292
Electronic Edition (link) BibTeX
- Martin Kutrib, Andreas Malcher:
When Church-Rosser Becomes Context Free.
1293-1302
Electronic Edition (link) BibTeX
- Enzo Magalini, Giovanni Pighizzini:
A Pumping Condition for Ultralinear Languages.
1303-1312
Electronic Edition (link) BibTeX
- Andreas Malcher, Bettina Sunckel:
On Metalinear Parallel Communicating Grammar Systems.
1313-1322
Electronic Edition (link) BibTeX
- Carlos Martín-Vide, Victor Mitrana:
Decision Problems on Path-Controlled Grammars.
1323-1332
Electronic Edition (link) BibTeX
- Hartmut Messerschmidt, Friedrich Otto:
Cooperating Distributed Systems of Restarting Automata.
1333-1342
Electronic Edition (link) BibTeX
- Frantisek Mráz, Martin Plátek, Tomasz Jurdzinski:
Ambiguity by Restarting Automata.
1343-1352
Electronic Edition (link) BibTeX
- Taishin Y. Nishida:
Membrane Algorithm with Brownian Subalgorithm and Genetic Subalgorithm.
1353-1360
Electronic Edition (link) BibTeX
- Alexander Okhotin:
Notes on Dual Concatenation.
1361-1370
Electronic Edition (link) BibTeX
- Gheorghe Paun, Mario J. Pérez-Jiménez, Grzegorz Rozenberg:
Computing Morphisms by Spiking Neural P Systems.
1371-1382
Electronic Edition (link) BibTeX
- Klaus Reinhardt:
A Tree-Height Hierarchy of Context-Free Languages.
1383-1394
Electronic Edition (link) BibTeX
- Arto Salomaa:
Comparing Subword Occurrences in Binary D0L Sequences.
1395-1406
Electronic Edition (link) BibTeX
- Kai Salomaa, Paul Schofield:
State Complexity of Additive Weighted Finite Automata.
1407-1416
Electronic Edition (link) BibTeX
- Ludwig Staiger:
Prefix-Free Lukasiewicz Languages.
1417-1423
Electronic Edition (link) BibTeX
- Maurice H. ter Beek, Erzsébet Csuhaj-Varjú, György Vaszil, Markus Holzer:
On Competence in CD Grammar Systems with Parallel Rewriting.
1425-1439
Electronic Edition (link) BibTeX
- Sheng Yu, Qing Zhao:
Sc-Expressions in Object-Oriented Languages.
1441-1452
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:02:03 2009
by Michael Ley (ley@uni-trier.de)