default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Automata, Languages and Combinatorics, Volume 11
Volume 11, Number 1, 2006
Orléans, France, June 21-22, 2004
- Siva Anantharaman, Paul Gastin, Gaétan Hains, John Mullins, Michaël Rusinowitch:
Editorial. 5-6 - Mathieu Baudet:
Random Polynomial-Time Attacks and Dolev-Yao Models. 7-21 - Jing Chen:
Timed Extensions of π Calculus. 23-58 - Hervé Grall:
A Confinement Criterion for Securely Executing Mobile Code. 59-106 - Sébastien Limet, Gernot Salzer
:
Basic Rewriting via Logic Programming, with an Application to the Reachability Problem. 107-142
Volume 11, Number 2, 2006
- Peter R. J. Asveld:
Generating all Circular Shifts by Context-Free Grammars in Chomsky Normal Form. 147-159 - Ferenc Gécseg, Balázs Imreh:
On Asynchronous Tree Automata. 161-168 - Oscar H. Ibarra, Bala Ravikumar, Cagdas Evren Gerede:
Quality-Aware Service Delegation in Automated Web Service Composition: An Automata-Theoretic Approach. 169-188 - Andrei A. Krokhin, Ivo G. Rosenberg:
A Monoidal Interval of Clones of Selfdual Functions. 189-208 - Dietmar Wätjen:
Limited Simple Eco-Grammar Systems with Prescribed Teams. 209-231
Volume 11, Number 3, 2006
- Gheorghe Paun, Mario J. Pérez-Jiménez:
Editorial. 239 - Robert Brijder, Matteo Cavaliere, Agustin Riscos-Núñez, Grzegorz Rozenberg, Dragos Sburlan:
Communication Membrane Systems with Active Symports. 241-261 - Matteo Cavaliere, Rudolf Freund, Alexander Leitsch, Gheorghe Paun:
Event-Related Outputs of Computations in P Systems. 263-278 - Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie:
On the Decidability of Model-Checking for P Systems. 279-298 - Tseren-Onolt Ishdorj:
Power and Efficiency of Minimal Parallelism in Polarizationless P Systems. 299-320 - Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg:
Process Semantics for Membrane Systems. 321-340
Volume 11, Number 4, 2006
- Maurice H. ter Beek, Gabriele Lenzini, Marinella Petrocchi:
A Team Automaton Scenario for the Analysis of Security Properties of Communication Protocols. 345-374 - Daniela Genova, Natasa Jonoska:
Topological Properties of Forbidding-Enforcing Systems. 375-397 - Lucien Haddad, Dietlinde Lau, Ivo G. Rosenberg:
Intervals of Partial Clones Containing Maximal Clones. 399-421 - Mario J. Pérez-Jiménez, Álvaro Romero Jiménez, Fernando Sancho-Caparrini:
A Polynomial Complexity Class in P Systems Using Membrane Division. 423-434 - Bettina Sunckel:
On the Descriptional Complexity of External Hybrid Cooperating Distributed Grammar Systems. 435-447
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-19 21:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
