default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 112
Volume 112, Number 1, 2011
- Wojciech Penczek
:
Preface. - Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena:
Maximally Parallel Probabilistic Semantics for Multiset Rewriting. 1-17 - Francesco Belardinelli, Andrew V. Jones, Alessio Lomuscio:
Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata. 19-37 - Ludwik Czaja, Manfred Kudlek:
On Synthesis and Analysis of Generalized Work Flow Net Structures and Transition Graphs. 39-45 - Dariusz Doliwa, Wojciech Horzelski, Mariusz Jarocki, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny:
PlanICS - a Web Service Composition Toolset. 47-71 - Michael Köhler-Bußmeier, Frank Heitmann:
Liveness of Safe Object Nets. 73-87 - Heinrich Mellmann, Giuseppe Cotugno:
Dynamic Motion Control: Adaptive Bimanual Grasping for a Humanoid Robot. 89-101 - Wojciech Turek, Krzysztof Cetnarowicz, Wojciech Zaborowski:
Software Agent Systems for Improving Performance of Multi-Robot Groups. 103-117
Volume 112, Numbers 2-3, 2011
- Henning Bordihn, Rudolf Freund, Mika Hirvensalo, Markus Holzer, Martin Kutrib, Friedrich Otto:
Preface. - Maria Paola Bianchi, Carlo Mereghetti, Beatrice Palano, Giovanni Pighizzini:
On the Size of Unary Probabilistic and Nondeterministic Automata. 119-135 - Erzsébet Csuhaj-Varjú, Tomás Masopust, György Vaszil:
Blackhole Pushdown Automata. 137-156 - Jürgen Dassow, Bianca Truthe:
On Networks of Evolutionary Processors with Filters Accepted by Two-State-Automata. 157-170 - Martin Huschenbett:
A Kleene-Schützenberger Theorem for Trace Series over Bounded Lattices. 171-191 - Tomasz Jurdzinski:
Growing Grammars and Length-reducing Automata. 193-217 - Peter Leupold, Friedrich Otto:
On McNaughton Families of Languages That Are Specified by Some Variants of Monadic String-Rewriting Systems. 219-238 - Andreas Maletti:
Survey: Weighted Extended Top-down Tree Transducers Part II - Application in Machine Translation. 239-261
Volume 112, Number 4, 2011
- Anca Dinu:
Versatility of 'Continuations' in Discourse Semantics. 263-280 - Gabriela Martín, Magnus Steinby:
Rough Approximations in Varieties of Regular Languages. 281-303 - Khair Eddin Sabri, Ridha Khédri:
Algebraic Framework for the Specification and Analysis of Cryptographic-Key Distribution. 305-335 - Fabiana T. Santana, Fágner L. Santana, Ana Maria G. Guerreiro, Adrião Duarte Dória Neto, Regivan H. N. Santiago:
A Framework for Interval Quantization and Application to Interval Based Algorithms in Digital Signal Processing. 337-363 - Kyungah Shim, Young-Ran Lee:
Security Pitfalls of the Certificateless Signature and Multi-Receiver Signcryption Schemes. 365-376
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-02-24 21:20 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:
