Search dblp for Publications

export results for "toc:db/journals/fuin/fuin67.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.