Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Apoorva Sharma, Sushant Veer, Asher Hancock, Heng Yang, Marco Pavone, Anirudha Majumdar |
PAC-Bayes Generalization Certificates for Learned Inductive Conformal Prediction. |
NeurIPS |
2023 |
DBLP BibTeX RDF |
|
15 | Gaspard Beugnot, Julien Mairal, Alessandro Rudi |
GloptiNets: Scalable Non-Convex Optimization with Certificates. |
NeurIPS |
2023 |
DBLP BibTeX RDF |
|
15 | Esther Mugdan, Remo Christen, Salomé Eriksson |
Optimality Certificates for Classical Planning. |
ICAPS |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Felix Härer |
Scalable Model-Based Decentralized Applications in the Cloud Using Certificates and Blockchains. |
PKIA |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Songyuan Zhang, Yumeng Xiu, Guannan Qu, Chuchu Fan |
Compositional Neural Certificates for Networked Dynamical Systems. |
L4DC |
2023 |
DBLP BibTeX RDF |
|
15 | Nikola Jovanovic 0001, Mislav Balunovic, Dimitar Iliev Dimitrov, Martin T. Vechev |
FARE: Provably Fair Representation Learning with Practical Certificates. |
ICML |
2023 |
DBLP BibTeX RDF |
|
15 | Matthieu Py, Mohamed Sami Cherif, Djamal Habet |
Proofs and Certificates for Max-SAT (Extended Abstract). |
IJCAI |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Andrew Chi, Brandon Enright, David A. McGrew |
Detecting Weak Keys in Manufacturing Certificates: A Case Study. |
ACSAC |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Zane Ma, Aaron Faulkenberry, Thomas Papastergiou, Zakir Durumeric, Michael D. Bailey, Angelos D. Keromytis, Fabian Monrose, Manos Antonakakis |
Stale TLS Certificates: Investigating Precarious Third-Party Access to Valid TLS Keys. |
IMC |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Manuel Kauers, Christoph Koutschan, Thibaut Verron |
Transcendence Certificates for D-finite Functions. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Filippo Fabiani, Kostas Margellos, Paul J. Goulart |
Probabilistic Stabilizability Certificates for a Class of Black-Box Linear Systems. |
IEEE Control. Syst. Lett. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Pouria Tooranjipour, Bahare Kiumarsi |
Designing Safety Certificates for H∞ Control of Unknown Linear Systems. |
IEEE Control. Syst. Lett. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Vishnu Murali, Ashutosh Trivedi 0001, Majid Zamani 0001 |
A Scenario Approach for Synthesizing k-Inductive Barrier Certificates. |
IEEE Control. Syst. Lett. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Shadi Tasdighi Kalat, Siyuan Liu, Majid Zamani 0001 |
Modular Verification of Opacity for Interconnected Control Systems via Barrier Certificates. |
IEEE Control. Syst. Lett. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Dmitry Chistikov 0001, Rupak Majumdar, Philipp Schepper |
Subcubic certificates for CFL reachability. |
Proc. ACM Program. Lang. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Zi-Yuan Liu, Yi-Fan Tseng, Raylin Tso, Peter Shaojui Wang, Qin-Wen Su |
Extension of elliptic curve Qu-Vanstone certificates and their applications. |
J. Inf. Secur. Appl. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Secil Ercan, Marwane Ayaida, Nadhir Messai |
An enhanced pseudonym certificates distribution mechanism for connected vehicles. |
Int. J. Commun. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Lili Zhang 0003, Guang-Hong Yang |
Secure Adaptive Trajectory Tracking Control for Nonlinear Robot Systems Under Multiple Dynamic Obstacles: Safety Barrier Certificates. |
IEEE Trans. Ind. Electron. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Maryam Zulfiqar, Muhammad Umar Janjua, Muhammad Hassan 0001, Talha Ahmad, Tania Saleem, Jack W. Stokes |
Tracking adoption of revocation and cryptographic features in X.509 certificates. |
Int. J. Inf. Sec. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Rosa Pericàs-Gornals, Macià Mut Puigserver, María Magdalena Payeras Capellà |
Highly private blockchain-based management system for digital COVID-19 certificates. |
Int. J. Inf. Sec. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Haoqiang Jiang, Catherine Chen |
Data Science Skills and Graduate Certificates: A Quantitative Text Analysis. |
J. Comput. Inf. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Maria M. Davis, Dávid Papp |
Dual Certificates and Efficient Rational Sum-of-Squares Decompositions for Polynomial Optimization over Compact Sets. |
SIAM J. Optim. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Marvin Kowalewski, Franziska Herbert, Theodor Schnitzler, Markus Dürmuth |
Proof-of-Vax: Studying User Preferences and Perception of Covid Vaccination Certificates. |
Proc. Priv. Enhancing Technol. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Erukala Suresh Babu, B. K. N. Srinivasarao, Ilaiah Kavati, Mekala Srinivasa Rao |
Verifiable Authentication and Issuance of Academic Certificates Using Permissioned Blockchain Network. |
Int. J. Inf. Secur. Priv. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Yanjun Zuo |
Tokenizing Renewable Energy Certificates (RECs) - A Blockchain Approach for REC Issuance and Trading. |
IEEE Access |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Noura Alnuaimi, Alanoud Almemari, Mohammad Moussa Madine, Khaled Salah 0001, Hamda Al Breiki, Raja Jayaraman |
NFT Certificates and Proof of Delivery for Fine Jewelry and Gemstones. |
IEEE Access |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ana Beduschi |
Taking stock of COVID-19 health status certificates: Legal implications for data privacy and human rights. |
Big Data Soc. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Xiaowu Yang, Xiaoping Fan, Fei Long, Ganrong Li |
Safety control using barrier certificates for multiagent systems with input saturation and formation constraints. |
J. Frankl. Inst. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Charles Dawson 0001, Bethany Lowenkamp, Dylan Goff, Chuchu Fan |
Learning Safe, Generalizable Perception-Based Hybrid Control With Certificates. |
IEEE Robotics Autom. Lett. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Mahathi Anand, Abolfazl Lavaei, Majid Zamani 0001 |
From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems. |
IEEE Trans. Autom. Control. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Zecheng Li, Haotian Wu 0001, Ricky Lap-Hou Lao, Songtao Guo, Yuanyuan Yang 0001, Bin Xiao 0001 |
Pistis: Issuing Trusted and Authorized Certificates With Distributed Ledger and TEE. |
IEEE Trans. Parallel Distributed Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Matthieu Py, Mohamed Sami Cherif, Djamal Habet |
Proofs and Certificates for Max-SAT. |
J. Artif. Intell. Res. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Shachar Lovett, Jiapeng Zhang |
Fractional certificates for bounded functions. |
Electron. Colloquium Comput. Complex. |
2022 |
DBLP BibTeX RDF |
|
15 | Qingye Zhao, Yi Zhang, Xuandong Li |
Safe reinforcement learning for dynamical systems using barrier certificates. |
Connect. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ameneh Nejati, Majid Zamani 0001 |
From Dissipativity Theory to Compositional Construction of Control Barrier Certificates. |
Leibniz Trans. Embed. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Shikun Zhang, Yan Shvartzshnaider, Yuanyuan Feng, Helen Nissenbaum, Norman M. Sadeh |
Stop the Spread: A Contextual Integrity Perspective on the Appropriateness of COVID-19 Vaccination Certificates. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Julien Klaus, Niklas Merk, Konstantin Wiedom, Sören Laue, Joachim Giesen |
Convexity Certificates from Hessians. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Blake E. Woodworth, Francis R. Bach, Alessandro Rudi |
Non-Convex Optimization with Certificates and Fast Rates Through Kernel Sums of Squares. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Haotian Zheng, Haitong Ma, Sifa Zheng, Shengbo Eben Li, Jianqiang Wang 0003 |
Synthesize Efficient Safety Certificates for Learning-Based Safe Control using Magnitude Regularization. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Marcin Nawrocki, Pouyan Fotouhi Tehrani, Raphael Hiesgen, Jonas Mücke, Thomas C. Schmidt, Matthias Wählisch |
On the Interplay between TLS Certificates and QUIC Performance. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Charles Dawson 0001, Bethany Lowenkamp, Dylan Goff, Chuchu Fan |
Learning Safe, Generalizable Perception-based Hybrid Control with Certificates. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
15 | Qiuye Wang, Mingshuai Chen, Bai Xue 0001, Naijun Zhan, Joost-Pieter Katoen |
Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Paul Mangold, Michaël Perrot, Aurélien Bellet, Marc Tommasi |
Fairness Certificates for Differentially Private Classification. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Venkatesan Guruswami, Pravesh K. Kothari, Peter Manohar |
Bypassing the XOR Trick: Stronger Certificates for Hypergraph Clique Number. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Yun Ho Choi, Doik Kim |
Red Light, Green Light Game of Multi-Robot Systems with Safety Barrier Certificates. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
15 | Charles Dawson 0001, Sicun Gao, Chuchu Fan |
Safe Control with Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction methods. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
15 | Marcel Bezdrighin, Michael Elkin, Mohsen Ghaffari 0001, Christoph Grunau, Bernhard Haeupler, Saeed Ilchi, Václav Rozhon |
Deterministic Distributed Sparse and Ultra-Sparse Spanners and Connectivity Certificates. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jan Schuchardt, Stephan Günnemann |
Invariance-Aware Randomized Smoothing Certificates. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Xiongfei Zhao, Yain-Whar Si |
NFTCert: NFT-Based Certificates With Online Payment Gateway. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
15 | Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli |
Safety Barrier Certificates for Stochastic Hybrid Systems. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Rupa Chiramdasu, Divya MidhunChakkarvarthy, Rizwan Patan, Ande Bhanu Prakash, G. S. Pradeep Ghantasala |
Knowledge engineering-based DApp using blockchain technology for protract medical certificates privacy. |
IET Commun. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ngoc Hoang Anh Mai, Jean-Bernard Lasserre, Victor Magron |
Positivity certificates and polynomial optimization on non-compact semialgebraic sets. |
Math. Program. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Telikepalli Kavitha, Tamás Király, Jannik Matuschke, Ildikó Schlotter, Ulrike Schmidt-Kraepelin |
Popular branchings and their dual certificates. |
Math. Program. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Michael Jenkins, Sean Turner |
Secure Object Delivery Protocol (SODP) Server Interfaces: NSA's Profile for Delivery of Certificates, Certificate Revocation Lists (CRLs), and Symmetric Keys to Clients. |
RFC |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Kahn Gillmor |
S/MIME Example Keys and Certificates. |
RFC |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Mohit Sethi, John Preuß Mattsson, Sean Turner |
Handling Large Certificates and Long Certificate Chains in TLS-Based EAP Methods. |
RFC |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Zhaokang Lu, Jianzhu Lu |
Secure and Efficient Implicit Certificates: Improving the Performance for Host Identity Protocol in IoT. |
IACR Cryptol. ePrint Arch. |
2022 |
DBLP BibTeX RDF |
|
15 | Sisi Duan, Haibin Zhang, Xiao Sui, Baohan Huang, Changchun Mu, Gang Di, Xiaoyun Wang |
Byzantine Fault Tolerance from Weak Certificates. |
IACR Cryptol. ePrint Arch. |
2022 |
DBLP BibTeX RDF |
|
15 | Tim Güneysu, Philip W. Hodges, Georg Land, Mike Ounsworth, Douglas Stebila, Greg Zaverucha |
Proof-of-possession for KEM certificates using verifiable generation. |
IACR Cryptol. ePrint Arch. |
2022 |
DBLP BibTeX RDF |
|
15 | Raphaëlle Toubiana, Millie Macdonald, Sivananda Rajananda, Tale Lokvenec, Thomas C. Kingsley, Santiago Romero-Brufau |
Blockchain for Electronic Vaccine Certificates: More Cons Than Pros? |
Frontiers Big Data |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Nader Motee, Qiyu Sun |
Localized Stability Certificates for Spatially Distributed Systems over Sparse Proximity Graphs. |
SIAM J. Control. Optim. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Amin Gholami, Xu Andy Sun |
Stability of Multimicrogrids: New Certificates, Distributed Control, and Braess's Paradox. |
IEEE Trans. Control. Netw. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Isabel Coutinho, Bruno Martins 0001 |
Transformer-based models for ICD-10 coding of death certificates with Portuguese text. |
J. Biomed. Informatics |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Tareq Hamadneh, Ibraheem Abu-Falahah, Mohammad Alqudah |
Numerical optimization and positivity certificates for polynomials and rationals over simplices. |
J. Comput. Appl. Math. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Qiuye Wang, Mingshuai Chen, Bai Xue 0001, Naijun Zhan, Joost-Pieter Katoen |
Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming. |
Inf. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Amal Abid 0002, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel |
NovidChain: Blockchain-based privacy-preserving platform for COVID-19 test/vaccine certificates. |
Softw. Pract. Exp. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ahmad Samer Wazan, Romain Laborde, David W. Chadwick, Rémi Venant, Abdelmalek Benzekri, Eddie Billoir, Omar Alfandi |
On the Validation of Web X.509 Certificates by TLS Interception Products. |
IEEE Trans. Dependable Secur. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Marcos A. Simplício Jr., Eduardo Lopes Cominetti, Marcos Vinicius Maciel da Silva |
Message verification with ECDSA: ECVQ vs SIMPL certificates. |
|
2022 |
DOI RDF |
|
15 | Haoran Ma |
Research on the Impact of Cancelling the linkage between Bachelor Degree Certificates and with CET-4 Score: - - Take Tianjin Agricultural University as an Example. |
ICBDE |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Abdulrahman Alabduljabbar, Runyu Ma, Soohyeon Choi, Rhongho Jang, Songqing Chen, David Mohaisen |
Understanding the Security of Free Content Websites by Analyzing their SSL Certificates: A Comparative Study. |
CySSS@AsiaCCS |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Tim Güneysu, Philip W. Hodges, Georg Land, Mike Ounsworth, Douglas Stebila, Greg Zaverucha |
Proof-of-Possession for KEM Certificates using Verifiable Generation. |
CCS |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Dorde Zikelic |
Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs. |
CAV (1) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Marc Fischer 0002, Christian Sprecher, Dimitar I. Dimitrov, Gagandeep Singh 0001, Martin T. Vechev |
Shared Certificates for Neural Network Verification. |
CAV (1) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Pouria Tooranjipour, Bahare Kiumarsi |
Constructing Safety Barrier Certificates for Unknown Linear Optimal Control Systems. |
ICCA |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Harry Halpin |
A Critique of EU Digital COVID-19 Certificates: Do Vaccine Passports Endanger Privacy? |
ARES |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli |
Safety Barrier Certificates for Stochastic Hybrid Systems. |
ACC |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Mahathi Anand, Vishnu Murali, Ashutosh Trivedi 0001, Majid Zamani 0001 |
k-Inductive Barrier Certificates for Stochastic Systems. |
HSCC |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Shadi Tasdighi Kalat, Siyuan Liu, Majid Zamani 0001 |
Verification of approximate infinite-step opacity using barrier certificates. |
ECC |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Guangshen Cheng, Jiankuo Dong, Xinyi Ji, Bingyu Li, Haoling Fan, Pinchang Zhang |
PEPEC: Precomputed ECC Points Embedded in Certificates and Verified by CT Log Servers. |
ACNS Workshops |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Muhammad Ali Al-Radhawi |
Graphical Construction of Stability Certificates for Biomolecular Interaction Networks. |
CDC |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Shahriar Talebi, Mehran Mesbahi |
Riemannian Constrained Policy Optimization via Geometric Stability Certificates∗. |
CDC |
2022 |
DBLP DOI BibTeX RDF |
|
15 | James Conners, Corey Devenport, Stephen Derbidge, Natalie Farnsworth, Kyler Gates, Stephen Lambert, Christopher McClain, Parker Nichols, Daniel Zappala |
Let's Authenticate: Automated Certificates for User Authentication. |
NDSS |
2022 |
DBLP BibTeX RDF |
|
15 | Wei-Tek Tsai, Weijing Xiang, Shuai Wang, Enyan Deng |
A New Digital-Currency Model Based on Certificates. |
SmartCom |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Fikret Basic, Christian Steger, Robert Kofler |
Poster: Establishing Dynamic Secure Sessions for Intra-Vehicle Communication Using Implicit Certificates. |
EWSN |
2022 |
DBLP BibTeX RDF |
|
15 | Leysan Nurgalieva, Seamus Ryan, Andreas Balaskas, Janne Lindqvist, Gavin Doherty |
Public Views on Digital COVID-19 Certificates: a Mixed Methods User Study. |
CHI |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Marcin Nawrocki, Pouyan Fotouhi Tehrani, Raphael Hiesgen, Jonas Mücke, Thomas C. Schmidt, Matthias Wählisch |
On the interplay between TLS certificates and QUIC performance. |
CoNEXT |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Franziska Herbert, Marvin Kowalewski, Theodor Schnitzler, Leona Lassak, Markus Dürmuth |
"Fast, Easy, Convenient." Studying Adoption and Perception of Digital Covid Certificates. |
SOUPS @ USENIX Security Symposium |
2022 |
DBLP BibTeX RDF |
|
15 | Sajad Homayoun, Kaspar Hageman, Sam Afzal-Houshmand, Christian Damsgaard Jensen, Jens Myrup Pedersen |
Detecting Ambiguous Phishing Certificates using Machine Learning. |
ICOIN |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Julien Klaus, Niklas Merk, Konstantin Wiedom, Sören Laue, Joachim Giesen |
Convexity Certificates from Hessians. |
NeurIPS |
2022 |
DBLP BibTeX RDF |
|
15 | Yan Scholten, Jan Schuchardt, Simon Geisler, Aleksandar Bojchevski, Stephan Günnemann |
Randomized Message-Interception Smoothing: Gray-box Certificates for Graph Neural Networks. |
NeurIPS |
2022 |
DBLP BibTeX RDF |
|
15 | Jan Schuchardt, Stephan Günnemann |
Invariance-Aware Randomized Smoothing Certificates. |
NeurIPS |
2022 |
DBLP BibTeX RDF |
|
15 | Blake E. Woodworth, Francis R. Bach, Alessandro Rudi |
Non-Convex Optimization with Certificates and Fast Rates Through Kernel Sums of Squares. |
COLT |
2022 |
DBLP BibTeX RDF |
|
15 | Venkatesan Guruswami, Pravesh K. Kothari, Peter Manohar |
Algorithms and certificates for Boolean CSP refutation: smoothed is no harder than random. |
STOC |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Charalampos Bampalas, Konstantinos Rantos |
Blockchain-based vaccination certificates management. |
PCI |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Venkatesan Guruswami, Pravesh K. Kothari, Peter Manohar |
Bypassing the XOR Trick: Stronger Certificates for Hypergraph Clique Number. |
APPROX/RANDOM |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Shikun Zhang, Yan Shvartzshnaider, Yuanyuan Feng, Helen Nissenbaum, Norman Sadeh 0001 |
Stop the Spread: A Contextual Integrity Perspective on the Appropriateness of COVID-19 Vaccination Certificates. |
FAccT |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Diogo Melim, António Trigo |
EduCert - Blockchain-Based Management Information System for Issuing and Validating Academic Certificates. |
EMCIS |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Tzung-Pei Hong, Wei-Chou Chen, Chih-Hung Wu, Bo-Wen Xiao, Bing-Yang Chiang, Zhi-Xun Shen |
Information Extraction and Analysis on Certificates and Medical Receipts. |
ICCE |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Saber Jafarpour, Matthew Abate, Alexander Davydov 0001, Francesco Bullo, Samuel Coogan 0001 |
Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach. |
L4DC |
2022 |
DBLP BibTeX RDF |
|
15 | Ameneh Nejati, Bingzhuo Zhong, Marco Caccamo, Majid Zamani 0001 |
Data-Driven Controller Synthesis of Unknown Nonlinear Polynomial Systems via Control Barrier Certificates. |
L4DC |
2022 |
DBLP BibTeX RDF |
|