Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fuin/BarbutiFST02,
  author       = {Roberto Barbuti and
                  Nicoletta De Francesco and
                  Antonella Santone and
                  Luca Tesei},
  title        = {A Notion of Non-Interference for Timed Automata},
  journal      = {Fundam. Informaticae},
  volume       = {51},
  number       = {1-2},
  pages        = {1--11},
  year         = {2002},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi51-1-2-02},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BarbutiFST02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BecherC02,
  author       = {Ver{\'{o}}nica Becher and
                  Gregory J. Chaitin},
  title        = {Another Example of Higher Order Randomness},
  journal      = {Fundam. Informaticae},
  volume       = {51},
  number       = {4},
  pages        = {325--338},
  year         = {2002},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi51-4-01},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BecherC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BonoT02,
  author       = {Viviana Bono and
                  Jerzy Tiuryn},
  title        = {Products and Polymorphic Subtypes},
  journal      = {Fundam. Informaticae},
  volume       = {51},
  number       = {1-2},
  pages        = {13--41},
  year         = {2002},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi51-1-2-03},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BonoT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Burkhard02,
  author       = {Hans{-}Dieter Burkhard},
  title        = {Real Time Control for Autonomous Mobile Robots},
  journal      = {Fundam. Informaticae},
  volume       = {51},
  number       = {3},
  pages        = {251--270},
  year         = {2002},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi51-3-01},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Burkhard02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Czaja02,
  author       = {Ludwik Czaja},
  title        = {Place/Transition Petri Net Evolutions: Recording Ways, Analysis and
                  Synthesis},
  journal      = {Fundam. Informaticae},
  volume       = {51},
  number       = {1-2},
  pages        = {43--58},
  year         = {2002},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi51-1-2-04},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Czaja02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/DembinskiPP02,
  author       = {Piotr Dembinski and
                  Wojciech Penczek and
                  Agata P{\'{o}}lrola},
  title        = {Verification of Timed Automata Based on Similarity},
  journal      = {Fundam. Informaticae},
  volume       = {51},
  number       = {1-2},
  pages        = {59--89},
  year         = {2002},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi51-1-2-05},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/DembinskiPP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/DenisLT02,
  author       = {Fran{\c{c}}ois Denis and
                  Aur{\'{e}}lien Lemay and
                  Alain Terlutte},
  title        = {Residual Finite State Automata},
  journal      = {Fundam. Informaticae},
  volume       = {51},
  number       = {4},
  pages        = {339--368},
  year         = {2002},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi51-4-02},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/DenisLT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Dunin-KepliczV02,
  author       = {Barbara Dunin{-}Keplicz and
                  Rineke Verbrugge},
  title        = {Collective Intentions},
  journal      = {Fundam. Informaticae},
  volume       = {51},
  number       = {3},
  pages        = {271--295},
  year         = {2002},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi51-3-02},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Dunin-KepliczV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Farwer02,
  author       = {Berndt Farwer},
  title        = {Dynamic Modification of Object Petri Nets. An Application to Modelling
                  Protocols with Fork-Join Structures},
  journal      = {Fundam. Informaticae},
  volume       = {51},
  number       = {1-2},
  pages        = {91--101},
  year         = {2002},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi51-1-2-06},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Farwer02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Gomolinska02,
  author       = {Anna Gomolinska},
  title        = {A Comparative Study of Some Generalized Rough Approximations},
  journal      = {Fundam. Informaticae},
  volume       = {51},
  number       = {1-2},
  pages        = {103--119},
  year         = {2002},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi51-1-2-07},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Gomolinska02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/GoraW02,
  author       = {Grzegorz G{\'{o}}ra and
                  Arkadiusz Wojna},
  title        = {{RIONA:} {A} New Classification System Combining Rule Induction and
                  Instance-Based Learning},
  journal      = {Fundam. Informaticae},
  volume       = {51},
  number       = {4},
  pages        = {369--390},
  year         = {2002},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi51-4-03},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/GoraW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/KopeekN02,
  author       = {Ivan Kopeek and
                  Miroslav Novotn{\'{y}}},
  title        = {On Equations Including Strings},
  journal      = {Fundam. Informaticae},
  volume       = {51},
  number       = {4},
  pages        = {391--398},
  year         = {2002},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi51-4-04},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/KopeekN02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/KoutrasP02,
  author       = {Costas D. Koutras and
                  Pavlos Peppas},
  title        = {Weaker Axioms, More Ranges},
  journal      = {Fundam. Informaticae},
  volume       = {51},
  number       = {3},
  pages        = {297--310},
  year         = {2002},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi51-3-03},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/KoutrasP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Lomazova02,
  author       = {Irina A. Lomazova},
  title        = {Modeling Dynamic Objects in Distributed Systems with Nested Petri
                  Nets},
  journal      = {Fundam. Informaticae},
  volume       = {51},
  number       = {1-2},
  pages        = {121--133},
  year         = {2002},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi51-1-2-08},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Lomazova02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/MedunaK02,
  author       = {Alexander Meduna and
                  Duwan Kol{\'{a}}q},
  title        = {One-Turn Regulated Pushdown Automata and Their Reduction},
  journal      = {Fundam. Informaticae},
  volume       = {51},
  number       = {4},
  pages        = {399--405},
  year         = {2002},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi51-4-05},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/MedunaK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/PenczekWZ02,
  author       = {Wojciech Penczek and
                  Bozena Wozna and
                  Andrzej Zbrzezny},
  title        = {Bounded Model Checking for the Universal Fragment of {CTL}},
  journal      = {Fundam. Informaticae},
  volume       = {51},
  number       = {1-2},
  pages        = {135--156},
  year         = {2002},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi51-1-2-09},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/PenczekWZ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/PetersSSR02,
  author       = {James F. Peters and
                  Andrzej Skowron and
                  Jaroslaw Stepaniuk and
                  Sheela Ramanna},
  title        = {Towards an Ontology of Approximate Reason},
  journal      = {Fundam. Informaticae},
  volume       = {51},
  number       = {1-2},
  pages        = {157--173},
  year         = {2002},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi51-1-2-10},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/PetersSSR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/RasG02,
  author       = {Zbigniew W. Ras and
                  Shishir Gupta},
  title        = {Global Action Rules in Distributed Knowledge Systems},
  journal      = {Fundam. Informaticae},
  volume       = {51},
  number       = {1-2},
  pages        = {175--184},
  year         = {2002},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi51-1-2-11},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/RasG02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/RichlingPW02,
  author       = {Jan Richling and
                  Louchka Popova{-}Zeugmann and
                  Matthias Werner},
  title        = {Verification of Non-functional Properties of a Composable Architecture
                  with Petrinets},
  journal      = {Fundam. Informaticae},
  volume       = {51},
  number       = {1-2},
  pages        = {185--200},
  year         = {2002},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi51-1-2-12},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/RichlingPW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/SenC02,
  author       = {Jayanta Sen and
                  Mihir K. Chakraborty},
  title        = {A Study of Interconnections Between Rough and 3-Valued Lukasiewicz
                  Logics},
  journal      = {Fundam. Informaticae},
  volume       = {51},
  number       = {3},
  pages        = {311--324},
  year         = {2002},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi51-3-04},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/SenC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/SurajPR02,
  author       = {Zbigniew Suraj and
                  James F. Peters and
                  W. Rzqsa},
  title        = {A Comparison of Different Decision Algorithms Used in Volumetric Storm
                  Cells Classification},
  journal      = {Fundam. Informaticae},
  volume       = {51},
  number       = {1-2},
  pages        = {201--214},
  year         = {2002},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi51-1-2-13},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/SurajPR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Varpaaniem02,
  author       = {Kimmo Varpaaniemi},
  title        = {Minimizing the Number of Successor States in the Stubborn Set Method},
  journal      = {Fundam. Informaticae},
  volume       = {51},
  number       = {1-2},
  pages        = {215--234},
  year         = {2002},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi51-1-2-14},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Varpaaniem02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Winkowski02,
  author       = {J{\'{o}}zef Winkowski},
  title        = {Reachability in Contextual Nets},
  journal      = {Fundam. Informaticae},
  volume       = {51},
  number       = {1-2},
  pages        = {235--250},
  year         = {2002},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi51-1-2-15},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Winkowski02.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.