Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/fuin/fuin85.bht:"
download as .bib file
@article{DBLP:journals/fuin/BednarczykPBPB08,
author = {Marek A. Bednarczyk and
Wieslaw Pawlowski and
Luca Bernardinello and
Lucia Pomello and
Tomasz Borzyszkowski},
title = {A Multi-facet Approach to Dynamic Agent Systems},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {19--33},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-03},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BednarczykPBPB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BelliaO08,
author = {Marco Bellia and
M. Eugenia Occhiuto},
title = {Methods as Parameters: {A} Preprocessing Approach to Higher Order
in Java},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {35--50},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-04},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BelliaO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BudzynskaK08,
author = {Katarzyna Budzynska and
Magdalena Kacprzak},
title = {A Logic for Reasoning about Persuasion},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {51--65},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-05},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BudzynskaK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Chrzastowski-WachtelFW08,
author = {Piotr Chrzastowski{-}Wachtel and
Pawel Findeisen and
Grzegorz Wolny},
title = {Time Distribution in Structural Workflow Nets},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {67--87},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-06},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Chrzastowski-WachtelFW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Czaja08,
author = {Ludwik Czaja},
title = {Boolean Algebra of Nets, their Synthesis and Analysis},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {89--95},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-07},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Czaja08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DelimataS08,
author = {Pawel Delimata and
Zbigniew Suraj},
title = {Feature Selection Algorithm for Multiple Classifier Systems: {A} Hybrid
Approach},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {97--110},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-08},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DelimataS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FarwerJKRZ08,
author = {Berndt Farwer and
Matthias Jantzen and
Manfred Kudlek and
Heiko R{\"{o}}lke and
Georg Zetzsche},
title = {Petri Net Controlled Finite Automata},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {111--121},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-09},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/FarwerJKRZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GohringMGB08,
author = {Daniel G{\"{o}}hring and
Heinrich Mellmann and
Kataryna Gerasymova and
Hans{-}Dieter Burkhard},
title = {Constraint BasedWorld Modeling},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {123--137},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-10},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/GohringMGB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Gomolinska08,
author = {Anna Gomolinska},
title = {Satisfiability of Formulas from the Standpoint of Object Classification:
The {RST} Approach},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {139--153},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-11},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Gomolinska08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GoraKSBBP08,
author = {Grzegorz G{\'{o}}ra and
Piotr Kruczek and
Andrzej Skowron and
Jan G. Bazan and
Stanislawa Bazan{-}Socha and
Jacek J. Pietrzyk},
title = {Case-based Planning of Treatment of Infants with Respiratory Failure},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {155--172},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-12},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/GoraKSBBP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Gruska08,
author = {Damas P. Gruska},
title = {Probabilistic Information Flow Security},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {173--187},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-13},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Gruska08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GruskaMM08,
author = {Damas P. Gruska and
Andrea Maggiolo{-}Schettini and
Paolo Milazzo},
title = {Security in a Model for Long-running Transactions},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {189--203},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-14},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/GruskaMM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Grzymala-BusseR08,
author = {Jerzy W. Grzymala{-}Busse and
Wojciech Rzasa},
title = {Approximation Space and LEM2-like Algorithms for Computing Local Coverings},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {205--217},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-15},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Grzymala-BusseR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HeeSS08,
author = {Kees M. van Hee and
Alexander Serebrenik and
Natalia Sidorova},
title = {Token History Petri Nets},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {219--234},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-16},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/HeeSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/JankowskiPSS08,
author = {Andrzej Jankowski and
James F. Peters and
Andrzej Skowron and
Jaroslaw Stepaniuk},
title = {Optimization in Discovery of Compound Granules},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {249--265},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-18},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/JankowskiPSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/JanowskaJW08,
author = {Agata Janowska and
Pawel Janowski and
Dobieslaw Wr{\'{o}}blewski},
title = {Translation of Intermediate Language to Timed Automata with Discrete
Data},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {235--248},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-17},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/JanowskaJW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/JantzenKZ08,
author = {Matthias Jantzen and
Manfred Kudlek and
Georg Zetzsche},
title = {Language Classes Defined by Concurrent Finite Automata},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {267--280},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-19},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/JantzenKZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/JolkowskaO08,
author = {Joanna J{\'{o}}lkowska and
Edward Ochmanski},
title = {On Trace-Expressible Behaviour of Petri Nets},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {281--295},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-20},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/JolkowskaO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/JungelM08,
author = {Matthias J{\"{u}}ngel and
Heinrich Mellmann},
title = {Memory-Based State-Estimation},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {297--311},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-21},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/JungelM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KacprzakNNPPSWZ08,
author = {Magdalena Kacprzak and
Wojciech Nabialek and
Artur Niewiadomski and
Wojciech Penczek and
Agata P{\'{o}}lrola and
Maciej Szreter and
Bozena Wozna and
Andrzej Zbrzezny},
title = {VerICS 2007 - a Model Checker for Knowledge and Real-Time},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {313--328},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-22},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KacprzakNNPPSWZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Kohler-BussmeierK08,
author = {Michael K{\"{o}}hler{-}Bu{\ss}meier and
Manfred Kudlek},
title = {Linear Properties of Zero-Safe Nets with Debit Tokens},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {329--342},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-23},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Kohler-BussmeierK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LangmaackSW08,
author = {Hans Langmaack and
Andrzej Salwicki and
Marek Warpechowski},
title = {A Deterministic Algorithm for Identifying Direct Superclasses in Java},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {343--357},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-24},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/LangmaackSW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LomuscioP08,
author = {Alessio Lomuscio and
Wojciech Penczek},
title = {{LDYIS:} a Framework for Model Checking Security Protocols},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {359--375},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-25},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/LomuscioP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MiddelkoopHKL08,
author = {Ronald Middelkoop and
Cornelis Huizing and
Ruurd Kuiper and
Erik J. Luit},
title = {Specification and Verification of Invariants by Exploiting Layers
in {OO} Designs},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {377--398},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-26},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/MiddelkoopHKL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Mikulski08,
author = {Lukasz Mikulski},
title = {Projection Representation of Mazurkiewicz Traces},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {399--408},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-27},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Mikulski08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MirkowskaSS08,
author = {Grazyna Mirkowska and
Andrzej Salwicki and
Oskar Swida},
title = {Algorithmic Logic + SpecVer = the Methodology for High Integrity Programming
- Invited Paper},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {1--17},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-02},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/MirkowskaSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/NabialekJJ08,
author = {Wojciech Nabialek and
Agata Janowska and
Pawel Janowski},
title = {Translation of Timed Promela to Timed Automata with Discrete Data},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {409--424},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-28},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/NabialekJJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/PenczekS08,
author = {Wojciech Penczek and
Maciej Szreter},
title = {SAT-based Unbounded Model Checking of Timed Automata},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {425--440},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-29},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/PenczekS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Redziejowski08,
author = {Roman R. Redziejowski},
title = {Some Aspects of Parsing Expression Grammar},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {441--451},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-30},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Redziejowski08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/StrzalkaG08,
author = {Dominik Strzalka and
Franciszek Grabowski},
title = {Processes in Systems with Limited Resources in the Context of Non-extensive
Thermodynamics},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {455--464},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-31},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/StrzalkaG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/VarpaaniemiO08,
author = {Kimmo Varpaaniemi and
Leo Ojala},
title = {Modelling and Simulation of Quantum Teleportation and Dense Coding
Using Predicate/Transition-Nets},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {465--479},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-32},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/VarpaaniemiO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Winkowski08,
author = {J{\'{o}}zef Winkowski},
title = {An Algebraic Framework for Defining Random Concurrent Behaviours},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {481--496},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-33},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Winkowski08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Wolski08,
author = {Marcin Wolski},
title = {Distance Measures Induced by Finite Approximation Spaces and Approximation
Operators},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {497--512},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-34},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Wolski08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Zbrzezny08,
author = {Andrzej Zbrzezny},
title = {Improving the Translation from {ECTL} to {SAT}},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {513--531},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-35},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Zbrzezny08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ZbrzeznyW08,
author = {Andrzej Zbrzezny and
Bozena Wozna},
title = {Towards Verification of Java Programs in perICS},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {533--548},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-36},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/ZbrzeznyW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ZieloskoP08,
author = {Beata Zielosko and
Marcin Piliszczuk},
title = {Greedy Algorithm for Attribute Reduction},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {549--561},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-37},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/ZieloskoP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-04-24 16:07 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
