Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fuin/AndreevaV06,
  author       = {Maria V. Andreeva and
                  Irina B. Virbitskaite},
  title        = {Observational Equivalences for Timed Stable Event Structures},
  journal      = {Fundam. Informaticae},
  volume       = {72},
  number       = {1-3},
  pages        = {1--19},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-02},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/AndreevaV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BarbutiMMT06,
  author       = {Roberto Barbuti and
                  Andrea Maggiolo{-}Schettini and
                  Paolo Milazzo and
                  Angelo Troina},
  title        = {A Calculus of Looping Sequences for Modelling Microbiological Systems},
  journal      = {Fundam. Informaticae},
  volume       = {72},
  number       = {1-3},
  pages        = {21--35},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-03},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BarbutiMMT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Bazan06,
  author       = {Jan G. Bazan},
  title        = {Behavioral Pattern Identification Through Rough Set Modeling},
  journal      = {Fundam. Informaticae},
  volume       = {72},
  number       = {1-3},
  pages        = {37--50},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-04},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Bazan06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BednarczykJP06,
  author       = {Marek A. Bednarczyk and
                  Wojciech Jamroga and
                  Wieslaw Pawlowski},
  title        = {Expressing and Verifying Temporal and Structural Properties of Mobile
                  Agents},
  journal      = {Fundam. Informaticae},
  volume       = {72},
  number       = {1-3},
  pages        = {51--63},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-05},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BednarczykJP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Chrzastowski-Wachtel06,
  author       = {Piotr Chrzastowski{-}Wachtel},
  title        = {Determining Sound Markings in Structured Nets},
  journal      = {Fundam. Informaticae},
  volume       = {72},
  number       = {1-3},
  pages        = {65--79},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-06},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Chrzastowski-Wachtel06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/CollingsKN06,
  author       = {Simon Collings and
                  Ryszard Kozera and
                  Lyle Noakes},
  title        = {Surface Properties from N-Views of a Strictly Convex Solid},
  journal      = {Fundam. Informaticae},
  volume       = {72},
  number       = {4},
  pages        = {437--452},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-4-01},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/CollingsKN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Czaja06,
  author       = {Ludwik Czaja},
  title        = {Equations for message passing},
  journal      = {Fundam. Informaticae},
  volume       = {72},
  number       = {1-3},
  pages        = {81--93},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-07},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Czaja06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/DoroshenkoS06,
  author       = {Anatoly E. Doroshenko and
                  Ruslan Shevchenko},
  title        = {A Rewriting Framework for Rule-Based Programming Dynamic Applications},
  journal      = {Fundam. Informaticae},
  volume       = {72},
  number       = {1-3},
  pages        = {95--108},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-08},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/DoroshenkoS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/FarwerK06,
  author       = {Berndt Farwer and
                  Michael K{\"{o}}hler},
  title        = {Modelling Global and Local Name Spaces for Mobile Agents Using Object
                  Nets},
  journal      = {Fundam. Informaticae},
  volume       = {72},
  number       = {1-3},
  pages        = {109--122},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-09},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/FarwerK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/FarwerV06,
  author       = {Berndt Farwer and
                  Mauricio Varea},
  title        = {Separation of Control and Data Flow in High-Level Petri Nets: Transforming
                  Dual Flow Nets into Object Petri Nets},
  journal      = {Fundam. Informaticae},
  volume       = {72},
  number       = {1-3},
  pages        = {123--137},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-10},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/FarwerV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Fredriksson06,
  author       = {Kimmo Fredriksson},
  title        = {On-line Approximate String Matching in Natural Language},
  journal      = {Fundam. Informaticae},
  volume       = {72},
  number       = {4},
  pages        = {453--466},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-4-02},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Fredriksson06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Gomolinska06,
  author       = {Anna Gomolinska},
  title        = {Possible Rough Ingredients of Concepts in Approximation Spaces},
  journal      = {Fundam. Informaticae},
  volume       = {72},
  number       = {1-3},
  pages        = {139--154},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-11},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Gomolinska06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/GrabowskiS06,
  author       = {Franciszek Grabowski and
                  Dominik Strzalka},
  title        = {Dynamic Behavior of Simple Insertion Sort Algorithm},
  journal      = {Fundam. Informaticae},
  volume       = {72},
  number       = {1-3},
  pages        = {155--165},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-12},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/GrabowskiS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Gruska06,
  author       = {Damas P. Gruska},
  title        = {Network Information Flow},
  journal      = {Fundam. Informaticae},
  volume       = {72},
  number       = {1-3},
  pages        = {167--180},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-13},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Gruska06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/JanowskaJ06,
  author       = {Agata Janowska and
                  Pawel Janowski},
  title        = {Slicing of Timed Automata with Discrete Data},
  journal      = {Fundam. Informaticae},
  volume       = {72},
  number       = {1-3},
  pages        = {181--195},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-14},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/JanowskaJ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Kacprzak06,
  author       = {Magdalena Kacprzak},
  title        = {A Strong Completeness Result for a {MAS} Logic},
  journal      = {Fundam. Informaticae},
  volume       = {72},
  number       = {1-3},
  pages        = {197--213},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-15},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Kacprzak06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/KacprzakLNPRS06,
  author       = {Magdalena Kacprzak and
                  Alessio Lomuscio and
                  Artur Niewiadomski and
                  Wojciech Penczek and
                  Franco Raimondi and
                  Maciej Szreter},
  title        = {Comparing {BDD} and {SAT} Based Techniques for Model Checking Chaum's
                  Dining Cryptographers Protocol},
  journal      = {Fundam. Informaticae},
  volume       = {72},
  number       = {1-3},
  pages        = {215--234},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-16},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/KacprzakLNPRS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Klunder06,
  author       = {Barbara Klunder},
  title        = {Star-Connected Flat Languages and Automata},
  journal      = {Fundam. Informaticae},
  volume       = {72},
  number       = {1-3},
  pages        = {235--243},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-17},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Klunder06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/KohlerR06,
  author       = {Michael K{\"{o}}hler and
                  Heiko R{\"{o}}lke},
  title        = {Properties of Super-Dual Nets},
  journal      = {Fundam. Informaticae},
  volume       = {72},
  number       = {1-3},
  pages        = {245--254},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-18},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/KohlerR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Kudlek06,
  author       = {Manfred Kudlek},
  title        = {On Quantum Vector Addition Systems},
  journal      = {Fundam. Informaticae},
  volume       = {72},
  number       = {1-3},
  pages        = {255--261},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-19},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Kudlek06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/KurkowskiS06,
  author       = {Miroslaw Kurkowski and
                  Marian Srebrny},
  title        = {A Quantifier-free First-order Knowledge Logic of Authentication},
  journal      = {Fundam. Informaticae},
  volume       = {72},
  number       = {1-3},
  pages        = {263--282},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-20},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/KurkowskiS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/NguyenWPNN06,
  author       = {Trung Thanh Nguyen and
                  Claire P. Willis and
                  Derek J. Paddon and
                  Sinh Hoa Nguyen and
                  Hung Son Nguyen},
  title        = {Learning Sunspot Classification},
  journal      = {Fundam. Informaticae},
  volume       = {72},
  number       = {1-3},
  pages        = {295--309},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-22},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/NguyenWPNN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/NowakWB06,
  author       = {Agnieszka Nowak and
                  Alicja Wakulicz{-}Deja and
                  Sebastian Bachlinski},
  title        = {Optimization of Speech Recognition by Clustering of Phones},
  journal      = {Fundam. Informaticae},
  volume       = {72},
  number       = {1-3},
  pages        = {283--293},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-21},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/NowakWB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/OchmanskiP06,
  author       = {Edward Ochmanski and
                  Joanna Pieckowska},
  title        = {Trace Nets and Conflict-free Computations},
  journal      = {Fundam. Informaticae},
  volume       = {72},
  number       = {1-3},
  pages        = {311--321},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-23},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/OchmanskiP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/OchmanskiS06,
  author       = {Edward Ochmanski and
                  Krystyna Stawikowska},
  title        = {Star-free Star and Trace Languages},
  journal      = {Fundam. Informaticae},
  volume       = {72},
  number       = {1-3},
  pages        = {323--331},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-24},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/OchmanskiS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/PaunP06,
  author       = {Andrei Paun and
                  Bianca Popa},
  title        = {P Systems with Proteins on Membranes},
  journal      = {Fundam. Informaticae},
  volume       = {72},
  number       = {4},
  pages        = {467--483},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-4-03},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/PaunP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/PotikasRG06,
  author       = {Petros Potikas and
                  Panos Rondogiannis and
                  Manolis Gergatsoulis},
  title        = {A Value-propagating Transformation Technique for Datalog Programs
                  Based on Non-Deterministic Constructs},
  journal      = {Fundam. Informaticae},
  volume       = {72},
  number       = {4},
  pages        = {485--527},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-4-04},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/PotikasRG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Redziejowski06,
  author       = {Roman R. Redziejowski},
  title        = {Associative Omega-product of Processes},
  journal      = {Fundam. Informaticae},
  volume       = {72},
  number       = {1-3},
  pages        = {333--345},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-25},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Redziejowski06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/ShenLGL06,
  author       = {Haifeng Shen and
                  Qunxia Li and
                  Jun Guo and
                  Gang Liu},
  title        = {Model-Based Feature Compensation for Robust Speech Recognition},
  journal      = {Fundam. Informaticae},
  volume       = {72},
  number       = {4},
  pages        = {529--539},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-4-05},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/ShenLGL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/ShilovGC06,
  author       = {Nikolay V. Shilov and
                  Natalya Olegovna Garanina and
                  K.{-}M. Choe},
  title        = {Update and Abstraction in Model Checking of Knowledge and Branching
                  Time},
  journal      = {Fundam. Informaticae},
  volume       = {72},
  number       = {1-3},
  pages        = {347--361},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-26},
  timestamp    = {Tue, 15 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/ShilovGC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/SkowronSPS06,
  author       = {Andrzej Skowron and
                  Jaroslaw Stepaniuk and
                  James F. Peters and
                  Roman W. Swiniarski},
  title        = {Calculi of Approximation Spaces},
  journal      = {Fundam. Informaticae},
  volume       = {72},
  number       = {1-3},
  pages        = {363--378},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-27},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/SkowronSPS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/StefanowskiW06,
  author       = {Jerzy Stefanowski and
                  Szymon Wilk},
  title        = {Rough Sets for Handling Imbalanced Data: Combining Filtering and Rule-based
                  Classifiers},
  journal      = {Fundam. Informaticae},
  volume       = {72},
  number       = {1-3},
  pages        = {379--391},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-28},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/StefanowskiW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/SurajGD06,
  author       = {Zbigniew Suraj and
                  Neamat El Gayar and
                  Pawel Delimata},
  title        = {A Rough Set Approach to Multiple Classifier Systems},
  journal      = {Fundam. Informaticae},
  volume       = {72},
  number       = {1-3},
  pages        = {393--406},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-29},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/SurajGD06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Winkowski06,
  author       = {J{\'{o}}zef Winkowski},
  title        = {An Axiomatic Characterization of Algebras of Processes of Petri Nets},
  journal      = {Fundam. Informaticae},
  volume       = {72},
  number       = {1-3},
  pages        = {407--420},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-30},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Winkowski06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Wolski06,
  author       = {Marcin Wolski},
  title        = {Complete Orders, Categories and Lattices of Approximations},
  journal      = {Fundam. Informaticae},
  volume       = {72},
  number       = {1-3},
  pages        = {421--435},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-31},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Wolski06.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.