| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sugata Gangopadhyay, Brajesh Kumar Singh |
On Second-order Nonlinearities of Some D0 Type Bent Functions.  |
Fundam. Inform.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico G. Beltrametti, Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini, Giuseppe Sergioli |
Epistemic Quantum Computational Structures in a Hilbert-space Environment. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Grzegorz Herman, Michael Soltys |
Unambiguous Functions in Logarithmic Space. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavol Zajac |
Solving Trivium-based Boolean Equations Using the Method of Syllogisms. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dun Liu, Tian-rui Li, Huaxiong Li |
A Multiple-category Classification Approach with Decision-theoretic Rough Sets. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Esther Guerra, Juan de Lara |
An Algebraic Semantics for QVT-Relations Check-only Transformations. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | László Mérai |
Remarks on Pseudorandom Binary Sequences Over Elliptic Curves. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Bertoni, Massimiliano Goldwurm, Jianyi Lin, Francesco Saccà |
Size Constrained Distance Clustering: Separation Properties and Some Complexity Results. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Rjasko, Martin Stanek |
Attacking M&M Collective Signature Scheme. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Biryukov, Johann Großschädl |
Cryptanalysis of the Full AES Using GPU-Like Special-Purpose Hardware. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Zhi Wu |
Knowledge Reduction in Random Incomplete Decision Tables via Evidence Theory. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Paszynska, Ewa Grabska, Maciej Paszynski |
A Graph Grammar Model of the hp Adaptive Three Dimensional Finite Element Method. Part I. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Dennunzio |
From One-dimensional to Two-dimensional Cellular Automata. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoyin Wang, Andrzej Skowron, Yiyu Yao, Hong Yu |
Preface. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Manish Joshi, Pawan Lingras, C. Raghavendra Rao |
Correlating Fuzzy and Rough Clustering. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Roettger, Hugh C. Williams |
Public-Key Cryptography Based on a Cubic Extension of the Lucas Functions. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chih-Chia Yao, Kang Lee |
Ellipse Invariant Algorithm for Texture Classification. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanislaw Spiez, Marian Srebrny, Jerzy Urbanowicz |
Remarks on the Classical Threshold Secret Sharing Schemes. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Maciej Grzeskowiak |
Algorithm for Generating Primes p and q Such that q Divides p4 ± p3 + p2 ± p + 1. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia Yu, Fanyu Kong, Xiangguo Cheng, Rong Hao, Jianxi Fan |
Erratum to the paper: Forward-Secure Identity-Based Public-Key Encryption without Random Oracles. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Paszynska, Ewa Grabska, Maciej Paszynski |
A Graph Grammar Model of the hp Adaptive Three Dimensional Finite Element Method. Part II. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yiyu Yao, Nan Zhang, Duoqian Miao, Feifei Xu |
Set-theoretic Approaches to Granular Computing. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro di Lena, Luciano Margara |
On the Undecidability of Attractor Properties for Cellular Automata. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong Yu, Shuangshuang Chu, Dachun Yang |
Autonomous Knowledge-oriented Clustering Using Decision-Theoretic Rough Set Theory. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Piotr Mroczkowski, Janusz Szmidt |
The Cube Attack on Stream Cipher Trivium and Quadraticity Tests. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Formenti, Eric Goles Ch., Bruno Martin |
Computational Complexity of Avalanches in the Kadanoff Sandpile Model. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoping Yang, Jingtao Yao |
Modelling Multi-agent Three-way Decisions with Decision-theoretic Rough Sets. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvatore Greco, Benedetto Matarazzo, Roman Slowinski |
The Bipolar Complemented de Morgan Brouwer-Zadeh Distributive Lattice as an Algebraic Structure for the Dominance-based Rough Set Approach. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof Chmiel, Anna Grocholewska-Czurylo, Janusz Stoklosa |
Evaluation of PP-1 Cipher Resistance against Differential and Linear Cryptanalysis in Comparison to a DES-like Cipher. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoyin Wang, Jun Hu |
Attribute Reduction Using Extension of Covering Approximation Space. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David Buhagiar, Emmanuel Chetcuti, Anatolij Dvurecenskij |
Completeness of Inner Product Spaces and G. Cattaneo. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuang An, Qinghua Hu, Daren Yu, Jinfu Liu |
Soft Minimum-Enclosing-Ball Based Robust Fuzzy Rough Sets. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Jaworski, Mieczyslaw Kula, Damian Niwinski, Jerzy Urbanowicz |
Preface. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Ciucci, Alberto Dennunzio, Roberto Leporini |
Preface. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnon Avron, Beata Konikowska |
Finite-valued Logics for Information Processing. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio A. Celani, Ramon Jansana |
A Note on the Model Theory for Positive Modal Logic. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Ciucci |
Temporal Dynamics in Information Tables. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Piotr Borowiecki, Elzbieta Sidorowicz |
Dynamic Coloring of Graphs. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ehsan Chiniforooshan, Lila Kari, Zhi Xu |
Pseudopower Avoidance. |
Fundam. Inform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 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 | Fernando Rosa-Velardo, María Martos-Salgado, David de Frutos-Escrig |
Accelerations for the Coverability Set of Petri Nets with Names. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillermo De Ita Luna, José Raymundo Marcial Romero, José Antonio Hernández |
A Threshold for a Polynomial Solution of #2SAT. |
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 | Henning Bordihn, Rudolf Freund, Mika Hirvensalo, Markus Holzer, Martin Kutrib, Friedrich Otto |
Preface. |
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 | Peter Leupold, Friedrich Otto |
On McNaughton Families of Languages That Are Specified by Some Variants of Monadic String-Rewriting Systems. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyungah Shim, Young-Ran Lee |
Security Pitfalls of the Certificateless Signature and Multi-Receiver Signcryption Schemes. |
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 | Khair Eddin Sabri, Ridha Khédri |
Algebraic Framework for the Specification and Analysis of Cryptographic-Key Distribution. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Erzsébet Csuhaj-Varjú, Tomás Masopust, György Vaszil |
Blackhole Pushdown Automata. |
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 | Wilhelmiina Hämäläinen |
Efficient Search Methods for Statistical Dependency Rules. |
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 | Jan Ramon, Fabrizio Costa, Christophe Costa Florêncio, Joost N. Kok |
Preface. |
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 | Antti Valmari, Henri Hansen |
Can Stubborn Sets Be Optimal? |
Fundam. Inform. |
2011 |
DBLP DOI 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 |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")