Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 107
Volume 107, Number 1, 2011
- Bo Cui, Lila Kari, Shinnosuke Seki:
K-Comma Codes and Their Generalizations. 1-18 - Hossein Hojjat, Mohammad Reza Mousavi
, Marjan Sirjani:
Formal Analysis of SystemC Designs in Process Algebra. 19-42 - Florian Kammüller:
Mechanical Analysis of Finite Idempotent Relations. 43-65 - Yanhong She, Xiaoli He, Guojun Wang:
Rough Truth Degrees of Formulas and Approximate Reasoning in Rough Logic. 67-83 - Alicja Wieczorkowska, Elzbieta Kubera, Agnieszka Kubik-Komar:
Analysis of Recognition of a Musical Instrument in Sound Mixes Using Support Vector Machines. 85-104 - Hu Xiong, Zhiguang Qin, Fagen Li:
Cryptanalysis of an Identity Based Signcryption without Random Oracles. 105-109
Volume 107, Numbers 2-3, 2011
- Marco Gavanelli, Toni Mancini, Alberto Pettorossi:
RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion. - Amedeo Cesta, Simone Fratini, Andrea Orlandini, Alberto Finzi, Enrico Tronci:
Flexible Plan Verification: Feasibility Results. 111-137 - Matthew Lewis, Tobias Schubert, Bernd Becker, Paolo Marin, Massimo Narizzano, Enrico Giunchiglia:
Parallel QBF Solving with Advanced Knowledge Sharing. 139-166 - Alfonso Gerevini, Alessandro Saetti, Ivan Serina:
An Empirical Analysis of Some Heuristic Features for Planning through Local Search and Action Graphs. 167-197 - Fabio Massimo Zanzotto, Lorenzo Dell'Arciprete, Alessandro Moschitti:
Efficient Graph Kernels for Textual Entailment Recognition. 199-222 - Jun He, Pierre Flener, Justin Pearson:
An automaton Constraint for Local Search. 223-248 - Inês Lynce, João Marques-Silva:
Restoring CSP Satisfiability with MaxSAT. 249-266 - Michele Lombardi, Michela Milano, Andrea Roli, Alessandro Zanarini:
Deriving Information from Sampling and Diving. 267-287 - Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä:
Partitioning Search Spaces of a Randomized Search. 289-311
Volume 107, Number 4, 2011
- Philippe Andary, Bruno Patrou, Pierre Valarcher:
A Representation Theorem for Primitive Recursive Algorithms. 313-330 - Bhaswar B. Bhattacharya:
On the Fermat-Weber Point of a Polygonal Chain and its Generalizations. 331-343 - Liliana Cojocaru:
Trade-Offs Between Time, Space, Cooperation, and Communication Complexity for CD Grammar Systems. 345-378 - Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca:
Look-back Techniques for ASP Programs with Aggregates. 379-413 - Dingcheng Feng, Feng Chen, Wenli Xu:
Analysis of Markov Boundary Induction in Bayesian Networks: A New View From Matroid Theory. 415-434
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-22 20:02 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:
