Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
29 | Randal E. Bryant |
Multipliers and Dividers: Insights on Arithmetic Circuits Verification (Extended Abstract). |
CAV |
1995 |
DBLP DOI BibTeX RDF |
|
29 | Sathiamoorthy Subbarayan |
Efficient Reasoning for Nogoods in Constraint Solvers with BDDs. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Hasan Amjad |
LCF-Style Propositional Simplification with BDDs and SAT Solvers. |
TPHOLs |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Stefan Edelkamp, Peter Kissmann |
Limits and Possibilities of BDDs in State Space Search. |
KI |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Raimund Ubar, Sergei Devadze, Jaan Raik, Artur Jutman |
Ultra Fast Parallel Fault Analysis on Structurally Synthesized BDDs. |
ETS |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Ryutaro Kurai, Shin-ichi Minato, Thomas Zeugmann |
N-Gram Analysis Based on Zero-Suppressed BDDs. |
JSAI |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Sathiamoorthy Subbarayan |
Integrating CSP Decomposition Techniques and BDDs for Compiling Configuration Problems. |
CPAIOR |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Shin-ichi Minato |
Efficient Database Analysis Using VSOP Calculator Based on Zero-Suppressed BDDs. |
JSAI Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Shan-Tai Chen, Shun-Shii Lin, Li-Te Huang, Chun-Jen Wei |
Towards the Exact Minimization of BDDs-An Elitism-Based Distributed Evolutionary Algorithm. |
J. Heuristics |
2004 |
DBLP DOI BibTeX RDF |
DEBEA, EBEA, paralleled algorithm, evolutionary algorithm, Binary Decision Diagram, heuristic algorithm |
29 | Aarti Gupta, Malay K. Ganai, Chao Wang 0001, Zijiang Yang 0006, Pranav Ashar |
Abstraction and BDDs Complement SAT-Based BMC in DiVer. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Zhihong Zeng, Qiushuang Zhang, Ian G. Harris, Maciej J. Ciesielski |
Fast Computation of Data Correlation Using BDDs. |
DATE |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Sherief Reda, Rolf Drechsler, Alex Orailoglu |
On the Relation between SAT and BDDs for Equivalence Checking. |
ISQED |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Shin-ichi Minato |
Zero-suppressed BDDs and their applications. |
Int. J. Softw. Tools Technol. Transf. |
2001 |
DBLP DOI BibTeX RDF |
Boolean function, BDD, Combinatorial problem, VLSI CAD, ZBDD |
29 | Michael J. C. Gordon |
Reachability Programming in HOL98 Using BDDs. |
TPHOLs |
2000 |
DBLP DOI BibTeX RDF |
|
29 | Fabrizio Ferrandi, Donatella Sciuto, Alessandro Fin, Franco Fummi |
An Application of Genetic Algorithms and BDDs to Functional Testing. |
ICCD |
2000 |
DBLP DOI BibTeX RDF |
|
29 | Armin Biere, Edmund M. Clarke, Richard Raimi, Yunshan Zhu |
Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs. |
CAV |
1999 |
DBLP DOI BibTeX RDF |
|
29 | Wolfgang Günther 0001, Rolf Drechsler |
Minimization of BDDs using linear transformations based on evolutionary techniques. |
ISCAS (1) |
1999 |
DBLP DOI BibTeX RDF |
|
29 | Rolf Drechsler, Nicole Drechsler, Wolfgang Günther 0001 |
Fast Exact Minimization of BDDs. |
DAC |
1998 |
DBLP DOI BibTeX RDF |
reconstruction, emulation, visibility, functional simulation |
29 | Shankar G. Govindaraju, David L. Dill, Alan J. Hu, Mark Horowitz |
Approximate Reachability with BDDs Using Overlapping Projections. |
DAC |
1998 |
DBLP DOI BibTeX RDF |
transceiver, spread spectrum communication, RF CMOS, digital radio, ISM frequency band |
29 | Andreas Hett, Rolf Drechsler, Bernd Becker 0001 |
Fast and efficient construction of BDDs by reordering based synthesis. |
ED&TC |
1997 |
DBLP DOI BibTeX RDF |
|
29 | Zhuxing Zhao, Zhongcheng Li, Yinghua Min |
Waveform Polynomial Manipulation Using Bdds. |
Asian Test Symposium |
1996 |
DBLP DOI BibTeX RDF |
waveform polynomial manipulation, design verification and test, middle size circuits, complexity, data structure, high level synthesis, timing, logic design, combinational circuit, logic synthesis, binary decision diagram, directed acyclic graph, digital circuit, Boolean process |
29 | Jean Goubault |
Proving with BDDs and Control of Information. |
CADE |
1994 |
DBLP DOI BibTeX RDF |
|
29 | Tiago Muller Gil Cardoso, Leomar S. da Rosa Jr., Felipe de Souza Marques, Renato P. Ribas, André Inácio Reis |
Speed-Up of ASICs Derived from FPGAs by Transistor Network Synthesis Including Reordering. |
ISQED |
2008 |
DBLP DOI BibTeX RDF |
Transistor networks, logic synthesis, BDDs, Logical effort |
29 | Alain Griffault, Aymeric Vincent |
The Mec 5 Model-Checker. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
AltaRica, model-checking, BDDs, calculus |
29 | Valentin Gherman, Hans-Joachim Wunderlich, Harald P. E. Vranken, Friedrich Hapke, Michael Wittke, Michael Garbers |
Efficient Pattern Mapping for Deterministic Logic BIST. |
ITC |
2004 |
DBLP DOI BibTeX RDF |
BDDs, Logic BIST |
29 | Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah |
FORCE: a fast and easy-to-implement variable-ordering heuristic. |
ACM Great Lakes Symposium on VLSI |
2003 |
DBLP DOI BibTeX RDF |
partitioning, placement, SAT, BDDs, hypergraph, CNF, pre-processing, backtrack search, variable order |
29 | Ilia Polian, Irith Pomeranz, Bernd Becker 0001 |
Exact Computation of Maximally Dominating Faults and Its Application to n-Detection Tests. |
Asian Test Symposium |
2002 |
DBLP DOI BibTeX RDF |
n-detection, BDDs, formal techniques, Fault dominance |
29 | Valeria Bertacco, Kunle Olukotun |
Efficient state representation for symbolic simulation. |
DAC |
2002 |
DBLP DOI BibTeX RDF |
formal verification, BDDs, symbolic simulation |
29 | Evguenii I. Goldberg, Yuji Kukimoto, Robert K. Brayton |
Combinational Verification based on High-Level Functional Specifications. |
DATE |
1998 |
DBLP DOI BibTeX RDF |
Combinational verification, Domain transformations, BDDs |
29 | Michele Favalli, Marcello Dalpasso |
Symbolic Handling of Bridging Fault Effects. |
J. Electron. Test. |
1997 |
DBLP DOI BibTeX RDF |
fault simulation, bridging faults, binary decision diagrams (BDDs) |
29 | Jawahar Jain, Dinos Moundanos, James R. Bitner, Jacob A. Abraham, Donald S. Fussell, Don E. Ross |
Efficient variable ordering and partial representation algorithm. |
VLSI Design |
1995 |
DBLP DOI BibTeX RDF |
partial representation algorithm, ordered partial decision diagrams, information-theoretic criteria, CAD problems, VLSI, data structures, data structures, entropy, Boolean functions, Boolean function, logic CAD, BDDs, variable ordering, truth table |
20 | Eli Arbel, Oleg Rokhlenko, Karen Yorav |
SAT-based synthesis of clock gating functions using 3-valued abstraction. |
FMCAD |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Ken Friis Larsen |
A MuDDy Experience-ML Bindings to a BDD Library. |
DSL |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Jochen Eisinger, Felix Klaedtke |
Don't care words with an application to the automata-based approach for real addition. |
Formal Methods Syst. Des. |
2008 |
DBLP DOI BibTeX RDF |
Mixed linear arithmetic over the integers and reals, Verification of infinite-state systems, Decision procedure, Automata theory |
20 | Hyondeuk Kim, HoonSang Jin, Kavita Ravi, Petr Spacek, John Pierce, Robert P. Kurshan, Fabio Somenzi |
Application of Formal Word-Level Analysis to Constrained Random Simulation. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Stefan Edelkamp, Peter Kissmann |
Partial Symbolic Pattern Databases for Optimal Sequential Planning. |
KI |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Marcílio Mendonça, Andrzej Wasowski, Krzysztof Czarnecki 0001, Donald D. Cowan |
Efficient compilation techniques for large scale feature models. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
formal verification, model-driven development, software-product lines, configuration, feature modeling |
20 | Hamid Shojaei, Twan Basten, Marc Geilen, Phillip Stanley-Marbell |
SPaC: a symbolic pareto calculator. |
CODES+ISSS |
2008 |
DBLP DOI BibTeX RDF |
binay decision diagram, pareto algeba, embedded systems |
20 | Esben Rune Hansen |
Encoding CSPs with Zero-Suppressed Decision Diagrams. |
ICTAI (1) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Zhi-Hong Tao, Conghua Zhou, Zhong Chen, Lifu Wang |
Bounded Model Checking of CTL. |
J. Comput. Sci. Technol. |
2007 |
DBLP DOI BibTeX RDF |
symbolic model checking, bounded model checking, QBF, CTL* |
20 | P. W. Chandana Prasad, Ali Assi 0001, Azam Beg |
Binary Decision Diagrams and neural networks. |
J. Supercomput. |
2007 |
DBLP DOI BibTeX RDF |
BDD complexity, Neural network, Binary decision diagrams, Complexity estimation |
20 | Gianfranco Ciardo, Gerald Lüttgen, Andrew S. Miner |
Exploiting interleaving semantics in symbolic state-space generation. |
Formal Methods Syst. Des. |
2007 |
DBLP DOI BibTeX RDF |
Symbolic state-space exploration, Decision diagrams, Kronecker algebra, Interleaving semantics |
20 | Tarik Hadzic, John N. Hooker |
Cost-Bounded Binary Decision Diagrams for 0-1 Programming. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Gérard Basler, Daniel Kroening, Georg Weissenbacher |
SAT-Based Summarization for Boolean Programs. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Natasa Miskov-Zivanov, Diana Marculescu |
Circuit Reliability Analysis Using Symbolic Techniques. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Gregor Snelting, Torsten Robschink, Jens Krinke |
Efficient path conditions in dependence graphs for software safety analysis. |
ACM Trans. Softw. Eng. Methodol. |
2006 |
DBLP DOI BibTeX RDF |
program slicing, information flow control, Safety analysis, path condition |
20 | Jochen Eisinger, Felix Klaedtke |
Don't Care Words with an Application to the Automata-Based Approach for Real Addition. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Felipe Machado, Teresa Riesgo, Yago Torroja |
A Method for Switching Activity Analysis of VHDL-RTL Combinatorial Circuits. |
PATMOS |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Ming-Hong Su, Chun-Yao Wang |
High level equivalence symmetric input identification. |
ASP-DAC |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Karim Boutaleb, Philippe Jégou, Cyril Terrioux |
(No)good Recording and ROBDDs for Solving Structured (V)CSPs. |
ICTAI |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Prakash Mohan Peranandam, Pradeep Kumar Nalla, Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wolfgang Rosenstiel |
Fast falsification based on symbolic bounded property checking. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
fast falsification, guiding, property checking |
20 | Jon T. Butler, Tsutomu Sasao, Munehiro Matsuura |
Average Path Length of Binary Decision Diagrams. |
IEEE Trans. Computers |
2005 |
DBLP DOI BibTeX RDF |
average path length, worst-case path length, APL, Binary decision diagrams, BDD |
20 | Rüdiger Ebendt, Wolfgang Günther 0001, Rolf Drechsler |
Combining ordered best-first search with branch and bound for exact BDD minimization. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Nils Klarlund |
Relativizations for the Logic-Automata Connection. |
High. Order Symb. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Rüdiger Ebendt, Rolf Drechsler |
Exact BDD Minimization for Path-Related Objective Functions. |
VLSI-SoC |
2005 |
DBLP DOI BibTeX RDF |
|
20 | John Whaley, Dzintars Avots, Michael Carbin, Monica S. Lam |
Using Datalog with Binary Decision Diagrams for Program Analysis. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Parosh Aziz Abdulla, Johann Deneux, Lisa Kaati, Marcus Nilsson |
Minimization of Non-deterministic Automata with Large Alphabets. |
CIAA |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Monica S. Lam, John Whaley, V. Benjamin Livshits, Michael C. Martin, Dzintars Avots, Michael Carbin, Christopher Unkel |
Context-sensitive program analysis as database queries. |
PODS |
2005 |
DBLP DOI BibTeX RDF |
|
20 | David Ward, Fabio Somenzi |
Automatic Generation of Hints for Symbolic Traversal. |
CHARME |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Sebastian Kinder, Görschwin Fey, Rolf Drechsler |
Controlling the Memory During Manipulation of Word-Level Decision Diagrams. |
ISMVL |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Tarik Hadzic, Henrik Reif Andersen |
Interactive Reconfiguration in Power Supply Restoration. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Kairong Qian, Albert Nymeyer, Steven Susanto |
Experiments with Multiple Abstraction Heuristics in Symbolic Verification. |
SARA |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Jun Yuan 0007, Adnan Aziz, Carl Pixley, Ken Albin |
Simplifying Boolean constraint solving for random simulation-vector generation. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2004 |
DBLP DOI BibTeX RDF |
|
20 | HoonSang Jin, Mohammad Awedh, Fabio Somenzi |
CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Andrew S. Miner, David Parker 0001 |
Symbolic Representations and Analysis of Large Probabilistic Systems. |
Validation of Stochastic Systems |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Rüdiger Ebendt, Wolfgang Günther 0001, Rolf Drechsler |
Combining ordered best-first search with branch and bound for exact BDD minimization. |
ASP-DAC |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Sumit Gulwani, George C. Necula |
Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions. |
SAS |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Pankaj Chauhan, Edmund M. Clarke, Daniel Kroening |
A SAT-based algorithm for reparameterization in symbolic simulation. |
DAC |
2004 |
DBLP DOI BibTeX RDF |
SAT checkers, safety property checking, bounded model checking, symbolic simulation, parametric representation |
20 | Nikhil Saluja, Sunil P. Khatri |
A robust algorithm for approximate compatible observability don't care (CODC) computation. |
DAC |
2004 |
DBLP DOI BibTeX RDF |
compatible observability don't cares (CODC), multi-level logic optimization, logic synthesis |
20 | Wolfgang Günther 0001, Rolf Drechsler |
Efficient Minimization and Manipulation of Linearly Transformed Binary Decision Diagrams. |
IEEE Trans. Computers |
2003 |
DBLP DOI BibTeX RDF |
formal verification, Binary decision diagram, minimization, linear transformation |
20 | Rüdiger Ebendt, Wolfgang Günther 0001, Rolf Drechsler |
An improved branch and bound algorithm for exact BDD minimization. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Rüdiger Ebendt, Wolfgang Günther 0001, Rolf Drechsler |
Combination of Lower Bounds in Exact BDD Minimization. |
DATE |
2003 |
DBLP DOI BibTeX RDF |
|
20 | K. Rustan M. Leino |
A SAT Characterization of Boolean-Program Correctness. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
20 | John V. Franco, Michal Kouril, John S. Schlipf, Jeffrey Ward, Sean A. Weaver, Michael R. Dransfield, W. Mark Vanfleet |
SBSAT: a State-Based, BDD-Based Satisfiability Solver. |
SAT |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Guoqiang Wang, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli |
Structural Detection of Symmetries in Boolean Functions. |
ICCD |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Dirk Beyer 0001, Andreas Noack |
Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification? |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Albert Nymeyer, Kairong Qian |
Heuristic Search Algorithms Based on Symbolic Data Structures. |
Australian Conference on Artificial Intelligence |
2003 |
DBLP DOI BibTeX RDF |
shortest path, Heuristic search, binary decision diagrams |
20 | Jun Yuan 0007, Ken Albin, Adnan Aziz, Carl Pixley |
Simplifying Boolean constraint solving for random simulation-vector generation. |
ICCAD |
2002 |
DBLP DOI BibTeX RDF |
|
20 | In-Ho Moon, Hee-Hwan Kwak, James H. Kukula, Thomas R. Shiple, Carl Pixley |
Simplifying Circuits for Formal Verification Using Parametric Representation. |
FMCAD |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Sava Krstic, John Matthews |
Verifying BDD Algorithms through Monadic Interpretation. |
VMCAI |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 |
PRISM: Probabilistic Symbolic Model Checker. |
Computer Performance Evaluation / TOOLS |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Tuba Yavuz-Kahveci, Tevfik Bultan |
Heuristics for Efficient Manipulation of Composite Constraints. |
FroCoS |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Randal E. Bryant, Yirng-An Chen |
Verification of arithmetic circuits using binary moment diagrams. |
Int. J. Softw. Tools Technol. Transf. |
2001 |
DBLP DOI BibTeX RDF |
Formal verification, Computer arithmetic, Decision diagrams |
20 | Per Bjesse, Tim Leonard, Abdel Mokkedem |
Finding Bugs in an Alpha Microprocessor Using Satisfiability Solvers. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Jun Yuan 0007, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz |
Automatic Vector Generation Using Constraints and Biasing. |
J. Electron. Test. |
2000 |
DBLP DOI BibTeX RDF |
constraint, probability, partitioning, BDD, biasing, vector generation |
20 | Christoph Scholl 0001, Bernd Becker 0001 |
On the Generation of Multiplexer Circuits for Pass Transistor Logic. |
DATE |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Parosh Aziz Abdulla, Per Bjesse, Niklas Eén |
Symbolic Reachability Analysis Based on SAT-Solvers. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Wolfgang Günther 0001, Rolf Drechsler |
ACTion: Combining Logic Synthesis and Technology Mapping for MUX Based FPGAs. |
EUROMICRO |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Chris Wilson, David L. Dill, Randal E. Bryant |
Symbolic Simulation with Approximate Values. |
FMCAD |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Yuan Lu 0004, Jawahar Jain, Edmund M. Clarke, Masahiro Fujita |
Efficient variable ordering using aBDD based sampling. |
DAC |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Gianpiero Cabodi, Stefano Quer, Fabio Somenzi |
Optimizing sequential verification by retiming transformations. |
DAC |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Nils Klarlund |
A Theory of Restrictions for Logics and Automata. |
CAV |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Xinyu Zang, Hairong Sun, Kishor S. Trivedi |
Dependability Analysis of Distributed Computer Systems with Imperfect Coverage. |
FTCS |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Enric Pastor, Jordi Cortadella, Marco A. Peña |
Structural Methods to Improve the Symbolic Analysis of Petri Nets. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Armin Biere, Edmund M. Clarke, Yunshan Zhu |
Multiple State and Single State Tableaux for Combining Local and Global Model Checking. |
Correct System Design |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Kavita Ravi, Fabio Somenzi |
Hints to accelerate Symbolic Traversal. |
CHARME |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Masahito Kurihara, Hisashi Kondo |
Heuristics and Experiments on BDD Representation of Boolean Functions for Expert Systems in Software Verification Domains. |
Australian Joint Conference on Artificial Intelligence |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Gianpiero Cabodi, Paolo Camurati, Stefano Quer |
Auxiliary variables for BDD-based representation and manipulation of Boolean functions. |
ACM Trans. Design Autom. Electr. Syst. |
1998 |
DBLP DOI BibTeX RDF |
finite state machines, binary decision diagrams, reachability analysis, functional decompositions |
20 | Jayram S. Thathachar |
On the Limitations of Ordered Representations of Functions. |
CAV |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Krzysztof Bilinski, Erik L. Dagless |
Efficient Approach to Symbolic State Exploration of Complex Parallel Controllers. |
ACSD |
1998 |
DBLP DOI BibTeX RDF |
|