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/fuin79.bht:"
download as .bib file
@article{DBLP:journals/fuin/Bell07,
author = {Paul Bell},
title = {A Note on the Emptiness of Semigroup Intersections},
journal = {Fundam. Informaticae},
volume = {79},
number = {1-2},
pages = {1--4},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-1-2-01},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Bell07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Chaitin07,
author = {Gregory J. Chaitin},
title = {An Algebraic Characterization of the Halting Probability},
journal = {Fundam. Informaticae},
volume = {79},
number = {1-2},
pages = {17--23},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-1-2-03},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Chaitin07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CowenK07,
author = {Robert Cowen and
Adam Kolany},
title = {Davis-Putnam Style Rules for Deciding Property {S}},
journal = {Fundam. Informaticae},
volume = {79},
number = {1-2},
pages = {5--15},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-1-2-02},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CowenK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Czaja07,
author = {Ludwik Czaja},
title = {Interpreted Nets},
journal = {Fundam. Informaticae},
volume = {79},
number = {3-4},
pages = {283--293},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-3-4-03},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Czaja07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DietzeKK07,
author = {Roxana Dietze and
Manfred Kudlek and
Olaf Kummer},
title = {Decidability Problems of a Basic Class of Object Nets},
journal = {Fundam. Informaticae},
volume = {79},
number = {3-4},
pages = {295--302},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-3-4-04},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DietzeKK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/EiterEFS07,
author = {Thomas Eiter and
Esra Erdem and
Wolfgang Faber and
J{\'{a}}n Senko},
title = {A Logic-Based Approach to Finding Explanations for Discrepancies in
Optimistic Plan Execution},
journal = {Fundam. Informaticae},
volume = {79},
number = {1-2},
pages = {25--69},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-1-2-04},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/EiterEFS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FarwerKR07,
author = {Berndt Farwer and
Manfred Kudlek and
Heiko R{\"{o}}lke},
title = {Concurrent Turing Machines},
journal = {Fundam. Informaticae},
volume = {79},
number = {3-4},
pages = {303--317},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-3-4-05},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/FarwerKR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Gomolinska07,
author = {Anna Gomolinska},
title = {Approximation Spaces Based on Relations of Similarity and Dissimilarity
of Objects},
journal = {Fundam. Informaticae},
volume = {79},
number = {3-4},
pages = {319--333},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-3-4-06},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Gomolinska07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Gruska07,
author = {Damas P. Gruska},
title = {Observation Based System Security},
journal = {Fundam. Informaticae},
volume = {79},
number = {3-4},
pages = {335--346},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-3-4-07},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Gruska07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HeeOSSVL07,
author = {Kees M. van Hee and
Olivia Oanea and
Alexander Serebrenik and
Natalia Sidorova and
Marc Voorhoeve and
Irina A. Lomazova},
title = {Checking Properties of Adaptive Workflow Nets},
journal = {Fundam. Informaticae},
volume = {79},
number = {3-4},
pages = {347--362},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-3-4-08},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/HeeOSSVL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HermanPS07,
author = {Grzegorz Herman and
Tim Paterson and
Michael Soltys},
title = {A Propositional Proof System with Quantification Over Permutations},
journal = {Fundam. Informaticae},
volume = {79},
number = {1-2},
pages = {71--83},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-1-2-05},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/HermanPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/JakubowskaP07,
author = {Gizela Jakubowska and
Wojciech Penczek},
title = {Modelling and Checking Timed Authentication of Security Protocols},
journal = {Fundam. Informaticae},
volume = {79},
number = {3-4},
pages = {363--378},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-3-4-09},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/JakubowskaP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/JanowskaP07,
author = {Agata Janowska and
Wojciech Penczek},
title = {Path Compression in Timed Automata},
journal = {Fundam. Informaticae},
volume = {79},
number = {3-4},
pages = {379--399},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-3-4-10},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/JanowskaP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Kohler07,
author = {Michael K{\"{o}}hler},
title = {The Reachability Problem for Object Nets},
journal = {Fundam. Informaticae},
volume = {79},
number = {3-4},
pages = {401--413},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-3-4-11},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Kohler07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Kohler07a,
author = {Michael K{\"{o}}hler},
title = {A Formal Model of Multi-Agent Organisations},
journal = {Fundam. Informaticae},
volume = {79},
number = {3-4},
pages = {415--430},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-3-4-12},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Kohler07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KryvyyM07,
author = {Sergiy Kryvyy and
Lyudmila Matvyeyeva},
title = {Algorithm of Translation of MSC-specified System into Petri Net},
journal = {Fundam. Informaticae},
volume = {79},
number = {3-4},
pages = {431--445},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-3-4-13},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KryvyyM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Kudlek07,
author = {Manfred Kudlek},
title = {On Semilinear Sets over Commutative Semirings},
journal = {Fundam. Informaticae},
volume = {79},
number = {3-4},
pages = {447--452},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-3-4-14},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Kudlek07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KurkowskiP07,
author = {Miroslaw Kurkowski and
Wojciech Penczek},
title = {Verifying Security Protocols Modelled by Networks of Automata},
journal = {Fundam. Informaticae},
volume = {79},
number = {3-4},
pages = {453--471},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-3-4-15},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KurkowskiP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LomuscioRW07,
author = {Alessio Lomuscio and
Franco Raimondi and
Bozena Wozna},
title = {Verification of the {TESLA} protocol in {MCMAS-X}},
journal = {Fundam. Informaticae},
volume = {79},
number = {3-4},
pages = {473--486},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-3-4-16},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/LomuscioRW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Mazurkiewicz07a,
author = {Antoni W. Mazurkiewicz},
title = {Compositional Systems over Reducible Networks},
journal = {Fundam. Informaticae},
volume = {79},
number = {3-4},
pages = {265--282},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-3-4-02},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Mazurkiewicz07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Mazurkiewicz07b,
author = {Antoni W. Mazurkiewicz},
title = {Local Properties of Triangular Graphs},
journal = {Fundam. Informaticae},
volume = {79},
number = {3-4},
pages = {487--495},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-3-4-17},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Mazurkiewicz07b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Nguyen07,
author = {Linh Anh Nguyen},
title = {Foundations of Modal Deductive Databases},
journal = {Fundam. Informaticae},
volume = {79},
number = {1-2},
pages = {85--135},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-1-2-06},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Nguyen07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/PetersSS07,
author = {James F. Peters and
Andrzej Skowron and
Jaroslaw Stepaniuk},
title = {Nearness of Objects: Extension of Approximation Space Model},
journal = {Fundam. Informaticae},
volume = {79},
number = {3-4},
pages = {497--512},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-3-4-18},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/PetersSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Rabinovich07,
author = {Alexander Rabinovich},
title = {Composition Theorem for Generalized Sum},
journal = {Fundam. Informaticae},
volume = {79},
number = {1-2},
pages = {137--167},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-1-2-07},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Rabinovich07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Redziejowski07,
author = {Roman R. Redziejowski},
title = {Parsing Expression Grammar as a Primitive Recursive-Descent Parser
with Backtracking},
journal = {Fundam. Informaticae},
volume = {79},
number = {3-4},
pages = {513--524},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-3-4-19},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Redziejowski07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Sadowski07,
author = {Zenon Sadowski},
title = {Optimal Proof Systems, Optimal Acceptors and Recursive Presentability},
journal = {Fundam. Informaticae},
volume = {79},
number = {1-2},
pages = {169--185},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-1-2-08},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Sadowski07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Stepaniuk07,
author = {Jaroslaw Stepaniuk},
title = {Relational Data and Rough Sets},
journal = {Fundam. Informaticae},
volume = {79},
number = {3-4},
pages = {525--539},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-3-4-20},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Stepaniuk07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/SurajF07,
author = {Zbigniew Suraj and
Barbara Fryc},
title = {Analysis of Approximate Petri Nets by Means of Occurrence Graphs},
journal = {Fundam. Informaticae},
volume = {79},
number = {3-4},
pages = {541--551},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-3-4-21},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/SurajF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/SurajP07,
author = {Zbigniew Suraj and
Krzysztof Pancerz},
title = {Towards Efficient Computing Consistent and Partially Consistent Extensions
of Information Systems},
journal = {Fundam. Informaticae},
volume = {79},
number = {3-4},
pages = {553--566},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-3-4-22},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/SurajP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/VennekensWMD07,
author = {Joost Vennekens and
Johan Wittocx and
Maarten Mari{\"{e}}n and
Marc Denecker},
title = {Predicate Introduction for Logics with a Fixpoint Semantics. Part
{I:} Logic Programming},
journal = {Fundam. Informaticae},
volume = {79},
number = {1-2},
pages = {187--208},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-1-2-09},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/VennekensWMD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/VennekensWMD07a,
author = {Joost Vennekens and
Johan Wittocx and
Maarten Mari{\"{e}}n and
Marc Denecker},
title = {Predicate Introduction for Logics with Fixpoint Semantics. Part {II:}
Autoepistemic Logic},
journal = {Fundam. Informaticae},
volume = {79},
number = {1-2},
pages = {209--227},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-1-2-10},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/VennekensWMD07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Wolski07,
author = {Marcin Wolski},
title = {Approximation Spaces and Nearness Type Structures},
journal = {Fundam. Informaticae},
volume = {79},
number = {3-4},
pages = {567--577},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-3-4-23},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Wolski07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/WoznaZ07,
author = {Bozena Wozna and
Andrzej Zbrzezny},
title = {Bounded Model Checking for the Existential Fragment of TCTL\({}_{\mbox{-G}}\)
and Diagonal Timed Automata},
journal = {Fundam. Informaticae},
volume = {79},
number = {1-2},
pages = {229--256},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-1-2-11},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/WoznaZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ZbrzeznyP07,
author = {Andrzej Zbrzezny and
Agata P{\'{o}}lrola},
title = {SAT-Based Reachability Checking for Timed Automata with Discrete Data},
journal = {Fundam. Informaticae},
volume = {79},
number = {3-4},
pages = {579--593},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-3-4-24},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/ZbrzeznyP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ZhangW07,
author = {Wei{-}Guo Zhang and
Ying{-}Luo Wang},
title = {A Comparative Analysis of Possibilistic Variances and Covariances
of Fuzzy Numbers},
journal = {Fundam. Informaticae},
volume = {79},
number = {1-2},
pages = {257--263},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-1-2-12},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/ZhangW07.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-30 16:22 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:
