The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Fundam. Inform."( http://dblp.L3S.de/Venues/Fundam._Inform. )

URL (DBLP): http://dblp.uni-trier.de/db/journals/fuin

Publication years (Num. hits)
1980 (31) 1981 (40) 1984-1991 (52) 1992 (36) 1993 (38) 1994 (36) 1995 (52) 1996 (96) 1997 (87) 1998 (71) 1999 (83) 2000 (68) 2001 (83) 2002 (105) 2003 (103) 2004 (111) 2005 (120) 2006 (170) 2007 (192) 2008 (204) 2009 (201) 2010 (157) 2011 (171) 2012 (165) 2013 (176) 2014 (186) 2015 (156) 2016 (158) 2017 (158) 2018 (138) 2019 (69)
Publication types (Num. hits)
article(3513)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 3513 publication records. Showing 3513 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Slobodan Drazic Advanced Morphological Distances Based on Dilation and Erosion. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xindong Peng Algorithm for Pythagorean Fuzzy Multi-criteria Decision Making Based on WDBA with New Score Function. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Piotr Wasilewski Algebras of Definable Sets vs. Concept Lattices. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tanzeela Shaheen, John G. Stell Graphical Partitions and Graphical Relations. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Suxia Jiang, Yanfeng Wang, Jinbang Xu, Fei Xu The Computational Power of Cell-like P Systems with Symport/Antiport Rules and Promoters. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tufan Turaci, Aysun Ozan Aytaç Combining the Concepts of Residual and Domination in Graphs. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mario Alviano Argumentation Reasoning via Circumscription with Pyglaf. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marcin Wolski, Anna Gomolinska From Data to Pattern Structures: Near Set Approach. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1László Kovács An Algorithm using Context Reduction for Efficient Incremental Generation of Concept Set. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zhaohao Wang, Huifang Yue, Jianping Deng An Uncertainty Measure Based on Lower and Upper Approximations for Generalized Rough set Models. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tadhg Fitzgerald, Barry O'Sullivan Candidate Selection and Instance Ordering for Realtime Algorithm Configuration. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti Semantics and Controllability of Time-Aware Business Processes. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dariusz Kalocinski Some Remarks on Least Moduli. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1William Fajardo, Oswaldo Lezama Elementary Matrix-computational Proof of Quillen-Suslin Theorem for Ore Extensions. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carlos López Pombo, Pablo F. Castro, Nazareno Aguirre, Thomas Stephen Edward Maibaum Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1James Cooper, Radu Nicolescu The Hamiltonian Cycle and Travelling Salesman Problems in cP Systems. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hanna Klaudel, Maciej Koutny, Zhenhua Duan, Ben C. Moszkowski From Box Algebra to Interval Temporal Logic. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bin Yang 0004, Bao Qing Hu, Junsheng Qiao Three-way Decisions with Rough Membership Functions in Covering Approximation Space. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Soma Dutta, Andrzej Jankowski, Grzegorz Rozenberg, Andrzej Skowron Linking Reaction Systems with Rough Sets. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marek Czarnecki, Konrad Zdanowski A Modal Logic of a Truth Definition for Finite Models. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Omar Abu Arqub Application of Residual Power Series Method for the Solution of Time-fractional Schrödinger Equations in One-dimensional Space. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jakub Szymanik Introduction. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Darja Rupnik Poklukar, Janez Zerovnik Networks with Extremal Closeness. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pradipta Maji, Suman Mahapatra Rough-Fuzzy Circular Clustering for Color Normalization of Histological Images. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ali Gholami Rudi Approximate Hotspots of Orthogonal Trajectories. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Miguel A. González 0001, Angelo Oddi, Riccardo Rasconi Efficient Approaches for Solving a Multiobjective Energy-aware Job Shop Scheduling Problem. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Harish Garg, Dimple Rani Complex Interval-valued Intuitionistic Fuzzy Sets and their Aggregation Operators. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Anna Sawicka, Magdalena Kacprzak, Andrzej Zbrzezny Towards Encoding of the Transition Relation in Dialogue Games Model Checking. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Chrysafis Hartonas, Ewa Orlowska Representation of Lattices with Modal Operators in Two-Sorted Frames. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Justyna Grudzinska, Marek W. Zawadowski Continuation Semantics for Multi-Quantifier Sentences: Operation-Based Approaches. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Abdulla Aldilaijan, Mohammad Azad, Mikhail Moshkov Experimental Study of Totally Optimal Decision Trees. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nikolay Bazhenov Computable Contact Algebras. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Lech Polkowski Introducing Mass-based Rough Mereology in a Mereological Universe with Relations to Fuzzy Logics and a Generalization of the Łukasiewicz Logical Foundations of Probability. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gui-Wu Wei Pythagorean Fuzzy Hamacher Power Aggregation Operators in Multiple Attribute Decision Making. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Artur Niewiadomski, Piotr Switalski, Teofil Sidoruk, Wojciech Penczek Applying Modern SAT-solvers to Solving Hard Problems. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Melvin Fitting What Are Justification Logics? Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marek W. Zawadowski co-Semi-analytic Functors. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bingjie Guo, Luhui Wang, Tao Wu, Yafei Dong DNA Ion Detector and Logic Circulation Amplification Model Based on Mercury and Silver Ions. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Omar Abu Arqub Numerical Algorithm for the Solutions of Fractional Order Systems of Dirichlet Function Types with Comparative Analysis. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Guangzhao Cui, Yangyang Jiao, Jianxia Liu, Jixiang Li, Xuncai Zhang, Zhonghua Sun Complex Complement Circuit Design of Four Inputs Based on DNA Strand Displacement. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marco Maratea, Ivan Serina, Paolo Torroni Preface. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ying Niu, Feng Han, Xuncai Zhang, Zheng Zhou A Circuit Simplification Mechanism Based on DNA Combinatorial Strands Displacement. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Linqiang Pan, Mario J. Pérez-Jiménez, Gexiang Zhang Preface. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stefano Bistarelli, Francesco Santini 0001, Paolo Torroni Special issue of the Knowledge Representation and Reasoning Track, Symposium on Applied Computing (SAC) 2017. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Wen-Li Xu, Jia Lee, Hui-Hui Chen, Teijiro Isokawa Universal Computation in a Simplified Brownian Cellular Automaton with von Neumann Neighborhood. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrzej M. Borzyszkowski Regular Orthomodular Posets. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Fatemeh Ghassemi, Wan Fokkink Reliable Restricted Process Theory. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gösta Grahne, Ali Moallemi Universal (and Existential) Nulls. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Konrad Zdanowski One Henkin Quantifier in the Empty Vocabulary Suffices for Undecidability. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jan Rauch, Milan Simunek Data Mining with Histograms and Domain Knowledge - Case Studies and Considerations. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Junwei Sun, Nan Li, Yanfeng Wang, Wei Wang A Novel Chaotic System and its Modified Compound Synchronization. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jym Paul Carandang, Francis George C. Cabarle, Henry N. Adorna, Nestine Hope S. Hernandez, Miguel Ángel Martínez-del-Amor Handling Non-determinism in Spiking Neural P Systems: Algorithms and Simulations. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Surabhi Tiwari, Pankaj Kumar Singh 0002 An Approach of Proximity in Rough Set Theory. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marcin Michalak, Dominik Slezak On Boolean Representation of Continuous Data Biclustering. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jing Yang, Zhixiang Yin, Jianzhong Cui, Kai-feng Huang The Design of RNA Biosensor Based on Nano-gold and Magnetic Nano-particle. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Günther Charwat, Stefan Woltran Expansion-based QBF Solving on Tree Decompositions. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Costas D. Koutras, Christos Moyzes, Christos Rantsoudis A Reconstruction of Default Conditionals within Epistemic Logic. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Roberta Gori, Damas P. Gruska, Paolo Milazzo Studying Opacity of Reaction Systems through Formula Based Predictors. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Wendan Xie, Changjun Zhou, Hui Lv, Qiang Zhang 0008 Logic Operation Model of the Complementer Based on Two-domain DNA Strand Displacement. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Raj Kishor Bisht, Taishin Yasunobu Nishida, Kouhei Yamamoto Word Matrix Rewriting Systems. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro Model Enumeration via Assumption Literals. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alexis Bès, Christian Choffrut Complexity and (Un)decidability of Fragments of 〈 ω ω λ ;× 〉. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Fawaz Alsolami, Talha Amin, Mikhail Moshkov, Beata Zielosko, Krzysztof Zabinski Comparison of Heuristics for Optimization of Association Rules. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jan G. Bazan, Adam Szczur, Andrzej Skowron, Marian Rzepko, Pawel Król, Wojciech Bajorek, Wojciech Czarny A Classifier Based on a Decision Tree with Temporal Cuts. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tae Jong Choi, Jong-Hyun Lee, Hee Yong Youn, Chang Wook Ahn Adaptive Differential Evolution with Elite Opposition-Based Learning and its Application to Training Artificial Neural Networks. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Wojciech Penczek, Holger Schlingloff, Piotr Wasilewski Preface. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Valentino Santucci, Marco Baioletti, Alfredo Milani Tackling Permutation-based Optimization Problems with an Algebraic Particle Swarm Optimization Algorithm. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1William Fajardo A Computational Maple Library for Skew PBW Extensions. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sanjib Sadhu, Sasanka Roy, Soumen Nandi, Anil Maheshwari, Subhas C. Nandy Two-center of the Convex Hull of a Point Set: Dynamic Model, and Restricted Streaming Model. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Javier Criado, Silverio Martínez-Fernández, David Ameller, Luis Iribarne, Nicolás Padilla, Andreas Jedlitschka Quality-aware Architectural Model Transformations in Adaptive Mashups User Interfaces. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tiep Le, Tran Cao Son, Enrico Pontelli Multi-Context Systems with Preferences. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrew Ryzhikov, Anton Shemyakov Subset Synchronization in Monotonic Automata. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Emiliano Lorini, Roland Mühlenbernd The Long-Term Benefits of Following Fairness Norms under Dynamics of Learning and Evolution. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paolo Baldan, Martina Bocci, Daniele Brigolin, Nicoletta Cocco, Monika Heiner, Marta Simeoni Petri Nets for Modelling and Analysing Trophic Networks. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Claudia Pérez, Mario Abarca, Daniel Rivera Cubic Algorithm to Compute the Dynkin Type of a Positive Definite Quasi-Cartan Matrix. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marco Maratea, Viviana Mascardi, Davide Ancona, Alberto Pettorossi Preface. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Sticht Multi-Agent Dialogues and Dialogue Sequents for Proof Search and Scheduling in Intuitionistic Logic and the Modal Logic S4. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lin Wang, Zhi Hu On Graph Algorithms for Degeneracy Test and Recursive Description of Stream Ciphers. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Behrouz Kheirfam, Afsaneh Nasrollahi A Full-Newton Step Interior-point Method Based on a Class of Specific Algebra Transformation. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zaheer Masood, Khalid Majeed, Raza Samar, Muhammad Asif Zahoor Raja Design of Epidemic Computer Virus Model with Effect of Quarantine in the Presence of Immunity. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yuling Chen, Min Lei, Wei Ren 0002, Yi Ren 0001, Zhiguo Qu RoFa: A Robust and Flexible Fine-Grained Access Control Scheme for Mobile Cloud and IoT based Medical Monitoring. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thomas Hujsa, Raymond R. Devillers On Deadlockability, Liveness and Reversibility in Subclasses of Weighted Petri Nets. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dorota Formanowicz, Agnieszka Rybarczyk, Piotr Formanowicz Factors Influencing Essential Hypertension and Cardiovascular Disease Modeled and Analyzed using Stochastic Petri Nets. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sahar Hooshmand, Neda Tavakoli, Paniz Abedin, Sharma V. Thankachan On Computing Average Common Substring Over Run Length Encoded Sequences. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini Extending Logic Programming with Labelled Variables: Model and Semantics. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Loris Bozzato ASP Based Generation of Information Terms for Constructive ɛℒ. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrzej Jankowski, Andrzej Skowron, Piotr Wasilewski Rough Sets and Sorites Paradox. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Aleksi Saarela Studying Word Equations by a Method of Weighted Frequencies. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Paola Mello, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Marco Montali, Sergio Tessaris Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mai Alzamel, Jia Gao 0001, Costas S. Iliopoulos, Chang Liu Efficient Computation of Palindromes in Sequences with Uncertainties. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marek Grabowski, Grzegorz Bokota, Jacek Sroka, Andrzej M. Kierzek Verification of Dynamic Behaviour in Qualitative Molecular Networks Describing Gene Regulation, Signalling and Whole-cell Metabolism. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti Towards a Rational Closure for Expressive Description Logics: the Case of 풮풽풾퓆. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rana Faisal Munir, Sergi Nadal, Oscar Romero 0001, Alberto Abelló, Petar Jovanovic 0001, Maik Thiele, Wolfgang Lehner Intermediate Results Materialization Selection and Format for Data-Intensive Flows. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vadim Malvone, Aniello Murano, Loredana Sorrentino Additional Winning Strategies in Reachability Games. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sébastien Canard, Viet Cuong Trinh Certificateless Public Key Cryptography in the Standard Model. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paul D. Manuel, Sandi Klavzar The Graph Theory General Position Problem on Some Interconnection Networks. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Béatrice Bérard, Stefan Haar, Sylvain Schmitz, Stefan Schwoon The Complexity of Diagnosability and Opacity Verification for Petri Nets. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Toshihiro Matsui, Marius Silaghi, Tenda Okimoto, Katsutoshi Hirayama, Makoto Yokoo, Hiroshi Matsuo Leximin Multiple Objective DCOPs on Factor Graphs for Preferences of Agents. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota Reasoning on Datalog± Ontologies with Abductive Logic Programming. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fatos Xhafa, Zhenfu Cao Preface. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 3513 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license