Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 109
Volume 109, Number 1, 2011
- Pascal Caron, Marianne Flouret:
From Glushkov WFAs to K-Expressions. 1-25 - Oliver Kullmann:
Constraint Satisfaction Problems in Clausal Form I: Autarkies and Deficiency. 27-81 - Oliver Kullmann:
Constraint Satisfaction Problems in Clausal Form II: Minimal Unsatisfiability and Conflict Structure. 83-119
Volume 109, Number 2, 2011
- Chin-Chen Chang, Chih-Yang Lin
, Yi-Hsuan Fan:
Reversible Steganography for BTC-compressed Images. 121-134 - Roberto Gorrieri, Cristian Versari:
An Operational Petri Net Semantics for A2CCS. 135-160 - Galina Jirásková, Alexander Okhotin:
On the State Complexity of Star of Union and Star of Intersection. 161-178 - Yunyun Niu, Linqiang Pan, Mario J. Pérez-Jiménez, Miquel Rius-Font:
A Tissue P Systems Based Uniform Solution to Tripartite Matching Problem. 179-188 - Xu An Wang, Xiaoyuan Yang, Minqing Zhang:
Cryptanalysis of Two Efficient HIBE Schemes in the Standard Model. 189-200 - Józef Winkowski:
Multiplicative Transition Systems. 201-222
Volume 109, Number 3, 2011
- Ludwik Czaja:
Preface. - Vladimir A. Bashkin, Irina A. Lomazova:
Resource Driven Automata Nets. 223-236 - Marco Bellia, M. Eugenia Occhiuto:
Properties of Java Simple Closures. 237-253 - Ludwik Czaja:
On Deadlock and Fairness Decision Problems for Computations on Client-server Systems. 255-264 - Anna Gomolinska:
A Logic-Algebraic Approach to Graded Inclusion. 265-279 - Damas P. Gruska:
Gained and Excluded Private Actions by Process Observations. 281-295 - Manfred Kudlek:
A Relation between Modal Logic and Language Closure Operators. 297-304 - Artur Meski, Wojciech Penczek, Agata Pólrola:
BDD-based Bounded Model Checking for Temporal Properties of 1-Safe Petri Nets. 305-321 - Roman R. Redziejowski:
BITES Instead of FIRST for Parsing Expression Grammar. 323-337 - Marcin S. Szczuka, Andrzej Skowron, Jaroslaw Stepaniuk:
Function Approximation and Quality Measures in Rough-Granular Systems. 339-354 - Marcin Wolski:
Incomplete and Nondeterministic Information Systems: Object-Directed Semantics for Descriptor Languages. 355-368
Volume 109, Number 4, 2011
- Zoltán Ésik, Klaus Sutner:
Stephen L. Bloom 1940-2010. 369-381 - Thomas Locher, Stefan Schmid, Roger Wattenhofer:
eDonkey & eMule's Kad: Measurements & Attacks. 383-403 - Xiaoxue Piao, Kai Salomaa:
Transformations Between Different Models of Unranked Bottom-Up Tree Automata. 405-424 - Daniel Simson:
Mesh Algorithms for Solving Principal Diophantine Equations, Sand-glass Tubes and Tori of Roots. 425-462 - Ping Zhu:
An Axiomatic Approach to the Roughness Measure of Rough Sets. 463-480 - Erratum to the paper: "A Logic-Based System for e-Tourism". 481
a service of 
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 2024-04-18 20:20 CEST 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:
