Search results for "certification"

Hits ?▲	Authors	Title	Venue	Year	Link
12	Sarandis Mitropoulos, Marilena Maliappi, Alexandros Veletsos, Christos Douligeris	Reengineering the certification process for aircraft equipment.	Int. J. Bus. Process. Integr. Manag.	2022	DBLP DOI BibTeX RDF
12	Charles Audet, Frédéric Messine, Jordan Ninin	Numerical certification of Pareto optimality for biobjective nonlinear problems.	J. Glob. Optim.	2022	DBLP DOI BibTeX RDF
12	Charles Audet, Frédéric Messine, Jordan Ninin	Correction to: Numerical certification of Pareto optimality for biobjective nonlinear problems.	J. Glob. Optim.	2022	DBLP DOI BibTeX RDF
12	Jan-Lucas Gade, Carl-Johan Thore, Jonas Stålhand	Identification of mechanical properties of arteries with certification of global optimality.	J. Glob. Optim.	2022	DBLP DOI BibTeX RDF
12	Virginia Ardévol Martínez, Marco Caoduro, Laurent Feuilloley, Jonathan Narboni, Pegah Pournajafi, Jean-Florent Raymond	Lower bound for constant-size local certification.	CoRR	2022	DBLP DOI BibTeX RDF
12	Nikolaos Skouloudis, Alexandre Megretski	Mathematical certification of motion planning on uncertain terrain with limited perception: a case study.	CoRR	2022	DBLP DOI BibTeX RDF
12	Pol Labarbarie, Hatem Hajri, Marc Arnaudon	Riemannian data-dependent randomized smoothing for neural networks certification.	CoRR	2022	DBLP DOI BibTeX RDF
12	Leroy Chew, Friedrich Slivovsky	Towards Uniform Certification in QBF.	CoRR	2022	DBLP DOI BibTeX RDF
12	Natarajan Shankar, Devesh Bhatt, Michael D. Ernst, Minyoung Kim, Srivatsan Varadarajan, Suzanne Millstein, Jorge Navas 0003, Jason Biatek, Huascar Sanchez, Anitha Murugesan, Hao Ren 0004	DesCert: Design for Certification.	CoRR	2022	DBLP DOI BibTeX RDF
12	Cheng Tang	On the tightness of linear relaxation based robustness certification methods.	CoRR	2022	DBLP DOI BibTeX RDF
12	Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko	Stratified Certification for k-Induction.	CoRR	2022	DBLP DOI BibTeX RDF
12	William Seymour, Mark Coté, Jose M. Such	When It's Not Worth the Paper It's Written On: A Provocation on the Certification of Skills in the Alexa and Google Assistant Ecosystems.	CoRR	2022	DBLP DOI BibTeX RDF
12	Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra	Translation Certification for Smart Contracts.	CoRR	2022	DBLP BibTeX RDF
12	Guy Blanc, Caleb Koch, Jane Lange, Carmen Strassle, Li-Yang Tan	Certification with an NP Oracle.	CoRR	2022	DBLP DOI BibTeX RDF
12	Frederik Baymler Mathiesen, Simeon C. Calvert, Luca Laurenti	Safety Certification for Stochastic Systems via Neural Barrier Functions.	CoRR	2022	DBLP DOI BibTeX RDF
12	Avinash Agarwal, Harsh Agarwal, Nihaarika Agarwal	Fairness Score and Process Standardization: Framework for Fairness Certification in Artificial Intelligence Systems.	CoRR	2022	DBLP BibTeX RDF
12	Louis Esperet, Sergey Norin	Testability and local certification of monotone properties in minor-closed classes.	CoRR	2022	DBLP BibTeX RDF
12	Zhilu Wang, Chao Huang 0015, Qi Zhu 0002	Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding.	CoRR	2022	DBLP DOI BibTeX RDF
12	Hanjiang Hu, Zuxin Liu, Linyi Li, Jiacheng Zhu, Ding Zhao	Robustness Certification of Visual Perception Models via Camera Motion Smoothing.	CoRR	2022	DBLP DOI BibTeX RDF
12	Sitan Chen, Brice Huang, Jerry Li 0001, Allen Liu	Tight Bounds for Quantum State Certification with Incoherent Measurements.	CoRR	2022	DBLP DOI BibTeX RDF
12	Zhilu Wang, Yixuan Wang 0001, Feisi Fu, Ruochen Jiao, Chao Huang 0015, Wenchao Li 0001, Qi Zhu 0002	A Tool for Neural Network Global Robustness Certification and Training.	CoRR	2022	DBLP DOI BibTeX RDF
12	Shamisa Shoja, Daniel Arnström, Daniel Axehill	Overall Complexity Certification of a Standard Branch and Bound Method for Mixed-Integer Quadratic Programming.	CoRR	2022	DBLP DOI BibTeX RDF
12	Georgios Bakirtzis, Steven Carr, David Danks, Ufuk Topcu	Dynamic Certification for Autonomous Systems.	CoRR	2022	DBLP DOI BibTeX RDF
12	Konstantin Dmitriev, Johann Schumann, Florian Holzapfel	Toward Certification of Machine-Learning Systems for Low Criticality Airborne Applications.	CoRR	2022	DBLP DOI BibTeX RDF
12	Servio Palacios, Aaron Ault, James V. Krogmeier, Bharat K. Bhargava, Christopher G. Brinton	AGAPECert: An Auditable, Generalized, Automated, Privacy-Enabling Certification Framework with Oblivious Smart Contracts.	CoRR	2022	DBLP DOI BibTeX RDF
12	Guy Blanc, Caleb Koch, Jane Lange, Li-Yang Tan	The Query Complexity of Certification.	CoRR	2022	DBLP BibTeX RDF
12	Gavin Zhang, Salar Fattahi, Richard Y. Zhang	Preconditioned Gradient Descent for Overparameterized Nonconvex Burer-Monteiro Factorization with Global Optimality Certification.	CoRR	2022	DBLP DOI BibTeX RDF
12	Brendon G. Anderson, Tanmay Gautam, Somayeh Sojoudi	An Overview and Prospective Outlook on Robust Training and Certification of Machine Learning Models.	CoRR	2022	DBLP DOI BibTeX RDF
12	Jan Schuchardt, Tom Wollschläger, Aleksandar Bojchevski, Stephan Günnemann	Localized Randomized Smoothing for Collective Robustness Certification.	CoRR	2022	DBLP DOI BibTeX RDF
12	Tong Zhao, Ekim Yurtsever, Joel A. Paulson, Giorgio Rizzoni	Automated Vehicle Safety Guarantee, Verification and Certification: A Survey.	CoRR	2022	DBLP BibTeX RDF
12	Sebastian Lins, Theresa Kromat, Julian Löbbers, Alexander Benlian, Ali Sunyaev	Why Don't You Join In? A Typology of Information System Certification Adopters.	Decis. Sci.	2022	DBLP DOI BibTeX RDF
12	Daniel I. Prajogo, Anand Nair, Pavel Castka	The Effects of External Auditors and Certification Bodies on the Operational and Market-Oriented Outcomes of ISO 9001 Implementation.	IEEE Trans. Engineering Management	2022	DBLP DOI BibTeX RDF
12	Radu-Alexandru Dragomir, Adrien B. Taylor, Alexandre d'Aspremont, Jérôme Bolte	Optimal complexity and certification of Bregman first-order methods.	Math. Program.	2022	DBLP DOI BibTeX RDF
12	Debarshi Das, Ananda G. Maity, Debashis Saha, Archan S. Majumdar	Robust certification of arbitrary outcome quantum measurements from temporal correlations.	Quantum	2022	DBLP DOI BibTeX RDF
12	Lata Nautiyal, Awais Rashid, Joseph Hallett, Ben Shreeve, Michael K, Chris Ensor, Catherine H, Jelena Mirkovic, Blair Taylor	The United Kingdom's Cyber Security Degree Certification Program: A Cyber Security Body of Knowledge Case Study.	IEEE Secur. Priv.	2022	DBLP DOI BibTeX RDF
12	Luisa M. Regueras, María Jesús Verdú, Juan Pablo de Castro	A Rule-Based Expert System for Teachers' Certification in the Use of Learning Management Systems.	Int. J. Interact. Multim. Artif. Intell.	2022	DBLP DOI BibTeX RDF
12	Wenqing Wu, Kun Shi 0005, Chia-Huei Wu, Jiayue Liu	Research on the Impact of Information Security Certification and Concealment on Financial Performance: Impact of ISO 27001 and Concealment on Performance.	J. Glob. Inf. Manag.	2022	DBLP DOI BibTeX RDF
12	Jakub J. Borkala, Chellasamy Jebarathinam, Shubhayan Sarkar, Remigiusz Augusiak	Device-Independent Certification of Maximal Randomness from Pure Entangled Two-Qutrit States Using Non-Projective Measurements.	Entropy	2022	DBLP DOI BibTeX RDF
12	Javier Alberto Perez Castán, Luis Perez Sanz, Marta Fernández-Castellano, Tomislav Radisic, Kristina Samardzic, Ivan Tukaric	Learning Assurance Analysis for Further Certification Process of Machine Learning Techniques: Case-Study Air Traffic Conflict Detection Predictor.	Sensors	2022	DBLP DOI BibTeX RDF
12	Timothy Duff, Nickolas Hein, Frank Sottile	Certification for polynomial systems via square subsystems.	J. Symb. Comput.	2022	DBLP DOI BibTeX RDF
12	Cäcilie Kowald, Beate Bruns	Chatbot Maxi: A Virtual Certification Trainer in a Blended-Learning Concept.	Int. J. Adv. Corp. Learn.	2022	DBLP DOI BibTeX RDF
12	Xunan Wang, Jiabin Yuan, Yuqian Zhou, Ying Liu, Lili Fan	Semi-device-independent randomness certification with partially free random sources using $4\rightarrow 1$ quantum random access code.	Quantum Inf. Process.	2022	DBLP DOI BibTeX RDF
12	Ingrid Bauer 0001, José Parra Moyano, Karl Schmedders, Gerhard Schwabe	Multi-Party Certification on Blockchain and Its Impact in the Market for Lemons.	J. Manag. Inf. Syst.	2022	DBLP BibTeX RDF
12	Mohammad Alshehri, Ahmed Alamri, Alexandra I. Cristea	Adopting Automatic Machine Learning for Temporal Prediction of Paid Certification in MOOCs.	AIED (1)	2022	DBLP DOI BibTeX RDF
12	Mohammad Alshehri, Alexandra I. Cristea	MOOCs Paid Certification Prediction Using Students Discussion Forums.	AIED (2)	2022	DBLP DOI BibTeX RDF
12	Athanasios Liatifis, Pedro Ruzafa Alcazar, Panagiotis I. Radoglou-Grammatikis, Dimitrios Papamartzivanos, Sofia-Anna Menesidou, Thomas Krousarlis, Alberto Molinuevo Martín, Iñaki Angulo, Antonios Sarigiannidis, Thomas Lagkas, Vasileios Argyriou, Antonio F. Skarmeta, Panagiotis G. Sarigiannidis	Dynamic Risk Assessment and Certification in the Power Grid: A Collaborative Approach.	NetSoft	2022	DBLP DOI BibTeX RDF
12	Rania Khalsi, Imen Smati, Mallek Mziou-Sallami, Faouzi Ghorbel	A Novel System for Deep Contour Classifiers Certification Under Filtering Attacks.	ICIP	2022	DBLP DOI BibTeX RDF
12	Lucas H. Vicente, Samih Eisa, Miguel L. Pardal	LoCaaS: Location-Certification-as-a-Service.	NCA	2022	DBLP DOI BibTeX RDF
12	Ricardo Grade, Samih Eisa, Miguel L. Pardal	Bluetooth Peer-to-Peer Location Certification with a Gamified Mobile Application.	NCA	2022	DBLP DOI BibTeX RDF
12	Alexandra K. Michota, Nineta Polemi	A Supply Chain Service Cybersecurity Certification Scheme based on the Cybersecurity Act.	CSR	2022	DBLP DOI BibTeX RDF
12	Notis Mengidis, Maya Bozhilova, Cyril Ceresola, Consuelo Assunta Colabuono, Michael Cooke, Grégory Depaix, Angel Genchev, Georgi Koykov, Wim Mees, Matteo Merialdo, Antonis Voulgaridis, Theodora Tsikrika, Konstantinos Votis, Stefanos Vrochidis	Leveraging Cyber Ranges for Prototyping, Certification and Training: The ECHO case.	CSR	2022	DBLP DOI BibTeX RDF
12	Ravi Mangal, Corina S. Pasareanu	A Cascade of Checkers for Run-time Certification of Local Robustness.	NSV/FoMLAS@CAV	2022	DBLP DOI BibTeX RDF
12	Virginia Ardévol Martínez, Marco Caoduro, Laurent Feuilloley, Jonathan Narboni, Pegah Pournajafi, Jean-Florent Raymond	Lower Bound for Constant-Size Local Certification.	SSS	2022	DBLP DOI BibTeX RDF
12	Simon Collart Dutilleul, Anne E. Haxthausen, Thierry Lecomte (eds.)	Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings	RSSRail	2022	DBLP DOI BibTeX RDF
12	Martin Krammer, Clemens Schiffer, Oliver Urspruch, Denis Emorine	Virtual Validation for Certification of Railway Vehicle Braking Performance.	EuroSPI	2022	DBLP DOI BibTeX RDF
12	Zhilu Wang, Chao Huang 0015, Qi Zhu 0002	Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding.	DATE	2022	DBLP DOI BibTeX RDF
12	Kai Lampka, Joel Thurlby, Adam Lackorzynski, Marcus Hähnel	Safety Certification with the Open Source Microkernel-Based Operating System L4Re.	SAFECOMP	2022	DBLP DOI BibTeX RDF
12	Karthik Srinivasa Gopalan, Ankur Bansal, Aniruddh Rao Kabbinale	Tracking Resurgence of Ultra-Wideband - A Standards and Certification Perspective.	COMSNETS	2022	DBLP DOI BibTeX RDF
12	Stavros Koltsios, Nikolaos Katsaros, Nikolaos Mpouzianas, Panagiotis Klonis, Georgios Giannopoulos, Ioannis Pastaltzidis, Panagiota Chatzipanagiotidou, Egle Klumbvte, Andrius Jurelionis, Lina Seduikvte, Phoebe-Zoe Georgali, Paris A. Fokaides, Dimosthenis Ioannidis, Dimitrios Tzovaras	Digital Twin application on next-generation Building Energy Performance Certification scheme.	ISC2	2022	DBLP DOI BibTeX RDF
12	Sepehr Sharifi, Daniel Amyot, John Mylopoulos, Patrick McLaughlin, Ray Feodoroff	Towards Improved Certification of Complex FinTech Systems - A Requirements-based Approach.	RE Workshops	2022	DBLP DOI BibTeX RDF
12	Kaled Aljebur, Mostfa Albdair, Ron Addie	Cybersecurity of a Fact Certification Network.	ITNAC	2022	DBLP DOI BibTeX RDF
12	Sitan Chen, Jerry Li 0001, Brice Huang, Allen Liu	Tight Bounds for Quantum State Certification with Incoherent Measurements.	FOCS	2022	DBLP DOI BibTeX RDF
12	Ákos Milánkovich, Gergely Eberhardt, Dávid Lukács	The AssureMOSS security certification scheme.	ARES	2022	DBLP DOI BibTeX RDF
12	Claudio A. Ardagna, Nicola Bena, Ramon Martín de Pozuelo	Bridging the Gap Between Certification and Software Development.	ARES	2022	DBLP DOI BibTeX RDF
12	Louis Esperet, Sergey Norin	Testability and Local Certification of Monotone Properties in Minor-Closed Classes.	ICALP	2022	DBLP DOI BibTeX RDF
12	Shamisa Shoja, Daniel Arnström, Daniel Axehill	Overall Complexity Certification of a Standard Branch and Bound Method for Mixed-Integer Quadratic Programming.	ACC	2022	DBLP DOI BibTeX RDF
12	Ji Ren, Wencheng Cao	Digital Talent Education Models of "1+X" Certification System Based on National Educational Credit Bank.	DMI	2022	DBLP DOI BibTeX RDF
12	William Seymour, Mark Coté, Jose M. Such	When It's Not Worth the Paper It's Written On: A Provocation on the Certification of Skills in the Alexa and Google Assistant Ecosystems.	CUI	2022	DBLP DOI BibTeX RDF
12	Shamisa Shoja, Daniel Arnström, Daniel Axehill	Exact Complexity Certification of a Standard Branch and Bound Method for Mixed-Integer Linear Programming.	CDC	2022	DBLP DOI BibTeX RDF
12	Daniel Arnström, Daniel Axehill	Lift, Partition, and Project: Parametric Complexity Certification of Active-Set QP Methods in the Presence of Numerical Errors.	CDC	2022	DBLP DOI BibTeX RDF
12	Linda Lovisolo, Gabriella Paoli, Maria Novella Luciani, Gaetano Stefano Scillieri, Mauro Giacomini	Criteria for the Evaluation of Italian Scientific Institutes for Research, Hospitalization and Healthcare (IRCCS): Comparison with European Standards and Certification Models.	EFMI-STC	2022	DBLP DOI BibTeX RDF
12	Noemi Giordano, Samanta Rosati, Marco Knaflitz, Gabriella Balestra	Key Aspects to Teach Medical Device Software Certification.	EFMI-STC	2022	DBLP DOI BibTeX RDF
12	Fotini Setaki, Ioanna Mesogiti, Eleni Theodoropoulou, George L. Lyberopoulos, Harilaos Koumaras, David Artunedo Guillen, Javier Garcia Rodrigo, George Avdikos, Ioannis Margaritis, Emmanouil Kafetzakis, Yiannis Karadimas, Dimitris Tsolkas	The NetApps Certification Environment for 5G and beyond Vertical Ecosystems: The EVOLVED-5G Approach.	GLOBECOM (Workshops)	2022	DBLP DOI BibTeX RDF
12	Hanjiang Hu, Zuxin Liu, Linyi Li, Jiacheng Zhu, Ding Zhao	Robustness Certification of Visual Perception Models via Camera Motion Smoothing.	CoRL	2022	DBLP BibTeX RDF
12	Elva Leka, E. Kordha, K. Hamzallari	Towards an IPFS-Blockchain based Authentication/Management System of Academic Certification in Western Balkans.	MIPRO	2022	DBLP DOI BibTeX RDF
12	Jakob Reckenzaun, Luca Csanady, Arno Eichberger, Alexandre Engelstein, Leander B. Hörmann, Tamás Kiss, Patrick Luley, Matthias Rüther, Stefan Schwarz, Thomas Strasser-Krauss, Selim Solmaz, Gabor Soos, Viktor Tihanyi, Attila Turoczi, Patrick Weissensteiner, Jinwei Zhou	Transnational Testing, Operation and Certification of Automated Driving Systems: Perspective from testEPS and Central System EUREKA Projects.	ICCVE	2022	DBLP DOI BibTeX RDF
12	Nikos Papageorgopoulos, Danai Vergeti, Elena Politi, Dimitris Ntalaperas, Xanthi S. Papageorgiou, Manos Karvounis, Giannis Stoitsis, Braminir Rakic, Milos Kotlar, Simeon Petrov, Antoniy Kunchev	An Agri-Food Data Platform for Food Safety and Certification.	CSCI	2022	DBLP DOI BibTeX RDF
12	Ruoxin Chen, Jie Li 0002, Junchi Yan, Ping Li 0016, Bin Sheng 0001	Input-Specific Robustness Certification for Randomized Smoothing.	AAAI	2022	DBLP DOI BibTeX RDF
12	Virginie Do, Sam Corbett-Davies, Jamal Atif, Nicolas Usunier	Online Certification of Preference-Based Fairness for Personalized Recommender Systems.	AAAI	2022	DBLP DOI BibTeX RDF
12	Guillaume Vidot, Mélanie Ducoffe, Christophe Gabreau, Ileana Ober, Iulian Ober	Formal Monotony Analysis of Neural Networks with Mixed Inputs: An Asset for Certification.	FMICS	2022	DBLP DOI BibTeX RDF
12	Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra	Translation Certification for Smart Contracts.	FLOPS	2022	DBLP DOI BibTeX RDF
12	Yazhuo Li, Zhengyuan Xie, Xi Ye, Xia Liu	Teaching Reform and Achievement Analysis of Course of Digital Electronic Technology under the Background of Engineering Education Certification.	ICETM	2022	DBLP DOI BibTeX RDF
12	Damir Nozica, Tomislav Keser, Damir Blazevic	Communication Technology and Special Certification Convergence in Digital Fishery Reporting: Diverse communication technologies embedded within specially certified devices for maritime harsh environment usage.	MECO	2022	DBLP DOI BibTeX RDF
12	Nicola Franco, Tom Wollschläger, Nicholas Gao, Jeanette Miriam Lorenz, Stephan Günnemann	Quantum Robustness Verification: A Hybrid Quantum-Classical Neural Network Certification Algorithm.	QCE	2022	DBLP DOI BibTeX RDF
12	Kyungjin Lee, Minwoo Lee, Hyeonju Park	A Study on the Factors Affecting the Intention to Adopt of Blockchain-Based Identity Certification Services in the Defense Sector.	BCD	2022	DBLP DOI BibTeX RDF
12	Imen Smati, Rania Khalsi, Mallek Mziou-Sallami, Faouzi Adjed, Faouzi Ghorbel	Integrative System of Deep Classifiers Certification: Case of Convolutional Attacks.	ICAART (Revised Selected Paper	2022	DBLP DOI BibTeX RDF
12	Mallek Mziou-Sallami, Faouzi Adjed	Towards a Certification of Deep Image Classifiers against Convolutional Attacks.	ICAART (2)	2022	DBLP DOI BibTeX RDF
12	Laurent Feuilloley, Nicolas Bousquet, Théo Pierron	What Can Be Certified Compactly? Compact local certification of MSO properties in tree-like graphs.	PODC	2022	DBLP DOI BibTeX RDF
12	Leroy Chew, Friedrich Slivovsky	Towards Uniform Certification in QBF.	STACS	2022	DBLP DOI BibTeX RDF
12	Øyvind Anders Arntzen Toftegaard	An Effect Analysis of ISO/IEC 27001 Certification on Technical Security of Norwegian Grid Operators.	IEEE Big Data	2022	DBLP DOI BibTeX RDF
12	Jing Tao, Hongwei Li, Wei Lv, Xiaoyan Wu	Development of Electromechanical Integration Innovation Experimental Platform Based on Engineering Education Professional Certification.	ICDTE	2022	DBLP DOI BibTeX RDF
12	Oliver Bachtler, Tim Bergner, Sven O. Krumke	Local Certification of Reachability.	INOC	2022	DBLP DOI BibTeX RDF
12	Rodrigo Q. Saramago, Hein Meling, Leander Jehl	A Privacy-Preserving and Transparent Certification System for Digital Credentials.	OPODIS	2022	DBLP DOI BibTeX RDF
12	Paul Ohagen, Sebastian Lins, Scott Thiebes, Ali Sunyaev	Using ChatOps to Achieve Continuous Certification of Cloud Services.	HICSS	2022	DBLP BibTeX RDF
12	Sitan Chen, Jerry Li 0001, Ryan O'Donnell	Toward Instance-Optimal State Certification With Incoherent Measurements.	COLT	2022	DBLP BibTeX RDF
12	Zihang Yin, Yang Liu 0171, Cheng Chi, Juan Tian	Application and Certification Mechanism of Active Identification Carrier in the Industrial Internet.	ISCIT	2022	DBLP DOI BibTeX RDF
12	Vedad Hadzic, Roderick Bloem, Ankit Shukla, Martina Seidl	FERPModels: A Certification Framework for Expansion-Based QBF Solving.	SYNASC	2022	DBLP DOI BibTeX RDF
12	Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko	Stratified Certification for k-Induction.	FMCAD	2022	DBLP DOI BibTeX RDF
12	Pierre Fraigniaud, Pedro Montealegre 0001, Ivan Rapaport, Ioan Todinca	A Meta-Theorem for Distributed Certification.	SIROCCO	2022	DBLP DOI BibTeX RDF
12	Guy Blanc, Caleb Koch, Jane Lange, Li-Yang Tan	The query complexity of certification.	STOC	2022	DBLP DOI BibTeX RDF