| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Michael Köhler-Bußmeier, Frank Heitmann |
Liveness of Safe Object Nets.  |
Fundam. Inform.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani |
Formal Analysis of SystemC Designs in Process Algebra. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Zhi Wu, Dominik Slezak, Hung Son Nguyen |
Preface. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludwik Czaja |
On Deadlock and Fairness Decision Problems for Computations on Client-server Systems. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Aniruddh Gandhi, Bakhadyr Khoussainov, Jiamou Liu |
Efficient Algorithms for Games Played on Trees with Back-edges. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Locher, Stefan Schmid, Roger Wattenhofer |
eDonkey & eMule's Kad: Measurements & Attacks. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Verlan, Maurice Margenstern |
Universality of Splicing Test Tube Systems with Two Tubes. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Inês Lynce, João Marques-Silva |
Restoring CSP Satisfiability with MaxSAT. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Andary, Bruno Patrou, Pierre Valarcher |
A Representation Theorem for Primitive Recursive Algorithms. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Caleiro, Ricardo Gonçalves |
Towards a Behavioral Algebraic Theory of Logical Valuations. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanqing Yao, Ju-Sheng Mi, Zhoujun Li, Bin Xie |
The Construction of Fuzzy Concept Lattices Based on (θ, σ)-Fuzzy Rough Approximation Operators. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcin Wolski |
Incomplete and Nondeterministic Information Systems: Object-Directed Semantics for Descriptor Languages. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xu An Wang, Xiaoyuan Yang, Minqing Zhang |
Cryptanalysis of Two Efficient HIBE Schemes in the Standard Model. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jian Yu, Miin-Shen Yang, Pengwei Hao |
A Novel Multimodal Probability Model for Cluster Analysis. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sepinoud Azimi, Tero Harju, Miika Langille, Ion Petre, Vladimir Rogojin |
Directed Overlap-inclusion Graphs as Representations of Ciliate Genes. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kudlek |
A Relation between Modal Logic and Language Closure Operators. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich Mellmann, Giuseppe Cotugno |
Dynamic Motion Control: Adaptive Bimanual Grasping for a Humanoid Robot. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Gao, Kai Salomaa, Sheng Yu |
Transition Complexity of Incomplete DFAs. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Amedeo Cesta, Simone Fratini, Andrea Orlandini, Alberto Finzi, Enrico Tronci |
Flexible Plan Verification: Feasibility Results. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenichi Morita |
Two-Way Reversible Multi-Head Finite Automata. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanhong She, Xiaoli He, Guojun Wang |
Rough Truth Degrees of Formulas and Approximate Reasoning in Rough Logic. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunyun Niu, Linqiang Pan, Mario J. Pérez-Jiménez, Miquel Rius-Font |
A Tissue P Systems Based Uniform Solution to Tripartite Matching Problem. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Taishin Yasunobu Nishida |
Computing k-block Morphisms by Spiking Neural P Systems. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Kullmann |
Constraint Satisfaction Problems in Clausal Form I: Autarkies and Deficiency. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerry Eisman, Bala Ravikumar |
On Approximating Non-regular Languages by Regular Languages. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenjun Tang, Shuozhong Wang, Xinpeng Zhang, Weimin Wei |
Structural Feature-Based Image Hashing and Similarity Metric for Tampering Detection. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvia Crafa, Francesco Ranzato, Francesco Tapparo |
Saving Space in a Time Efficient Simulation Algorithm. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alicja Wieczorkowska, Elzbieta Kubera, Agnieszka Kubik-Komar |
Analysis of Recognition of a Musical Instrument in Sound Mixes Using Support Vector Machines. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Lombardi, Michela Milano, Andrea Roli, Alessandro Zanarini |
Deriving Information from Sampling and Diving. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Linqiang Pan, Jun Wang, Hendrik Jan Hoogeboom |
Limited Asynchronous Spiking Neural P Systems. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ping Zhu |
An Axiomatic Approach to the Roughness Measure of Rough Sets. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lila Kari, Shinnosuke Seki, Steffen Kopecki |
On the Regularity of Iterated Hairpin Completion of a Single Word. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Carmona, Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky |
A Scheduling Strategy for Synchronous Elastic Designs. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fumiya Okubo, Takashi Yokomori |
On the Hairpin Incompletion. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dariusz Doliwa, Wojciech Horzelski, Mariusz Jarocki, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny |
PlanICS - a Web Service Composition Toolset. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wit Forys, Piotr Oprocha |
Infinite Traces and Symbolic Dynamics - the Minimal Shift Case. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Tran |
Characterizations and Existence of Easy Sets without Hard Subsets. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yong Du, Qinghua Hu, Degang Chen, Peijun Ma |
Kernelized Fuzzy Rough Sets Based Yawn Detection for Driver Fatigue Monitoring. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | |
AUTHOR INDEX VOLUME 111. |
Fundam. Inform. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Dingcheng Feng, Feng Chen, Wenli Xu |
Analysis of Markov Boundary Induction in Bayesian Networks: A New View From Matroid Theory. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bellia, M. Eugenia Occhiuto |
Properties of Java Simple Closures. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Nieves, Mauricio Osorio, Claudia Zepeda |
A Schema for Generating Relevant Logic Programming Semantics and its Applications in Argumentation Theory. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone |
A Modal Interface Theory for Component-based Design. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe de Groote, Sylvain Pogodalla, Carl Pollard |
About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial Grammar. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä |
Partitioning Search Spaces of a Randomized Search. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepti Mishra, Alok Mishra |
Object-Oriented Inheritance Metrics in the Context of Cognitive Complexity. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tong-Jun Li, Wei-Zhi Wu |
Attribute Reduction in Formal Contexts: A Covering Rough Set Approach. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanhong She, Xiaoli He, Guojun Wang |
Rough Truth Degrees of Formulas and Approximate Reasoning in Rough Logic. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dumitru Potop-Butucaru, Yves Sorel, Robert de Simone, Jean-Pierre Talpin |
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcin S. Szczuka, Andrzej Skowron, Jaroslaw Stepaniuk |
Function Approximation and Quality Measures in Rough-Granular Systems. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Caron, Marianne Flouret |
From Glushkov WFAs to K-Expressions. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Wojciech Penczek, Monika Solanki, Maciej Szreter |
Runtime Monitoring of Contract Regulated Web Services. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ömer Egecioglu, László Hegedüs, Benedek Nagy |
Hierarchies of Stateless Multicounter 5′ → 3′ Watson-Crick Automata Languages. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa |
Preface. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik, Klaus Sutner |
Stephen L. Bloom 1940-2010. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Ciucci, Yiyu Yao |
Preface. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Fülöp, Andreas Maletti, Heiko Vogler |
Weighted Extended Tree Transducers. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedetto Intrigila, Richard Statman |
Solution to the Range Problem for Combinatory Logic. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Belardinelli, Alessio Lomuscio |
First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Amato, Francesca Scozzari |
Observational Completeness on Abstract Interpretation. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cewei Cui, Zhe Dang, Thomas R. Fischer |
Typical Paths of a Graph. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoxue Piao, Kai Salomaa |
Transformations Between Different Models of Unranked Bottom-Up Tree Automata. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur Meski, Wojciech Penczek, Agata Pólrola |
BDD-based Bounded Model Checking for Temporal Properties of 1-Safe Petri Nets. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshihiro Maruyama |
Dualities for Algebras of Fitting's Many-Valued Modal Logics. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Ciucci |
Orthopairs: A Simple and Widely UsedWay to Model Uncertainty. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Liliana Cojocaru |
Trade-Offs Between Time, Space, Cooperation, and Communication Complexity for CD Grammar Systems. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhi-Hong Deng, Ning Gao, Xiaoran Xu |
Mop: An Efficient Algorithm for Mining Frequent Pattern with Subtree Traversing. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Francesco Santini |
A Nonmonotonic Soft Concurrent Constraint Language to Model the Negotiation Process. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chin-Chen Chang, Chih-Yang Lin, Yi-Hsuan Fan |
Reversible Steganography for BTC-compressed Images. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Claude, Gonzalo Navarro |
Self-Indexed Grammar-Based Compression. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gavanelli, Toni Mancini, Alberto Pettorossi |
RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Kammüller |
Mechanical Analysis of Finite Idempotent Relations. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Zhi Wu |
On Some Mathematical Structures of T-Fuzzy Rough Set Algebras in Infinite Universes of Discourse. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcin Wolski |
Monadic Algebras: a Standpoint on Rough Sets. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Turek, Krzysztof Cetnarowicz, Wojciech Zaborowski |
Software Agent Systems for Improving Performance of Multi-Robot Groups. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Akhtarzada, Cristian S. Calude, John G. Hosking |
A Multi-Criteria Metric Algorithm for Recommender Systems. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario J. Pérez-Jiménez, Agustin Riscos-Núñez, Miquel Rius-Font, Francisco José Romero-Campero |
Looking for Small Efficient P Systems. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Jacques Farré, Franck Guingne |
Reduction Techniques for Acyclic Cover Transducers. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Massimo Zanzotto, Lorenzo Dell'Arciprete, Alessandro Moschitti |
Efficient Graph Kernels for Textual Entailment Recognition. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman R. Redziejowski |
BITES Instead of FIRST for Parsing Expression Grammar. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph P. Herbert, Jingtao Yao |
Game-Theoretic Rough Sets. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhengjiang Wu, Tian-rui Li, Keyun Qin, Da Ruan |
Approximation Operators, Binary Relation and Basis Algebra in L-fuzzy Rough Sets. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juha Kontinen, Ville Nurmi |
Team Logic and Second-Order Logic. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia Yu, Fanyu Kong, Xiangguo Cheng, Rong Hao, Jianxi Fan |
Forward-Secure Identity-Based Public-Key Encryption without Random Oracles. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Bonizzoni, Claudio Ferretti, Anthonath Roslin Sagaya Mary, Giancarlo Mauri |
Picture Languages Generated by Assembling Tiles. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Gomolinska |
A Logic-Algebraic Approach to Graded Inclusion. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroakira Ono, Makoto Kanazawa, Ruy J. G. B. de Queiroz |
Preface. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca |
Look-back Techniques for ASP Programs with Aggregates. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Kullmann |
Constraint Satisfaction Problems in Clausal Form II: Minimal Unsatisfiability and Conflict Structure. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Mokhov, Victor Khomenko, Alexandre Yakovlev |
Flat Arbiters. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsu-Chun Yen |
On Almost-Sure Properties of Probabilistic Discrete Event Systems. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Link |
On Inferences of Full First-Order Hierarchical Decompositions. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Kunc, Alexander Okhotin |
State Complexity of Union and Intersection for Two-way Nondeterministic Finite Automata. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Guohua Liu, Jia-Huai You |
Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Chen |
On the Generative Power of ω-Grammars and ω-Automata. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew D. T. Lewis, Tobias Schubert, Bernd Becker, Paolo Marin, Massimo Narizzano, Enrico Giunchiglia |
Parallel QBF Solving with Advanced Knowledge Sharing. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun He, Pierre Flener, Justin Pearson |
An automaton Constraint for Local Search. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manish Garg, Sugata Gangopadhyay |
A Lower Bound of the Second-order Nonlinearities of Boolean Bent Functions. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucian Ilie, William F. Smyth |
Minimum Unique Substrings and Maximum Repeats. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Artiom Alhazov, Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan |
P Systems with Insertion and Deletion Exo-Operations. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")