default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 128
Volume 128, Numbers 1-2, 2013
- Ludwik Czaja:
Preface. - Mohammad Azad
, Igor Chikalov, Mikhail Moshkov, Beata Zielosko:
A Greedy Algorithm for Construction of Decision Trees for Tables with Many-Valued Decisions - A Comparative Study. 1-15 - Marco Bellia, M. Eugenia Occhiuto:
Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types. 17-33 - Ludwik Czaja:
Equations for Asynchronous Message Passing. 35-45 - Robert Dabrowski, Grzegorz Timoszuk, Krzysztof Stencel:
One Graph to Rule Them All Software Measurement and Management. 47-63 - Adam Grabowski:
Automated Discovery of Properties of Rough Sets. 65-79 - Damas P. Gruska:
Information Flow Testing. 81-95 - Michael Köhler-Bußmeier:
Defining Multi-Party Compromises using Unfoldings of Workflow Nets. 97-111 - Manfred Kudlek, Nils Erik Flick:
A Hierarchy of Languages with Catenation and Shuffle. 113-128 - Irina A. Lomazova, Ivan V. Romanov:
Analyzing Compatibility of Services via Resource Conformance. 129-141 - Krzysztof Pancerz, Arkadiusz Lewicki, Ryszard Tadeusiewicz, Jan Warchol:
Ant-Based Clustering in Delta Episode Information Systems Based on Temporal Rough Set Flow Graphs. 143-158 - James F. Peters, Andrzej Skowron, Jaroslaw Stepaniuk:
Nearness of Visual Objects. Application of Rough Sets in Proximity Spaces. 159-176 - Roman R. Redziejowski:
From EBNF to PEG. 177-191 - Zbigniew Suraj:
A New Class of Fuzzy Petri Nets for Knowledge Representation and Reasoning. 193-207 - Annegret Katrin Wagler, Jan-Thierry Wegener:
On Minimality and Equivalence of Petri Nets. 209-222 - Marcin Wolski, Anna Gomolinska:
An Incidence Algebra Approach to Knowledge Granulation in Pawlak Information Systems. 223-238 - Olena Yaskorska, Katarzyna Budzynska, Magdalena Kacprzak:
Proving Propositional Tautologies in a Natural Dialogue. 239-253
Volume 128, Number 3, 2013
- Jan Hidders, Paolo Missier, Jacek Sroka, Jan Van den Bussche:
Preface. - Mohamed Abouelhoda, Shadi Issa, Moustafa Ghanem:
Towards Scalable and Cost-aware Bioinformatics Workflow Execution in the Cloud - Recent Advances to the Tavaxy Workflow System. 255-280 - Marcin Plóciennik, Tomasz Zok, Ilkay Altintas, Jianwu Wang, Daniel Crawl, David Abramson, Frederic Imbeaux, Bernard Guillerminet, Marcos López-Caniego, Isabel Campos Plasencia, Wojciech Pych, Pawel Ciecielag, Bartek Palak, Michal Owsiak, Yann Frauel:
Approaches to Distributed Execution of Scientific Workflows in Kepler. 281-302 - Alkis Simitsis, Kevin Wilkinson, Umeshwar Dayal:
Hybrid Analytic Flows - the Case for Optimization. 303-335 - Justin M. Wozniak, Timothy G. Armstrong, Ketan Maheshwari, Ewing L. Lusk, Daniel S. Katz, Michael Wilde, Ian T. Foster:
Turbine: A Distributed-memory Dataflow Engine for High Performance Many-task Applications. 337-366
Volume 128, Number 4, 2013
- Jan A. Bergstra, Cornelis A. Middelburg:
Data Linkage Algebra, Data Linkage Dynamics, and Priority Rewriting. 367-412 - Stefano Ferilli, Floriana Esposito:
A Logic Framework for Incremental Learning of Process Models. 413-443 - Yo-Sub Han:
State Elimination Heuristics for Short Regular Expressions. 445-462 - Tadeusz Krasinski, Sebastian Sakowski, Jacek Waldmajer, Tomasz Poplawski:
Arithmetical Analysis of Biomolecular Finite Automaton. 463-474 - Xiangyang Wang, Hongying Yang, Jing Wang, Lili Chen, Panpan Niu:
Bayesian Segmentation Based Local Geometrically Invariant Image Watermarking. 475-501 - Zhaohao Wang, Lan Shu, Xiuyong Ding:
Minimal Description and Maximal Description in Covering-based Rough Sets. 503-526
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 2025-11-11 23:10 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:
