default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/fuin/fuin54.bht:"
download as .bib file
@article{DBLP:journals/fuin/AbrahamP03,
author = {Uri Abraham and
Tamar Pinhas},
title = {Exercises in Style (Alpha Specifications)},
journal = {Fundam. Informaticae},
volume = {54},
number = {2-3},
pages = {107--135},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi54-2-3-02},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/AbrahamP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BarbutiT03,
author = {Roberto Barbuti and
Luca Tesei},
title = {A Decidable Notion of Timed Non-Interference},
journal = {Fundam. Informaticae},
volume = {54},
number = {2-3},
pages = {137--150},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi54-2-3-03},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BarbutiT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Coja-OghlanS03,
author = {Amin Coja{-}Oghlan and
Mark{-}Oliver Stehr},
title = {Revisiting the Algebra of Petri Net Processes under the Collective
Token Philosophy},
journal = {Fundam. Informaticae},
volume = {54},
number = {2-3},
pages = {151--164},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi54-2-3-04},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Coja-OghlanS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Czaja03,
author = {Ludwik Czaja},
title = {Proving Nets Correct via Cause-Effect Structures (An Experiment)},
journal = {Fundam. Informaticae},
volume = {54},
number = {2-3},
pages = {165--183},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi54-2-3-05},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Czaja03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DevillersKKP03,
author = {Raymond R. Devillers and
Hanna Klaudel and
Maciej Koutny and
Franck Pommereau},
title = {Asynchronous Box Calculus},
journal = {Fundam. Informaticae},
volume = {54},
number = {4},
pages = {295--344},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi54-4-01},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DevillersKKP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FarwerKM03,
author = {Berndt Farwer and
Manfred Kudlek and
Kundan Misra},
title = {Some Considerations on Higher-Order Petri Nets},
journal = {Fundam. Informaticae},
volume = {54},
number = {2-3},
pages = {185--193},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi54-2-3-06},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/FarwerKM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FrancescoST03,
author = {Nicoletta De Francesco and
Antonella Santone and
Luca Tesei},
title = {Abstract Interpretation and Model Checking for Checking Secure Information
Flow in Concurrent Systems},
journal = {Fundam. Informaticae},
volume = {54},
number = {2-3},
pages = {195--211},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi54-2-3-07},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/FrancescoST03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Kacprzak03,
author = {Magdalena Kacprzak},
title = {Undecidability of a Multi-Agent Logic},
journal = {Fundam. Informaticae},
volume = {54},
number = {2-3},
pages = {213--220},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi54-2-3-08},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Kacprzak03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KohlerR03,
author = {Michael K{\"{o}}hler and
Heiko R{\"{o}}lke},
title = {Concurrency in Mobile Object Net Systems},
journal = {Fundam. Informaticae},
volume = {54},
number = {2-3},
pages = {221--235},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi54-2-3-09},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KohlerR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LanotteMPT03,
author = {Ruggero Lanotte and
Andrea Maggiolo{-}Schettini and
Adriano Peron and
Simone Tini},
title = {Dynamic Hierarchical Machines},
journal = {Fundam. Informaticae},
volume = {54},
number = {2-3},
pages = {237--252},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi54-2-3-10},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/LanotteMPT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Latkowski03,
author = {Rafal Latkowski},
title = {On Decomposition for Incomplete Data},
journal = {Fundam. Informaticae},
volume = {54},
number = {1},
pages = {1--16},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi54-1-01},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Latkowski03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Moshkov03,
author = {Mikhail Ju. Moshkov},
title = {Classification of Infinite Information Systems Depending on Complexity
of Decision Trees and Decision Rule Systems},
journal = {Fundam. Informaticae},
volume = {54},
number = {4},
pages = {345--368},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi54-4-02},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Moshkov03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Peltier03,
author = {Nicolas Peltier},
title = {Constructing Decision Procedures in Equational Clausal Logic},
journal = {Fundam. Informaticae},
volume = {54},
number = {1},
pages = {17--65},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi54-1-02},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Peltier03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Polkowski03,
author = {Lech Polkowski},
title = {Rough Mereology: {A} Rough Set Paradigm for Unifying Rough Set Theory
and Fuzzy Set Theory},
journal = {Fundam. Informaticae},
volume = {54},
number = {1},
pages = {67--88},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi54-1-03},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Polkowski03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Schmidt03,
author = {Karsten Schmidt},
title = {Distributed Verification with LoLA},
journal = {Fundam. Informaticae},
volume = {54},
number = {2-3},
pages = {253--262},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi54-2-3-11},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Schmidt03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/SkowronSP03,
author = {Andrzej Skowron and
Jaroslaw Stepaniuk and
James F. Peters},
title = {Rough Sets and Infomorphisms: Towards Approximation of Relations in
Distributed Environments},
journal = {Fundam. Informaticae},
volume = {54},
number = {2-3},
pages = {263--277},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi54-2-3-12},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/SkowronSP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Terlikowski03,
author = {Tomasz Terlikowski},
title = {Descriptional independence and the formal definition of sequential
control structure},
journal = {Fundam. Informaticae},
volume = {54},
number = {4},
pages = {369--385},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi54-4-03},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Terlikowski03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Varpaaniemi03,
author = {Kimmo Varpaaniemi},
title = {Towards Ambitious Approximation Algorithms in Stubborn Set Optimization},
journal = {Fundam. Informaticae},
volume = {54},
number = {2-3},
pages = {279--294},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi54-2-3-13},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Varpaaniemi03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Wakulicz-DejaP03,
author = {Alicja Wakulicz{-}Deja and
Piotr Paszek},
title = {Applying Rough Set Theory to Multi Stage Medical Diagnosing},
journal = {Fundam. Informaticae},
volume = {54},
number = {4},
pages = {387--408},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi54-4-04},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Wakulicz-DejaP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Wojnarski03,
author = {Marcin Wojnarski},
title = {{LTF-C:} Architecture, Training Algorithm and Applications of New
Neural Classifier},
journal = {Fundam. Informaticae},
volume = {54},
number = {1},
pages = {89--105},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi54-1-04},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Wojnarski03.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.
retrieved on 2025-01-06 14:56 CET 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:
