default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDActa Informatica, Volume 45
Volume 45, Number 1, February 2008
- Symeon Bozapalidis:
Picture deformation. 1-31 - Amr Elmasry, Michael L. Fredman:
Adaptive sorting: an information theoretic perspective. 33-42 - Zhenhua Duan, Cong Tian, Li Zhang:
A decision procedure for propositional projection temporal logic with infinite models. 43-78
Volume 45, Number 2, April 2008
- Iwona Cieslik:
On-line graph coloring of P5-free graphs. 79-91 - Matteo Magnani, Danilo Montesi
:
Management of interval probabilistic data. 93-130 - Tomás Brázdil, Antonín Kucera, Oldrich Strazovský:
Deciding probabilistic bisimilarity over infinite-state probabilistic systems. 131-154
Volume 45, Number 3, May 2008
- Leah Epstein, Asaf Levin, Rob van Stee:
Two-dimensional packing with conflicts. 155-175 - Martin Kutrib, Andreas Malcher, Detlef Wotschke:
The Boolean closure of linear context-free languages. 177-191 - Amr Elmasry, Claus Jensen, Jyrki Katajainen:
Two-tier relaxed heaps. 193-210 - Rudolf Berghammer:
Applying relation algebra and Rel View to solve problems on orders and lattices. 211-236
Volume 45, Number 4, June 2008
- Nicolas Broutin, Luc Devroye, Erin McLeish:
Weighted height of random trees. 237-277 - Ryszard Janicki:
Relational structures model of concurrency. 279-320
Volume 45, Number 5, July 2008
- Larissa Meinicke, Ian J. Hayes:
Algebraic reasoning for probabilistic action systems and while-loops. 321-382 - Robert Brijder, Hendrik Jan Hoogeboom:
The fibers and range of reduction graphs in ciliates. 383-402
Volume 45, Number 6, August 2008
- Benny Godlin, Ofer Strichman:
Inference rules for proving the equivalence of recursive procedures. 403-439 - Joseph M. Morris, Malcolm Tyrrell:
Modelling higher-order dual nondeterminacy. 441-465
Volume 45, Numbers 7-8, December 2008
- Chen-Ming Fan, Cheng-Chih Huang, Huei-Jan Shyr:
Regular autodense languages. 467-477 - Ferruccio Damiani, Elena Giachino, Paola Giannini, Sophia Drossopoulou:
A type safe state abstraction for coordination in Java -like languages. 479-536 - Hanna Klaudel, Franck Pommereau:
M-nets: a survey. 537-564 - Sebastian Link:
Charting the completeness frontier of inference systems for multivalued dependencies. 565-591 - Alexander Meduna, Jirí Techet:
Scattered context grammars that erase nonterminals in a generalized k -limited way. 593-608
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-11-15 19:42 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:
