Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Martin Jonás, Jan Strejcek |
Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Gabriel Oliveira, Sabrina Marczak |
On the Understanding of BDD Scenarios' Quality: Preliminary Practitioners' Opinions. |
REFSQ |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Ivan S. Zapreev, Cees Verdier, Manuel Mazo Jr. |
Optimal Symbolic Controllers Determinization for BDD storage. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Oscar Lindvall Bulancea, Petter Nilsson, Necmiye Ozay |
Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Amad Ul Hassen, Salman Anwar Khokhar, Haseeb Aslam Butt, Sumit Kumar Jha 0001 |
Free BDD based CAD of Compact Memristor Crossbars for in-Memory Computing. |
NANOARCH |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Patrícia Mello, Pablo Ximenes, Rousiany Lemos, Ana Luíza Bessa, Mariela I. Cortés, Cleilton Lima Rocha |
On the applicability of BDD in a Business Intelligence project: experience report. |
SBQS |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Yang Wang 0049, Stefan Wagner 0001 |
Combining STPA and BDD for safety analysis and verification in agile development. |
ICSE (Companion Volume) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Huy Quoc Le, Pradeep Kumar Mishra, Dung Hoang Duong, Masaya Yasuda |
Solving LWR via BDD Strategy: Modulus Switching Approach. |
CANS |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Harish Kumar Sahu, Indivar Gupta, N. Rajesh Pillai, Rajendra Kumar Sharma |
BDD-based cryptanalysis of stream cipher: a practical approach. |
IET Inf. Secur. |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Zhusheng Pan, Liudong Xing, Yuchang Mo |
A new reliability evaluation method for networks with imperfect vertices using BDD. |
Qual. Reliab. Eng. Int. |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato, Masaaki Nagata |
BDD-Constrained A* Search: A Fast Method for Solving Constrained Shortest-Path Problems. |
IEICE Trans. Inf. Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Shin-ichi Minato |
Power of Enumeration - Recent Topics on BDD/ZDD-Based Techniques for Discrete Structure Manipulation. |
IEICE Trans. Inf. Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Marcin Kubica, Adam Opara, Dariusz Kania |
Logic synthesis for FPGAs based on cutting of BDD. |
Microprocess. Microsystems |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Marcel Wild |
ALLSAT compressed with wildcards. Part 2: All k-models of a BDD. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
17 | Xiaolin Xu, Bicky Shakya, Mark M. Tehranipoor, Domenic Forte |
Novel Bypass Attack and BDD-based Tradeoff Analysis Against all Known Logic Locking Attacks. |
IACR Cryptol. ePrint Arch. |
2017 |
DBLP BibTeX RDF |
|
17 | Shoko Tago, Tsuyoshi Ochiai, Seitaro Suzuki, Mio Hayashi, Takeshi Kondo, Akira Fujishima |
Flexible Boron-Doped Diamond (BDD) Electrodes for Plant Monitoring. |
Sensors |
2017 |
DBLP DOI BibTeX RDF |
|
17 | David Bergman, André Augusto Ciré |
On Finding the Optimal BDD Relaxation. |
CPAIOR |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Rauchenecker, Robert Wille |
An efficient physical design of fully-testable BDD-based circuits. |
DDECS |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Gabriel Oliveira, Sabrina Marczak |
On the Empirical Evaluation of BDD Scenarios Quality: Preliminary Findings of an Empirical Study. |
RE Workshops |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Saman Fröhlich, Daniel Große, Rolf Drechsler |
Exakte BDD Minimierung mit Fehlerschranke für den Einsatz im Approximate Computing. |
MBMV |
2017 |
DBLP BibTeX RDF |
|
17 | Rui Xu 0006, Sze Ling Yeo, Kazuhide Fukushima, Tsuyoshi Takagi, Hwajung Seo, Shinsaku Kiyomoto, Matt Henricksen |
An Experimental Study of the BDD Approach for the Search LWE Problem. |
ACNS |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato, Masaaki Nagata |
BDD-Constrained A* Search: A Fast Method for Solving Constrained DAG Shortest-Path Problems. |
AAAI Workshops |
2017 |
DBLP BibTeX RDF |
|
17 | Chun-Feng Liao, Ching-Ju Cheng, Kung Chen, Chen-Ho Lai, Tien Chiu, Chi Wu-Lee |
Toward A Service Platform for Developing Smart Contracts on Blockchain in BDD and TDD Styles. |
SOCA |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Saeideh Shirinzadeh, Mathias Soeken, Daniel Große, Rolf Drechsler |
An adaptive prioritized ε-preferred evolutionary algorithm for approximate BDD optimization. |
GECCO |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Saman Fröhlich, Daniel Große, Rolf Drechsler |
Error Bounded Exact BDD Minimization in Approximate Computing. |
ISMVL |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Fábio Levy Siqueira, Thiago C. de Sousa, Paulo Sérgio Muniz Silva |
Using BDD and SBVR to Refine Business Goals into an Event-B Model: A Research Idea. |
FormaliSE@ICSE |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Xiaolin Xu, Bicky Shakya, Mark M. Tehranipoor, Domenic Forte |
Novel Bypass Attack and BDD-based Tradeoff Analysis Against All Known Logic Locking Attacks. |
CHES |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Sven Mattsen |
BDD-based value analysis for X86 executables. |
|
2017 |
RDF |
|
17 | Benedikt Eberhardinger, David Faragó, Mario Friske, Dehla Sokenou |
Aktuelle Fragestellungen zum Zusammenspiel von BDD, MBT und KDT. |
Softwaretechnik-Trends |
2016 |
DBLP BibTeX RDF |
|
17 | Tianhua Xu, Haifeng Wang, Tangming Yuan, MengChu Zhou |
BDD-Based Synthesis of Fail-Safe Supervisory Controllers for Safety-Critical Discrete Event Systems. |
IEEE Trans. Intell. Transp. Syst. |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Qixia Yuan, Hongyang Qu 0001, Jun Pang 0001, Andrzej Mizera |
Improving BDD-based attractor detection for synchronous Boolean networks. |
Sci. China Inf. Sci. |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Macauley Coggins |
Design of an Optoelectronic State Machine with integrated BDD based Optical logic. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
17 | Shahar Maoz, Or Pistiner, Jan Oliver Ringert |
Symbolic BDD and ADD Algorithms for Energy Games. |
SYNT@CAV |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Elena Kirshanova, Alexander May 0001, Friedrich Wiemer |
Parallel Implementation of BDD enumeration for LWE. |
IACR Cryptol. ePrint Arch. |
2016 |
DBLP BibTeX RDF |
|
17 | Gokhan Akyol, Halûk Gümüskaya |
Cevik Yazilim Gelistirmede BDD/TDD Yontemlerinin ve Yazilim Kalite Araclarinin Kullanilmasi: Bir Yazilim Muhendisligi Dersindeki Tecrube. |
UYMS |
2016 |
DBLP BibTeX RDF |
|
17 | Saeideh Shirinzadeh, Mathias Soeken, Rolf Drechsler |
Multi-objective BDD optimization for RRAM based circuit design. |
DDECS |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi |
BDD-Based Boolean Functional Synthesis. |
CAV (2) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Truong Khanh Nguyen, Tian Huat Tan, Jun Sun 0001, Jiaying Li 0001, Yang Liu 0003, Manman Chen, Jin Song Dong |
Scaling BDD-based Timed Verification with Simulation Reduction. |
ICFEM |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Mathias Soeken, Daniel Große, Arun Chandrasekharan, Rolf Drechsler |
BDD minimization for approximate computing. |
ASP-DAC |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Elena Kirshanova, Alexander May 0001, Friedrich Wiemer |
Parallel Implementation of BDD Enumeration for LWE. |
ACNS |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Lara Almeida, Elder Cirilo, Eiji Adachi Barbosa |
SS-BDD: Automated Acceptance Testing for Spreadsheets. |
SAST |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Saeideh Shirinzadeh, Mathias Soeken, Daniel Große, Rolf Drechsler |
Approximate BDD Optimization with Prioritized ε-Preferred Evolutionary Algorithm. |
GECCO (Companion) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Shin-ichi Minato |
Power of Enumeration - BDD/ZDD-Based Techniques for Discrete Structure Manipulation. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Anindita Chakraborty, Rakesh Das, Chandan Bandyopadhyay, Hafizur Rahaman 0001 |
BDD based synthesis technique for design of high-speed memristor based circuits. |
VDAT |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Christian Brandes, Benedikt Eberhardinger, David Faragó, Mario Friske, Baris Güldali, Andrej Pietschker |
Drei Methoden, ein Ziel: Testautomatisierung mit BDD, MBT und KDT im Vergleich. |
Softwaretechnik-Trends |
2015 |
DBLP BibTeX RDF |
|
17 | V. Matuzas, S. Contini |
Dynamic labelling of BDD and ZBDD for efficient non-coherent fault tree analysis. |
Reliab. Eng. Syst. Saf. |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Anamaria Baciu, Magdalena Ardelean, Aniela Pop, Rodica Pode, Florica Manea |
Simultaneous Voltammetric/Amperometric Determination of Sulfide and Nitrite in Water at BDD Electrode. |
Sensors |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Tsuyoshi Ochiai, Shoko Tago, Mio Hayashi, Akira Fujishima |
Highly Sensitive Measurement of Bio-Electric Potentials by Boron-Doped Diamond (BDD) Electrodes for Plant Monitoring. |
Sensors |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Zhennan Fei, Spyros A. Reveliotis, Sajed Miremadi, Knut Åkesson |
A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems. |
IEEE Trans Autom. Sci. Eng. |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Brian Kell, Ashish Sabharwal, Willem-Jan van Hoeve |
BDD-Guided Clause Generation. |
CPAIOR |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Takahisa Toda, Koji Tsuda |
BDD construction for all solutions SAT and efficient caching mechanism. |
SAC |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Anna Bernasconi 0001, Valentina Ciriani, Gabriella Trucco |
Biconditional-BDD Ordering for Autosymmetric Functions. |
DSD |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Robert Wille, Oliver Keszöcze, Clemens Hopfmuller, Rolf Drechsler |
Reverse BDD-based synthesis for splitter-free optical circuits. |
ASP-DAC |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Huiping Zhang, Junwei Du, Ling Cao, Guixin Zhu |
A Full Symbolic Reachability Analysis Algorithm of Timed Automata Based on BDD. |
ISADS |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Junwei Du, Huiping Zhang, Gang Yu, Xi Wang |
A full symbolic compositional reachability analysis of timed automata based on BDD. |
ICACI |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Hongyang Qu 0001, Qixia Yuan, Jun Pang 0001, Andrzej Mizera |
Improving BDD-based Attractor Detection for Synchronous Boolean Networks. |
Internetware |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata |
BDD-Constrained Search: A Unified Approach to Constrained Shortest Path Problems. |
AAAI |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Saeideh Shirinzadeh, Mathias Soeken, Rolf Drechsler |
Multi-Objective BDD Optimization with Evolutionary Algorithms. |
GECCO |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li 0031, Thomas Neele, Mariëlle Stoelinga, Andrea Turrini, Lijun Zhang 0001 |
A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking. |
SETTA |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Eleonora Schönborn, Kamalika Datta, Robert Wille, Indranil Sengupta 0001, Hafizur Rahaman 0001, Rolf Drechsler |
BDD-Based Synthesis for All-Optical Mach-Zehnder Interferometer Circuits. |
VLSID |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Christian Appold |
Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme. |
|
2015 |
RDF |
|
17 | Mingjie Liu, Xiaoyun Wang 0001, Guangwu Xu, Xuexin Zheng |
A note on BDD problems with λ2-gap. |
Inf. Process. Lett. |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny |
BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance. |
Auton. Agents Multi Agent Syst. |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Yuchang Mo, Liudong Xing, Farong Zhong, Zhusheng Pan, Zhongyu Chen |
Choosing a heuristic and root node for edge ordering in BDD-based network reliability analysis. |
Reliab. Eng. Syst. Saf. |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Peter Kissmann, Jörg Hoffmann 0001 |
BDD Ordering Heuristics for Classical Planning. |
J. Artif. Intell. Res. |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Dirk Beyer 0001, Andreas Stahlbauer |
BDD-based software verification - Applications to event-condition-action systems. |
Int. J. Softw. Tools Technol. Transf. |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Graeme Gange, Peter James Stuckey, Vitaly Lagoon |
Fast Set Bounds Propagation Using a BDD-SAT Hybrid. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
17 | Tomasz Gogacz, Jerzy Marcinkowski |
On the BDD/FC Conjecture. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
17 | David Bergman, André A. Ciré, Willem Jan van Hoeve, Tallys H. Yunes |
BDD-based heuristics for binary optimization. |
J. Heuristics |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Hidefumi Hiraishi, Hiroshi Imai |
BDD Operations for Quantum Graph States. |
RC |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Minh Lê, Josef Weidendorfer, Max Walter |
A Novel Variable Ordering Heuristic for BDD-based K-Terminal Reliability. |
DSN |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Sayak Chakraborti, Paturi Varun Chowdhary, Kamalika Datta, Indranil Sengupta 0001 |
BDD based synthesis of Boolean functions using memristors. |
IDT |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Gianpiero Cabodi, Paolo Pasini, Stefano Quer, Danilo Vendraminetto |
Tightening BDD-based approximate reachability with SAT-based clause generalization∗. |
DATE |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Miroslav N. Velev, Ping Gao 0002 |
Efficient parallel GPU algorithms for BDD manipulation. |
ASP-DAC |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Saifulza Alwi, Yasutaka Fujimoto |
Safety property comparison between Gröbner bases and BDD-based model checking method. |
ICARCV |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Christian Appold |
A New Approach to Use Partial Results During Image Computation in BDD Based Symbolic Model Checking. |
MBMV |
2014 |
DBLP BibTeX RDF |
|
17 | Sen-Tarng Lai, Fang-Yie Leu, William Cheng-Chung Chu |
Combining IID with BDD to Enhance the Critical Quality of Security Functional Requirements. |
BWCCA |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Zheng Zhao, Chian-Wei Liu, Chun-Yao Wang, Weikang Qian |
BDD-based synthesis of reconfigurable single-electron transistor arrays. |
ICCAD |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Fei He 0001, Bow-Yaw Wang, Liangze Yin, Lei Zhu |
Symbolic assume-guarantee reasoning through BDD learning. |
ICSE |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Partha De, Kunal Banerjee 0001, Chittaranjan A. Mandal |
A BDD based secure hardware design method to guard against power analysis attacks. |
VDAT |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Elena Dubrova, Shohreh Sharif Mansouri |
A BDD-Based Method for LFSR Parallelization with Application to Fast CRC Encoding. |
J. Multiple Valued Log. Soft Comput. |
2013 |
DBLP BibTeX RDF |
|
17 | Liudong Xing, Gregory Levitin |
BDD-based reliability evaluation of phased-mission systems with internal/external common-cause failures. |
Reliab. Eng. Syst. Saf. |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Shin-ichi Minato |
Techniques of BDD/ZDD: Brief History and Recent Activity. |
IEICE Trans. Inf. Syst. |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Ronggen Chen, Yuchang Mo, Zhusheng Pan |
Performance Improvement of Edge Expansion Technique for BDD-based Network Reliability Analysis. |
J. Comput. |
2013 |
DBLP BibTeX RDF |
|
17 | Guanfeng Lv, Kaile Su, Yanyan Xu 0001 |
CacBDD: A BDD Package with Dynamic Cache Management. |
CAV |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Partha De, Kunal Banerjee 0001, Chittaranjan A. Mandal, Debdeep Mukhopadhyay |
Designing DPA Resistant Circuits Using BDD Architecture and Bottom Pre-charge Logic. |
DSD |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Tomasz Gogacz, Jerzy Marcinkowski |
On the BDD/FC conjecture. |
PODS |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Rajeev Goré, Jimmy Thomson 0001 |
An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description. |
CADE |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Rafael Chiavegatto, Vanilton de Souza Freire Pinheiro, Andréia Vieira, João Clineu, Erbett Hinton Oliveira, Ellen Barroso, Alexandre Amorim, Tayana Conte |
Especificação e Automação Colaborativas de Testes utilizando a técnica BDD. |
SBQS |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Tony Ribeiro, Katsumi Inoue, Chiaki Sakama |
A BDD-Based Algorithm for Learning from Interpretation Transition. |
ILP |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Mingjie Liu, Phong Q. Nguyen |
Solving BDD by Enumeration: An Update. |
CT-RSA |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Peter Kissmann, Jörg Hoffmann 0001 |
What's in It for My BDD? On Causal Graphs and Variable Orders in Planning. |
ICAPS |
2013 |
DBLP BibTeX RDF |
|
17 | Anuja Arora, Madhavi Sinha |
Avoiding state explosion problem of generated AJAX web application state machine using BDD. |
IC3 |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Álvaro Torralba, Vidal Alcázar |
Constrained Symbolic Search: On Mutexes, BDD Minimization and More. |
SOCS |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli |
BDS-MAJ: a BDD-based logic synthesis tool exploiting majority logic decomposition. |
DAC |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Tom van Dijk, Alfons Laarman, Jaco van de Pol |
Multi-Core BDD Operations for Symbolic Reachability. |
PASM/PDMC |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Ryo Yoshinaka, Jun Kawahara, Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato |
Counterexamples to the long-standing conjecture on the complexity of BDD binary operations. |
Inf. Process. Lett. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Shin-ichi Minato, Nicolas Spyratos |
BDD-Based Combinatorial Keyword Query Processing under a Taxonomy Model. |
Int. J. Organ. Collect. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Rahul Dixit, Harpreet Singh 0001 |
BDD, BNN, and FPGA on Fuzzy Techniques for Rapid System Analysis. |
Adv. Fuzzy Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Robert Meolic |
Biddy - a Multi-platform Academic BDD Package. |
J. Softw. |
2012 |
DBLP DOI BibTeX RDF |
|