default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 102
Volume 102, Number 1, 2010
- Wojciech Penczek
:
Preface. - Jörg Peter Bachmann, Louchka Popova-Zeugmann:
Time-independent Liveness in Time Petri Nets. 1-17 - Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Damas P. Gruska:
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security. 19-34 - Katarzyna Budzynska, Magdalena Kacprzak, Pawel Rembelski:
Update of Probabilistic Beliefs: Implementation and Parametric Verification. 35-48 - Hans-Dieter Burkhard:
Agent Oriented Techniques for Programming Autonomous Robots. 49-62 - Damas P. Gruska:
Process Algebra Contexts and Security Properties. 63-76 - Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu:
Model Checking Optimisation Based Congestion Control Algorithms. 77-96 - Linh Anh Nguyen, Andrzej Szalas:
Checking Consistency of an ABox w.r.t. Global Assumptions in PDL. 97-113 - Marian Srebrny, Lidia Stepien:
SAT as a Programming Environment for Linear Algebra. 115-127 - Irina B. Virbitskaite, Natalya Gribovskaya, Eike Best:
A Categorical View of Timed Behaviours. 129-143
Volume 102, Number 2, 2010
- Thorsten Altenkirch, Tarmo Uustalu:
Preface. - Edwin C. Brady, Kevin Hammond:
Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols. 145-176 - Andres Löh, Conor McBride, Wouter Swierstra:
A Tutorial Implementation of a Dependently Typed Lambda Calculus. 177-207 - Sean Wilson, Jacques D. Fleuriot, Alan Smaill:
Automation for Dependently Typed Functional Programming. 209-228
Volume 102, Numbers 3-4, 2010
- Marco Gavanelli, Toni Mancini:
Preface. - Thanasis Balafoutis, Kostas Stergiou:
Evaluating and Improving Modern Variable and Revision Ordering Strategies in CSPs. 229-261 - Ismel Brito, Pedro Meseguer:
Cluster Tree Elimination for Distributed Constraint Optimization with Quality Guarantees. 263-286 - Alfonso Gerevini, Ivan Serina:
Efficient Plan Adaptation through Replanning Windows and Heuristic Goals. 287-323 - Marco Montali, Paolo Torroni, Federico Chesani, Paola Mello, Marco Alberti, Evelina Lamma:
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes. 325-361 - António Morgado, João Marques-Silva:
Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem. 363-389 - Luca Pulina, Armando Tacchella:
An Empirical Study of QBF Encodings: from Treewidth Estimation to Useful Preprocessing. 391-427 - Fabrizio Riguzzi:
SLGAD Resolution for Inference on Logic Programs with Annotated Disjunctions. 429-466 - Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima:
A SAT-based Method for Solving the Two-dimensional Strip Packing Problem. 467-487
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-12-26 00:36 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:
