home
news
Statistics
browse
conferences
journals
series
search
author
CompleteSearch
Faceted Search @ L3S
Free Search @ isearch
about
f.a.q.
team
legal bits
Fundamenta Informaticae
, Volume 111
Volume 111, Number 1, 2011
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/fuin/WuSN11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Wei-Zhi Wu
,
Dominik Slezak
,
Hung Son Nguyen
:
Preface.
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/fuin/HarunaG11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Taichi Haruna
,
Yukio-Pegio Gunji
:
Double Approximation and Complete Lattices.
1-14
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/fuin/LiW11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Tong-Jun Li
,
Wei-Zhi Wu
:
Attribute Reduction in Formal Contexts: A Covering Rough Set Approach.
15-32
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/fuin/YaoMLX11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Yanqing Yao
,
Ju-Sheng Mi
,
Zhoujun Li
,
Bin Xie
:
The Construction of Fuzzy Concept Lattices Based on (θ, σ)-Fuzzy Rough Approximation Operators.
33-45
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/fuin/WuLQR11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Zhengjiang Wu
,
Tian-rui Li
,
Keyun Qin
,
Da Ruan
:
Approximation Operators, Binary Relation and Basis Algebra in L-fuzzy Rough Sets.
47-63
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/fuin/DuHCM11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Yong Du
,
Qinghua Hu
,
Degang Chen
,
Peijun Ma
:
Kernelized Fuzzy Rough Sets Based Yawn Detection for Driver Fatigue Monitoring.
65-79
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/fuin/YuYH11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Jian Yu
,
Miin-Shen Yang
,
Pengwei Hao
:
A Novel Multimodal Probability Model for Cluster Analysis.
81-90
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/fuin/MishraM11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Deepti Mishra
,
Alok Mishra
:
Object-Oriented Inheritance Metrics in the Context of Cognitive Complexity.
91-117
Volume 111, Number 2, 2011
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/fuin/Chen11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Zhe Chen
:
On the Generative Power of ω-Grammars and ω-Automata.
119-145
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/fuin/ForysO11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Wit Forys
,
Piotr Oprocha
:
Infinite Traces and Symbolic Dynamics - the Minimal Shift Case.
147-161
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/fuin/FulopMV11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Zoltán Fülöp
,
Andreas Maletti
,
Heiko Vogler
:
Weighted Extended Tree Transducers.
163-202
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/fuin/IntrigilaS11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Benedetto Intrigila
,
Richard Statman
:
Solution to the Range Problem for Combinatory Logic.
203-222
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/fuin/SheHW11a
ask others
Google
Google Scholar
MS Academic Search
PubZone
Yanhong She
,
Xiaoli He
,
Guojun Wang
:
Rough Truth Degrees of Formulas and Approximate Reasoning in Rough Logic.
223-239
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/fuin/YuKCHF11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Jia Yu
,
Fanyu Kong
,
Xiangguo Cheng
,
Rong Hao
,
Jianxi Fan
:
Forward-Secure Identity-Based Public-Key Encryption without Random Oracles.
241-256
Volume 111, Number 3, 2011
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/fuin/BistarelliS11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Stefano Bistarelli
,
Francesco Santini
:
A Nonmonotonic Soft Concurrent Constraint Language to Model the Negotiation Process.
257-279
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/fuin/CaseM11
ask others
Google
Google Scholar
MS Academic Search
PubZone
John Case
,
Samuel E. Moelius
:
Properties Complementary to Program Self-Reference.
281-311
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/fuin/ClaudeN11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Francisco Claude
,
Gonzalo Navarro
:
Self-Indexed Grammar-Based Compression.
313-337
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/fuin/LomuscioPSS11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Alessio Lomuscio
,
Wojciech Penczek
,
Monika Solanki
,
Maciej Szreter
:
Runtime Monitoring of Contract Regulated Web Services.
339-355
Volume 111, Number 4, 2011
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/fuin/ChamparnaudFG11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Jean-Marc Champarnaud
,
Jacques Farré
,
Franck Guingne
:
Reduction Techniques for Acyclic Cover Transducers.
357-371
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/fuin/DengGX11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Zhi-Hong Deng
,
Ning Gao
,
Xiaoran Xu
:
Mop: An Efficient Algorithm for Mining Frequent Pattern with Subtree Traversing.
373-390
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/fuin/GandhiKL11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Aniruddh Gandhi
,
Bakhadyr Khoussainov
,
Jiamou Liu
:
Efficient Algorithms for Games Played on Trees with Back-edges.
391-412
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/fuin/GargG11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Manish Garg
,
Sugata Gangopadhyay
:
A Lower Bound of the Second-order Nonlinearities of Boolean Bent Functions.
413-422
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/fuin/IonescuPPY11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Mihai Ionescu
,
Gheorghe Paun
,
Mario J. Pérez-Jiménez
,
Takashi Yokomori
:
Spiking Neural dP Systems.
423-436
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/fuin/KisielewiczS11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Andrzej Kisielewicz
,
Marek Szykula
:
Rainbow Induced Subgraphs in Proper Vertex Colorings.
437-451
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/fuin/Nishida11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Taishin Yasunobu Nishida
:
Computing k-block Morphisms by Spiking Neural P Systems.
453-464
view
electronic edition @ metapress.com
export record as
BibTeX
XML
dblp key:
journals/fuin/X11a
ask others
Google
Google Scholar
MS Academic Search
PubZone
AUTHOR INDEX VOLUME 111.
465-466