![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Fundamenta Informaticae, Volume 105
Volume 105, Numbers 1-2, 2010
- Marco Gavanelli
, Fabrizio Riguzzi
, Alberto Pettorossi
:
Preface. - Stefania Costantini
, Andrea Formisano
, Davide Petturiti
:
Extending and Implementing RASP. 1-33 - Francesco Ricca, Antonella Dimasi, Giovanni Grasso
, Salvatore Maria Ielpa, Salvatore Iiritano, Marco Manna
, Nicola Leone
:
A Logic-Based System for e-Tourism. 35-55 - Stefano Bistarelli
, Giorgio Gosti
:
Solving Distributed CSPs Probabilistically. 57-78 - Agostino Dovier
, Andrea Formisano
, Enrico Pontelli
:
An Investigation of Multi-Agent Planning in CLP. 79-103 - Dario Campagna, Christian De Rosa, Agostino Dovier
, Angelo Montanari, Carla Piazza
:
Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD). 105-133 - Federico Chesani, Paola Mello, Marco Montali
, Paolo Torroni
:
A Logic-Based, Reactive Calculus of Events. 135-161 - Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch:
Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator. 163-187 - Marco Faella, Margherita Napoli
, Mimmo Parente
:
Graded Alternating-Time Temporal Logic. 189-210
Volume 105, Number 3, 2010
- Giuliana Franceschinis, Wojciech Penczek
, Karsten Wolf:
Preface. - Luca Bernardinello, Lucia Pomello, Stefania Rombolà:
Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets. 211-235 - Jean Mairesse, Hoang-Thach Nguyen:
Deficiency Zero Petri Nets and Product Form. 237-261 - Mateus de Oliveira Oliveira
:
Hasse Diagram Generators and Petri Nets. 263-289 - Fernando Rosa-Velardo
, David de Frutos-Escrig
:
Decidability Problems in Petri Nets with Names and Replication. 291-317 - Antti Valmari:
Simple Bisimilarity Minimization in O(m log n) Time. 319-339
Volume 105, Number 4, 2010
- Frans van den Bergh, Andries Petrus Engelbrecht
:
A Convergence Proof for the Particle Swarm Optimiser. 341-374 - Fatemeh Ghassemi, Wan J. Fokkink
, Ali Movaghar
:
Equational Reasoning on Mobile Ad Hoc Networks. 375-415 - Hayk A. Grigoryan, Arsen S. Shoukourian:
Equivalence of Processes in Partially Commutative Object-Oriented Environments. 417-434 - Tayeb Kenaza, Karim Tabia, Salem Benferhat:
On the Use of Naive Bayesian Classifiers for Detecting Elementary and Coordinated Attacks. 435-466
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.