Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/fuin/fuin120.bht:"
download as .bib file
@article{DBLP:journals/fuin/AngelisPP12,
author = {Emanuele {De Angelis} and
Alberto Pettorossi and
Maurizio Proietti},
title = {Synthesizing Concurrent Programs Using Answer Set Programming},
journal = {Fundam. Informaticae},
volume = {120},
number = {3-4},
pages = {205--229},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-758},
doi = {10.3233/FI-2012-758},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/AngelisPP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AzadCMZ12,
author = {Mohammad Azad and
Igor Chikalov and
Mikhail Moshkov and
Beata Zielosko},
title = {Greedy Algorithms for Construction of Approximate Tests for Decision
Tables with Many-Valued Decisions},
journal = {Fundam. Informaticae},
volume = {120},
number = {3-4},
pages = {231--242},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-759},
doi = {10.3233/FI-2012-759},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/AzadCMZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BashkinL12,
author = {Vladimir A. Bashkin and
Irina A. Lomazova},
title = {Cellular Resource-Driven Automata},
journal = {Fundam. Informaticae},
volume = {120},
number = {3-4},
pages = {243--257},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-760},
doi = {10.3233/FI-2012-760},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/BashkinL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BergstraM12,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {On the Behaviours Produced by Instruction Sequences under Execution},
journal = {Fundam. Informaticae},
volume = {120},
number = {2},
pages = {111--144},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-753},
doi = {10.3233/FI-2012-753},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BergstraM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BhandariMP12,
author = {Dinabandhu Bhandari and
C. A. Murthy and
Sankar K. Pal},
title = {Variance as a Stopping Criterion for Genetic Algorithms with Elitist
Model},
journal = {Fundam. Informaticae},
volume = {120},
number = {2},
pages = {145--164},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-754},
doi = {10.3233/FI-2012-754},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BhandariMP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ChalopinMM12,
author = {J{\'{e}}r{\'{e}}mie Chalopin and
Yves M{\'{e}}tivier and
Thomas Morsellino},
title = {Enumeration and Leader Election in Partially Anonymous and Multi-hop
Broadcast Networks},
journal = {Fundam. Informaticae},
volume = {120},
number = {1},
pages = {1--27},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-747},
doi = {10.3233/FI-2012-747},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/ChalopinMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DennunzioFM12,
author = {Alberto Dennunzio and
Enrico Formenti and
Luca Manzoni},
title = {Computing Issues of Asynchronous {CA}},
journal = {Fundam. Informaticae},
volume = {120},
number = {2},
pages = {165--180},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-755},
doi = {10.3233/FI-2012-755},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DennunzioFM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DrabikMM12,
author = {Peter Dr{\'{a}}bik and
Andrea Maggiolo{-}Schettini and
Paolo Milazzo},
title = {On Conditions for Modular Verification in Systems of Synchronising
Components},
journal = {Fundam. Informaticae},
volume = {120},
number = {3-4},
pages = {259--274},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-761},
doi = {10.3233/FI-2012-761},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DrabikMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DworzanskiL12,
author = {Leonid W. Dworzanski and
Irina A. Lomazova},
title = {On Compositionality of Boundedness and Liveness for Nested Petri Nets},
journal = {Fundam. Informaticae},
volume = {120},
number = {3-4},
pages = {275--293},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-762},
doi = {10.3233/FI-2012-762},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DworzanskiL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Gruska12,
author = {Damas P. Gruska},
title = {Informational Analysis of Security and Integrity},
journal = {Fundam. Informaticae},
volume = {120},
number = {3-4},
pages = {295--309},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-763},
doi = {10.3233/FI-2012-763},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Gruska12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Gruska12a,
author = {Damas P. Gruska},
title = {Quantification of Positive and Negative Attacker's Information},
journal = {Fundam. Informaticae},
volume = {120},
number = {3-4},
pages = {311--324},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-764},
doi = {10.3233/FI-2012-764},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Gruska12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Kohler-BussmeierH12,
author = {Michael K{\"{o}}hler{-}Bu{\ss}meier and
Frank Heitmann},
title = {Conservative Elementary Object Systems},
journal = {Fundam. Informaticae},
volume = {120},
number = {3-4},
pages = {325--339},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-765},
doi = {10.3233/FI-2012-765},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Kohler-BussmeierH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Mazzanti12,
author = {Stefano Mazzanti},
title = {{CRN} Elimination and Substitution Bases for Complexity Classes},
journal = {Fundam. Informaticae},
volume = {120},
number = {1},
pages = {29--58},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-748},
doi = {10.3233/FI-2012-748},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Mazzanti12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/NiewiadomskiPASZ12,
author = {Artur Niewiadomski and
Wojciech Penczek and
Agata P{\'{o}}lrola and
Maciej Szreter and
Andrzej Zbrzezny},
title = {Towards Automatic Composition of Web Services: SAT-Based Concretisation
of Abstract Scenarios},
journal = {Fundam. Informaticae},
volume = {120},
number = {2},
pages = {181--203},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-756},
doi = {10.3233/FI-2012-756},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/NiewiadomskiPASZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Penczek12,
author = {Wojciech Penczek},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {120},
number = {3-4},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-757},
doi = {10.3233/FI-2012-757},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Penczek12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Popova-ZeugmannP12,
author = {Louchka Popova{-}Zeugmann and
Elisabeth Pelz},
title = {Algebraical Characterisation of Interval-Timed Petri Nets with Discrete
Delays},
journal = {Fundam. Informaticae},
volume = {120},
number = {3-4},
pages = {341--357},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-766},
doi = {10.3233/FI-2012-766},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Popova-ZeugmannP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/QinWCC12,
author = {Chuan Qin and
Zhi{-}Hui Wang and
Chin{-}Chen Chang and
Kuo{-}Nan Chen},
title = {Reversible Data Hiding Scheme Based on Image Inpainting},
journal = {Fundam. Informaticae},
volume = {120},
number = {1},
pages = {59--70},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-749},
doi = {10.3233/FI-2012-749},
timestamp = {Mon, 26 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/QinWCC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/SalomaaSS12,
author = {Arto Salomaa and
Kai Salomaa and
Andrew L. Szilard},
title = {Sheng Yu {(1950-2012)} In Memoriam},
journal = {Fundam. Informaticae},
volume = {120},
number = {1},
pages = {71--74},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-750},
doi = {10.3233/FI-2012-750},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/SalomaaSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Suchenek12,
author = {Marek A. Suchenek},
title = {Elementary Yet Precise Worst-Case Analysis of Floyd's Heap-Construction
Program},
journal = {Fundam. Informaticae},
volume = {120},
number = {1},
pages = {75--92},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-751},
doi = {10.3233/FI-2012-751},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Suchenek12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/WisniewskiBS12,
author = {Piotr Wisniewski and
Marta Burzanska and
Krzysztof Stencel},
title = {The Impedance Mismatch in Light of the Unified State Model},
journal = {Fundam. Informaticae},
volume = {120},
number = {3-4},
pages = {359--374},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-767},
doi = {10.3233/FI-2012-767},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/WisniewskiBS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Zbrzezny12,
author = {Andrzej Zbrzezny},
title = {A New Translation from ECTL* to {SAT}},
journal = {Fundam. Informaticae},
volume = {120},
number = {3-4},
pages = {375--395},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-768},
doi = {10.3233/FI-2012-768},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Zbrzezny12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Zhu12,
author = {Ping Zhu},
title = {An Improved Axiomatic Definition of Information Granulation},
journal = {Fundam. Informaticae},
volume = {120},
number = {1},
pages = {93--109},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-752},
doi = {10.3233/FI-2012-752},
timestamp = {Thu, 08 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/Zhu12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-05-25 23:06 CEST from data curated 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:
