Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/fuin/fuin67.bht:"
@article{DBLP:journals/fuin/BarbutiC05, author = {Roberto Barbuti and Stefano Cataudella}, title = {Abstract Interpretation of an Object Calculus for Synchronization Optimizations}, journal = {Fundam. Informaticae}, volume = {67}, number = {1-3}, pages = {1--12}, year = {2005}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi67-1-3-02}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/BarbutiC05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/BarbutiCMMT05, author = {Roberto Barbuti and Stefano Cataudella and Andrea Maggiolo{-}Schettini and Paolo Milazzo and Angelo Troina}, title = {A Probabilistic Model for Molecular Systems}, journal = {Fundam. Informaticae}, volume = {67}, number = {1-3}, pages = {13--27}, year = {2005}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi67-1-3-03}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/BarbutiCMMT05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/BelliaO05, author = {Marco Bellia and M. Eugenia Occhiuto}, title = {Higher order Programming in Java: Introspection, Subsumption and Extraction}, journal = {Fundam. Informaticae}, volume = {67}, number = {1-3}, pages = {29--44}, year = {2005}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi67-1-3-04}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/BelliaO05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/BurkhardCLS05, author = {Hans{-}Dieter Burkhard and Ludwik Czaja and Gabriela Lindemann and Zbigniew Suraj}, title = {Preface: Concurrency Specification and Programming}, journal = {Fundam. Informaticae}, volume = {67}, number = {1-3}, year = {2005}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi67-1-3-01}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/BurkhardCLS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Czaja05, author = {Ludwik Czaja}, title = {An Axiomatic Framework for Proving Correctness of Nets}, journal = {Fundam. Informaticae}, volume = {67}, number = {1-3}, pages = {45--64}, year = {2005}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi67-1-3-05}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Czaja05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/FarwerK05, author = {Berndt Farwer and Michael K{\"{o}}hler}, title = {Petri Net Processes for Zero-Safe Nets}, journal = {Fundam. Informaticae}, volume = {67}, number = {1-3}, pages = {65--75}, year = {2005}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi67-1-3-06}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/FarwerK05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/GireP05, author = {Fran{\c{c}}oise Gire and Corinne Plourde}, title = {A New Partial Semantics for Disjunctive Deductive Databases}, journal = {Fundam. Informaticae}, volume = {67}, number = {4}, pages = {323--342}, year = {2005}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi67-4-01}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/GireP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Gomolinska05, author = {Anna Gomolinska}, title = {Satisfiability and Meaning of Formulas and Sets of Formulas in Approximation Spaces}, journal = {Fundam. Informaticae}, volume = {67}, number = {1-3}, pages = {77--92}, year = {2005}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi67-1-3-07}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Gomolinska05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/JanickiW05, author = {Ryszard Janicki and Alan Wassyng}, title = {Tabular Expressions and Their Relational Semantics}, journal = {Fundam. Informaticae}, volume = {67}, number = {4}, pages = {343--370}, year = {2005}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi67-4-02}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/JanickiW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/KlunderOS05, author = {Barbara Klunder and Edward Ochmanski and Krystyna Stawikowska}, title = {On Star-Connected Flat Languages}, journal = {Fundam. Informaticae}, volume = {67}, number = {1-3}, pages = {93--105}, year = {2005}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi67-1-3-08}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/KlunderOS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/KryvyyML05, author = {Sergiy Kryvyy and Lyudmila Matvyeyeva and Mariya Lopatina}, title = {Automatic Modeling and Analysis of MSC-specified Systems}, journal = {Fundam. Informaticae}, volume = {67}, number = {1-3}, pages = {107--120}, year = {2005}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi67-1-3-09}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/KryvyyML05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Kudlek05a, author = {Manfred Kudlek}, title = {Probability in Petri Nets}, journal = {Fundam. Informaticae}, volume = {67}, number = {1-3}, pages = {121--130}, year = {2005}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi67-1-3-10}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Kudlek05a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Latkowski05, author = {Rafal Latkowski}, title = {Flexible Indiscernibility Relations for Missing Attribute Values}, journal = {Fundam. Informaticae}, volume = {67}, number = {1-3}, pages = {131--147}, year = {2005}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi67-1-3-11}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Latkowski05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Popa05, author = {Ionut Popa}, title = {KDS-transformation for Data Compression}, journal = {Fundam. Informaticae}, volume = {67}, number = {4}, pages = {371--375}, year = {2005}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi67-4-03}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Popa05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Popova-ZeugmannHK05, author = {Louchka Popova{-}Zeugmann and Monika Heiner and Ina Koch}, title = {Time Petri Nets for Modelling and Analysis of Biochemical Networks}, journal = {Fundam. Informaticae}, volume = {67}, number = {1-3}, pages = {149--162}, year = {2005}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi67-1-3-12}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Popova-ZeugmannHK05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Popova-ZeugmannW05, author = {Louchka Popova{-}Zeugmann and Matthias Werner}, title = {Extreme Runtimes of Schedules Modelled by Time Petri Nets}, journal = {Fundam. Informaticae}, volume = {67}, number = {1-3}, pages = {163--174}, year = {2005}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi67-1-3-13}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Popova-ZeugmannW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Redziejowski05, author = {Roman R. Redziejowski}, title = {Associative Omega-products of Traces}, journal = {Fundam. Informaticae}, volume = {67}, number = {1-3}, pages = {175--185}, year = {2005}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi67-1-3-14}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Redziejowski05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/SchroterUH05, author = {Kay Schr{\"{o}}ter and Diemo Urbig and Nora Hans}, title = {Social Formation of Negotiation Space and Groups for Non-Isolated Multilateral Negotiations}, journal = {Fundam. Informaticae}, volume = {67}, number = {1-3}, pages = {187--201}, year = {2005}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi67-1-3-15}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/SchroterUH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/StepaniukBS05, author = {Jaroslaw Stepaniuk and Jan G. Bazan and Andrzej Skowron}, title = {Modelling Complex Patterns by Information Systems}, journal = {Fundam. Informaticae}, volume = {67}, number = {1-3}, pages = {203--217}, year = {2005}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi67-1-3-16}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/StepaniukBS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/SurajP05, author = {Zbigniew Suraj and Krzysztof Pancerz}, title = {Restriction-Based Concurrent System Design Using the Rough Set Formalism}, journal = {Fundam. Informaticae}, volume = {67}, number = {1-3}, pages = {233--247}, year = {2005}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi67-1-3-18}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/SurajP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/SurajPG05, author = {Zbigniew Suraj and James F. Peters and Piotr Grochowalski}, title = {A Controller Design for the Khepera Robot: {A} Rough Set Approach}, journal = {Fundam. Informaticae}, volume = {67}, number = {1-3}, pages = {219--231}, year = {2005}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi67-1-3-17}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/SurajPG05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/SynakBSP05, author = {Piotr Synak and Jan G. Bazan and Andrzej Skowron and James F. Peters}, title = {Spatio-Temporal Approximate Reasoning over Complex Objects}, journal = {Fundam. Informaticae}, volume = {67}, number = {1-3}, pages = {249--269}, year = {2005}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi67-1-3-19}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/SynakBSP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Urbig05, author = {Diemo Urbig}, title = {Weight-Based Negotiation Mechanisms: Balancing Personal Utilities}, journal = {Fundam. Informaticae}, volume = {67}, number = {1-3}, pages = {271--285}, year = {2005}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi67-1-3-20}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Urbig05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Wroblewski05, author = {Dobieslaw Wr{\'{o}}blewski}, title = {Universal Semi-local Election Protocol Using Forward Links}, journal = {Fundam. Informaticae}, volume = {67}, number = {1-3}, pages = {287--301}, year = {2005}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi67-1-3-21}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Wroblewski05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/XuZ05, author = {Jian Xu and Jeffery I. Zucker}, title = {First and Second Order Recursion on Abstract Data Types}, journal = {Fundam. Informaticae}, volume = {67}, number = {4}, pages = {377--419}, year = {2005}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi67-4-04}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/XuZ05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Zbrzezny05, author = {Andrzej Zbrzezny}, title = {SAT-based Reachability Checking for Timed Automata with Diagonal Constraints}, journal = {Fundam. Informaticae}, volume = {67}, number = {1-3}, pages = {303--322}, year = {2005}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi67-1-3-22}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Zbrzezny05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.