default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta 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
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-10-12 22:48 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:
