Volume 206,
Number 1,
January 2008
Volume 206,
Numbers 2-4,
February-April 2008
Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (FCS-ARSPA '06)
- Pierpaolo Degano, Ralf Küsters, Luca Viganò, Steve Zdancewic:
Joint workshop on foundations of computer security and automated reasoning for security protocol analysis (FCS-ARSPA '06).
129
Electronic Edition (link) BibTeX
- Octavian Udrea, Cristian Lumezanu, Jeffrey S. Foster:
Rule-based static analysis of network protocol implementations.
130-157
Electronic Edition (link) BibTeX
- Chamseddine Talhi, Nadia Tawbi, Mourad Debbabi:
Execution monitoring enforcement under memory-limitation constraints.
158-184
Electronic Edition (link) BibTeX
- A. Prasad Sistla, Min Zhou:
Analysis of dynamic policies.
185-212
Electronic Edition (link) BibTeX
- Thomas Santen:
Preservation of probabilistic information flow under refinement.
213-249
Electronic Edition (link) BibTeX
- L. H. Nguyen, A. W. Roscoe:
Authenticating ad hoc networks by comparison of short digests.
250-271
Electronic Edition (link) BibTeX
- Aybek Mukhamedov, Mark Dermot Ryan:
Fair multi-party contract signing using private contract signatures.
272-290
Electronic Edition (link) BibTeX
- Sebastian Mödersheim:
On the relationships between models in protocol verification.
291-311
Electronic Edition (link) BibTeX
- Stéphanie Delaune, Pascal Lafourcade, Denis Lugiez, Ralf Treinen:
Symbolic protocol analysis for monoidal equational theories.
312-351
Electronic Edition (link) BibTeX
- Yannick Chevalier, Michaël Rusinowitch:
Hierarchical combination of intruder theories.
352-377
Electronic Edition (link) BibTeX
- Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden:
Anonymity protocols as noisy channels.
378-401
Electronic Edition (link) BibTeX
- Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay, Christopher Walstad:
Breaking and fixing public-key Kerberos.
402-424
Electronic Edition (link) BibTeX
- Suzana Andova, Cas J. F. Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic:
A framework for compositional verification of security protocols.
425-459
Electronic Edition (link) BibTeX
- Chiara Braghin, Agostino Cortesi, Riccardo Focardi:
Information flow security in Boundary Ambients.
460-489
Electronic Edition (link) BibTeX
Volume 206,
Number 5,
May 2008
Special Issue:
The 17th International Conference on Concurrency Theory (CONCUR 2006)
Special Issue Articles
Regular Issue Articles
- Sven Kosub, Klaus W. Wagner:
The boolean hierarchy of NP-partitions.
538-568
Electronic Edition (link) BibTeX
- Frank Schulz:
Trees with exponentially growing costs.
569-578
Electronic Edition (link) BibTeX
- Ullrich Hustadt, Boris Motik, Ulrike Sattler:
Deciding expressive description logics in the framework of resolution.
579-601
Electronic Edition (link) BibTeX
- György Dósa, Leah Epstein:
Preemptive scheduling on a small number of hierarchical machines.
602-619
Electronic Edition (link) BibTeX
- Francesco Ranzato, Francesco Tapparo:
Generalizing the Paige-Tarjan algorithm by abstract interpretation.
620-651
Electronic Edition (link) BibTeX
- Salvador Lucas, José Meseguer:
Termination of just/fair computations in term rewriting.
652-675
Electronic Edition (link) BibTeX
- Francine Blanchet-Sadri, Deepak Bal, Gautam Sisodia:
Graph connectivity, partial words, and a theorem of Fine and Wilf.
676-693
Electronic Edition (link) BibTeX
- Ganesh Baliga, John Case, Wolfgang Merkle, Frank Stephan, Rolf Wiehagen:
When unlearning helps.
694-709
Electronic Edition (link) BibTeX
Volume 206,
Number 6,
June 2008
Volume 206,
Number 7,
July 2008
- Shih Ping Tung:
Computational complexity of sentences over fields.
791-805
Electronic Edition (link) BibTeX
- Wim Martens, Frank Neven, Marc Gyssens:
Typechecking top-down XML transformations: Fixed input or output schemas.
806-827
Electronic Edition (link) BibTeX
- Biing-Feng Wang, Tzu-Chin Lin, Chien-Hsin Lin, Shan-Chyun Ku:
Finding the conditional location of a median path on a tree.
828-839
Electronic Edition (link) BibTeX
- Dilian Gurov, Marieke Huisman, Christoph Sprenger:
Compositional verification of sequential programs with procedures.
840-868
Electronic Edition (link) BibTeX
- Paolo Baldan, Andrea Corradini, Barbara König:
A framework for the verification of infinite-state graph transformation systems.
869-907
Electronic Edition (link) BibTeX
- Leslie Ann Goldberg, Mark Jerrum:
Inapproximability of the Tutte polynomial.
908-929
Electronic Edition (link) BibTeX
Volume 206,
Number 8,
August 2008
Volume 206,
Numbers 9-10,
September - October 2008
- Remco Loos, Carlos Martín-Vide:
1st International Conference on Language and Automata Theory and Applications (LATA 2007).
1017
Electronic Edition (link) BibTeX
- Nissim Francez, Michael Kaminski:
Commutation-augmented pregroup grammars and push-down automata with cancellation.
1018-1032
Electronic Edition (link) BibTeX
- Helmut Jürgensen:
Synchronization.
1033-1044
Electronic Edition (link) BibTeX
- Franz Baader, Jan Hladik, Rafael Peñaloza:
Automata can show PSpace results for description logics.
1045-1056
Electronic Edition (link) BibTeX
- Francine Blanchet-Sadri, Kevin Corcoran, Jenell Nyberg:
Periodicity properties on partial words.
1057-1064
Electronic Edition (link) BibTeX
- Olivier Bodini, Thomas Fernique, Eric Rémila:
A characterization of flip-accessibility for rhombus tilings of the whole plane.
1065-1073
Electronic Edition (link) BibTeX
- Paolo Boldi, Violetta Lonati, Roberto Radicioni, Massimo Santini:
The number of convex permutominoes.
1074-1083
Electronic Edition (link) BibTeX
- Benedikt Bollig, Dietrich Kuske:
Muller message-passing automata and logics.
1084-1094
Electronic Edition (link) BibTeX
- Jürgen Dassow, Henning Fernau:
Comparison of some descriptional complexities of 0L systems obtained by a unifying approach.
1095-1103
Electronic Edition (link) BibTeX
- Pietro di Lena, Luciano Margara:
Computational complexity of dynamical systems: The case of cellular automata.
1104-1116
Electronic Edition (link) BibTeX
- Yo-Sub Han, Derick Wood:
Generalizations of 1-deterministic regular languages.
1117-1125
Electronic Edition (link) BibTeX
- Miklós Krész:
Soliton automata with constant external edges.
1126-1141
Electronic Edition (link) BibTeX
- Martin Kutrib, Andreas Malcher:
Fast reversible language recognition using cellular automata.
1142-1151
Electronic Edition (link) BibTeX
- Martin Kutrib, Jens Reimann:
Succinct description of regular languages by weak restarting automata.
1152-1160
Electronic Edition (link) BibTeX
- Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato:
Verification of scope-dependent hierarchical state machines.
1161-1177
Electronic Edition (link) BibTeX
- Guangwu Liu, Carlos Martín-Vide, Arto Salomaa, Sheng Yu:
State complexity of basic language operations combined with reversal.
1178-1186
Electronic Edition (link) BibTeX
- Andreas Maletti:
Compositions of extended top-down tree transducers.
1187-1196
Electronic Edition (link) BibTeX
- P. V. Martugin:
A series of slowly synchronizing automata with a zero state over a small alphabet.
1197-1203
Electronic Edition (link) BibTeX
- Hartmut Messerschmidt, Friedrich Otto:
On determinism versus nondeterminism for restarting automata.
1204-1218
Electronic Edition (link) BibTeX
- Christos Nomikos, Panos Rondogiannis:
Locally stratified Boolean grammars.
1219-1233
Electronic Edition (link) BibTeX
- Alexander Okhotin:
Unambiguous Boolean grammars.
1234-1247
Electronic Edition (link) BibTeX
- Ralf Stiebe:
Slender Siromoney matrix languages.
1248-1258
Electronic Edition (link) BibTeX
Volume 206,
Number 11,
November 2008
- Petr Jancar:
Bouziane's transformation of the Petri net reachability problem and incorrectness of the related algorithm.
1259-1263
Electronic Edition (link) BibTeX
- Miroslav Chlebík, Janka Chlebíková:
Approximation hardness of dominating set problems in bounded degree graphs.
1264-1275
Electronic Edition (link) BibTeX
- Pierre Fraigniaud, David Ilcinkas, Andrzej Pelc:
Tree exploration with advice.
1276-1287
Electronic Edition (link) BibTeX
- Ruo-Wei Hung:
Optimal vertex ranking of block graphs.
1288-1302
Electronic Edition (link) BibTeX
- Danny Hermelin, Dror Rawitz, Romeo Rizzi, Stéphane Vialette:
The Minimum Substring Cover problem.
1303-1312
Electronic Edition (link) BibTeX
- Sharon Shoham, Orna Grumberg:
3-Valued abstraction: More precision at less cost.
1313-1333
Electronic Edition (link) BibTeX
- Amos Israeli, Dror Rawitz, Oran Sharon:
On the complexity of sequential rectangle placement in IEEE 802.16/WiMAX systems.
1334-1345
Electronic Edition (link) BibTeX
- Ion Petre, Vladimir Rogojin:
Decision problem for shuffled genes.
1346-1352
Electronic Edition (link) BibTeX
- Paul Bell, Igor Potapov:
Reachability problems in quaternion matrix and rotation semigroups.
1353-1361
Electronic Edition (link) BibTeX
- Yohji Akama, Thomas Zeugmann:
Consistent and coherent learning with delta-delay.
1362-1374
Electronic Edition (link) BibTeX
Volume 206,
Number 12,
December 2008
Copyright © Sun May 17 00:00:05 2009
by Michael Ley (ley@uni-trier.de)