|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1529 occurrences of 882 keywords
|
|
|
Results
Found 3119 publication records. Showing 3119 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|
|
|