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 Virbitskaite},
  title     = {Observational Equivalences for Timed Stable Event Structures},
  journal   = {Fundam. Inform.},
  volume    = {72},
  number    = {1-3},
  pages     = {1--19},
  year      = {2006}
}
@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. Inform.},
  volume    = {72},
  number    = {1-3},
  pages     = {21--35},
  year      = {2006}
}
@article{DBLP:journals/fuin/Bazan06,
  author    = {Jan G. Bazan},
  title     = {Behavioral Pattern Identification Through Rough Set Modeling},
  journal   = {Fundam. Inform.},
  volume    = {72},
  number    = {1-3},
  pages     = {37--50},
  year      = {2006}
}
@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. Inform.},
  volume    = {72},
  number    = {1-3},
  pages     = {51--63},
  year      = {2006}
}
@article{DBLP:journals/fuin/Chrzastowski-Wachtel06,
  author    = {Piotr Chrzastowski{-}Wachtel},
  title     = {Determining Sound Markings in Structured Nets},
  journal   = {Fundam. Inform.},
  volume    = {72},
  number    = {1-3},
  pages     = {65--79},
  year      = {2006}
}
@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. Inform.},
  volume    = {72},
  number    = {4},
  pages     = {437--452},
  year      = {2006}
}
@article{DBLP:journals/fuin/Czaja06,
  author    = {Ludwik Czaja},
  title     = {Equations for message passing},
  journal   = {Fundam. Inform.},
  volume    = {72},
  number    = {1-3},
  pages     = {81--93},
  year      = {2006}
}
@article{DBLP:journals/fuin/DoroshenkoS06,
  author    = {Anatoly E. Doroshenko and
               Ruslan Shevchenko},
  title     = {A Rewriting Framework for Rule-Based Programming Dynamic Applications},
  journal   = {Fundam. Inform.},
  volume    = {72},
  number    = {1-3},
  pages     = {95--108},
  year      = {2006}
}
@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. Inform.},
  volume    = {72},
  number    = {1-3},
  pages     = {109--122},
  year      = {2006}
}
@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. Inform.},
  volume    = {72},
  number    = {1-3},
  pages     = {123--137},
  year      = {2006}
}
@article{DBLP:journals/fuin/Fredriksson06,
  author    = {Kimmo Fredriksson},
  title     = {On-line Approximate String Matching in Natural Language},
  journal   = {Fundam. Inform.},
  volume    = {72},
  number    = {4},
  pages     = {453--466},
  year      = {2006}
}
@article{DBLP:journals/fuin/Gomolinska06,
  author    = {Anna Gomolinska},
  title     = {Possible Rough Ingredients of Concepts in Approximation Spaces},
  journal   = {Fundam. Inform.},
  volume    = {72},
  number    = {1-3},
  pages     = {139--154},
  year      = {2006}
}
@article{DBLP:journals/fuin/GrabowskiS06,
  author    = {Franciszek Grabowski and
               Dominik Strzalka},
  title     = {Dynamic Behavior of Simple Insertion Sort Algorithm},
  journal   = {Fundam. Inform.},
  volume    = {72},
  number    = {1-3},
  pages     = {155--165},
  year      = {2006}
}
@article{DBLP:journals/fuin/Gruska06,
  author    = {Damas P. Gruska},
  title     = {Network Information Flow},
  journal   = {Fundam. Inform.},
  volume    = {72},
  number    = {1-3},
  pages     = {167--180},
  year      = {2006}
}
@article{DBLP:journals/fuin/JanowskaJ06,
  author    = {Agata Janowska and
               Pawel Janowski},
  title     = {Slicing of Timed Automata with Discrete Data},
  journal   = {Fundam. Inform.},
  volume    = {72},
  number    = {1-3},
  pages     = {181--195},
  year      = {2006}
}
@article{DBLP:journals/fuin/Kacprzak06,
  author    = {Magdalena Kacprzak},
  title     = {A Strong Completeness Result for a {MAS} Logic},
  journal   = {Fundam. Inform.},
  volume    = {72},
  number    = {1-3},
  pages     = {197--213},
  year      = {2006}
}
@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. Inform.},
  volume    = {72},
  number    = {1-3},
  pages     = {215--234},
  year      = {2006}
}
@article{DBLP:journals/fuin/Klunder06,
  author    = {Barbara Klunder},
  title     = {Star-Connected Flat Languages and Automata},
  journal   = {Fundam. Inform.},
  volume    = {72},
  number    = {1-3},
  pages     = {235--243},
  year      = {2006}
}
@article{DBLP:journals/fuin/KohlerR06,
  author    = {Michael K{\"{o}}hler and
               Heiko R{\"{o}}lke},
  title     = {Properties of Super-Dual Nets},
  journal   = {Fundam. Inform.},
  volume    = {72},
  number    = {1-3},
  pages     = {245--254},
  year      = {2006}
}
@article{DBLP:journals/fuin/Kudlek06,
  author    = {Manfred Kudlek},
  title     = {On Quantum Vector Addition Systems},
  journal   = {Fundam. Inform.},
  volume    = {72},
  number    = {1-3},
  pages     = {255--261},
  year      = {2006}
}
@article{DBLP:journals/fuin/KurkowskiS06,
  author    = {Miroslaw Kurkowski and
               Marian Srebrny},
  title     = {A Quantifier-free First-order Knowledge Logic of Authentication},
  journal   = {Fundam. Inform.},
  volume    = {72},
  number    = {1-3},
  pages     = {263--282},
  year      = {2006}
}
@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. Inform.},
  volume    = {72},
  number    = {1-3},
  pages     = {295--309},
  year      = {2006}
}
@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. Inform.},
  volume    = {72},
  number    = {1-3},
  pages     = {283--293},
  year      = {2006}
}
@article{DBLP:journals/fuin/OchmanskiP06,
  author    = {Edward Ochmanski and
               Joanna Pieckowska},
  title     = {Trace Nets and Conflict-free Computations},
  journal   = {Fundam. Inform.},
  volume    = {72},
  number    = {1-3},
  pages     = {311--321},
  year      = {2006}
}
@article{DBLP:journals/fuin/OchmanskiS06,
  author    = {Edward Ochmanski and
               Krystyna Stawikowska},
  title     = {Star-free Star and Trace Languages},
  journal   = {Fundam. Inform.},
  volume    = {72},
  number    = {1-3},
  pages     = {323--331},
  year      = {2006}
}
@article{DBLP:journals/fuin/PaunP06,
  author    = {Andrei Paun and
               Bianca Popa},
  title     = {P Systems with Proteins on Membranes},
  journal   = {Fundam. Inform.},
  volume    = {72},
  number    = {4},
  pages     = {467--483},
  year      = {2006}
}
@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. Inform.},
  volume    = {72},
  number    = {4},
  pages     = {485--527},
  year      = {2006}
}
@article{DBLP:journals/fuin/Redziejowski06,
  author    = {Roman R. Redziejowski},
  title     = {Associative Omega-product of Processes},
  journal   = {Fundam. Inform.},
  volume    = {72},
  number    = {1-3},
  pages     = {333--345},
  year      = {2006}
}
@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. Inform.},
  volume    = {72},
  number    = {4},
  pages     = {529--539},
  year      = {2006}
}
@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. Inform.},
  volume    = {72},
  number    = {1-3},
  pages     = {347--361},
  year      = {2006}
}
@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. Inform.},
  volume    = {72},
  number    = {1-3},
  pages     = {363--378},
  year      = {2006}
}
@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. Inform.},
  volume    = {72},
  number    = {1-3},
  pages     = {379--391},
  year      = {2006}
}
@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. Inform.},
  volume    = {72},
  number    = {1-3},
  pages     = {393--406},
  year      = {2006}
}
@article{DBLP:journals/fuin/Winkowski06,
  author    = {J{\'{o}}zef Winkowski},
  title     = {An Axiomatic Characterization of Algebras of Processes of Petri Nets},
  journal   = {Fundam. Inform.},
  volume    = {72},
  number    = {1-3},
  pages     = {407--420},
  year      = {2006}
}
@article{DBLP:journals/fuin/Wolski06,
  author    = {Marcin Wolski},
  title     = {Complete Orders, Categories and Lattices of Approximations},
  journal   = {Fundam. Inform.},
  volume    = {72},
  number    = {1-3},
  pages     = {421--435},
  year      = {2006}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics