default search action

combined dblp search
author search
venue search
publication search

ask others

Fundamenta Informaticae, Volume 120

> Home > Journals > Fundamenta Informaticae

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 120, Number 1, 2012

- view
  authority control:
- export record
  dblp key:
  - journals/fuin/ChalopinMM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/ChalopinMM12
Jérémie Chalopin, Yves Métivier, Thomas Morsellino:
Enumeration and Leader Election in Partially Anonymous and Multi-hop Broadcast Networks. 1-27
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Mazzanti12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Mazzanti12
Stefano Mazzanti:
CRN Elimination and Substitution Bases for Complexity Classes. 29-58
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/QinWCC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/QinWCC12
Chuan Qin, Zhi-Hui Wang, Chin-Chen Chang, Kuo-Nan Chen:
Reversible Data Hiding Scheme Based on Image Inpainting. 59-70
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/SalomaaSS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/SalomaaSS12
Arto Salomaa, Kai Salomaa, Andrew L. Szilard:
Sheng Yu (1950-2012) In Memoriam. 71-74
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Suchenek12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Suchenek12
Marek A. Suchenek:
Elementary Yet Precise Worst-Case Analysis of Floyd's Heap-Construction Program. 75-92
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Zhu12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Zhu12
Ping Zhu:
An Improved Axiomatic Definition of Information Granulation. 93-109

Volume 120, Number 2, 2012

- view
  authority control:
- export record
  dblp key:
  - journals/fuin/BergstraM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BergstraM12
Jan A. Bergstra, Cornelis A. Middelburg:
On the Behaviours Produced by Instruction Sequences under Execution. 111-144
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/BhandariMP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BhandariMP12
Dinabandhu Bhandari, C. A. Murthy, Sankar K. Pal:
Variance as a Stopping Criterion for Genetic Algorithms with Elitist Model. 145-164
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/DennunzioFM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/DennunzioFM12
Alberto Dennunzio, Enrico Formenti, Luca Manzoni:
Computing Issues of Asynchronous CA. 165-180
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/NiewiadomskiPASZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/NiewiadomskiPASZ12
Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny:
Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios. 181-203

Volume 120, Numbers 3-4, 2012

- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Penczek12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Penczek12
Wojciech Penczek:
Preface.
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/AngelisPP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/AngelisPP12
Emanuele De Angelis, Alberto Pettorossi, Maurizio Proietti:
Synthesizing Concurrent Programs Using Answer Set Programming. 205-229
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/AzadCMZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/AzadCMZ12
Mohammad Azad, Igor Chikalov, Mikhail Moshkov, Beata Zielosko:
Greedy Algorithms for Construction of Approximate Tests for Decision Tables with Many-Valued Decisions. 231-242
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/BashkinL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BashkinL12
Vladimir A. Bashkin, Irina A. Lomazova:
Cellular Resource-Driven Automata. 243-257
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/DrabikMM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/DrabikMM12
Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo:
On Conditions for Modular Verification in Systems of Synchronising Components. 259-274
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/DworzanskiL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/DworzanskiL12
Leonid W. Dworzanski, Irina A. Lomazova:
On Compositionality of Boundedness and Liveness for Nested Petri Nets. 275-293
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Gruska12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Gruska12
Damas P. Gruska:
Informational Analysis of Security and Integrity. 295-309
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Gruska12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Gruska12a
Damas P. Gruska:
Quantification of Positive and Negative Attacker's Information. 311-324
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Kohler-BussmeierH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Kohler-BussmeierH12
Michael Köhler-Bußmeier, Frank Heitmann:
Conservative Elementary Object Systems. 325-339
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Popova-ZeugmannP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Popova-ZeugmannP12
Louchka Popova-Zeugmann, Elisabeth Pelz:
Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays. 341-357
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/WisniewskiBS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/WisniewskiBS12
Piotr Wisniewski, Marta Burzanska, Krzysztof Stencel:
The Impedance Mismatch in Light of the Unified State Model. 359-374
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Zbrzezny12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Zbrzezny12
Andrzej Zbrzezny:
A New Translation from ECTL* to SAT. 375-395

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.