Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Thomas D. Hedberg, Sylvère Krima, Jaime A. Camelio |
Embedding X.509 Digital Certificates in Three-Dimensional Models for Authentication, Authorization, and Traceability of Product Data. |
J. Comput. Inf. Sci. Eng. |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Marius Korsnes, Marianne Ryghaug |
With license to build: Chinese offshore wind firms rejecting European certificates. |
Technol. Anal. Strateg. Manag. |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Simone Formentin, Fabrizio Dabbene, Roberto Tempo, Luca Zaccarian, Sergio M. Savaresi |
Robust Linear Static Anti-Windup With Probabilistic Certificates. |
IEEE Trans. Autom. Control. |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Amir Ali Ahmadi, Pablo A. Parrilo |
Sum of Squares Certificates for Stability of Planar, Homogeneous, and Switched Systems. |
IEEE Trans. Autom. Control. |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Loukas Georgiadis, Giuseppe F. Italiano, Aikaterini Karanasiou, Charis Papadopoulos, Nikos Parotsidis |
Sparse certificates for 2-connectivity in directed graphs. |
Theor. Comput. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Amitabh Basu, Michele Conforti, Gérard Cornuéjols, Robert Weismantel, Stefan Weltge |
Optimality certificates for convex minimization and Helly numbers. |
Oper. Res. Lett. |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Li Wang 0050, Aaron D. Ames, Magnus Egerstedt |
Safety Barrier Certificates for Collisions-Free Multirobot Systems. |
IEEE Trans. Robotics |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Chao Huang 0015, Xin Chen 0027, Wang Lin, Zhengfeng Yang, Xuandong Li |
Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates. |
ACM Trans. Embed. Comput. Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Adolfo R. Escobedo, Erick Moreno-Centeno |
Roundoff-Error-Free Basis Updates of LU Factorizations for the Efficient Validation of Optimality Certificates. |
SIAM J. Matrix Anal. Appl. |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Hannes Fendl, Arnold Neumaier, Hermann Schichl |
Certificates of infeasibility via nonsmooth optimization. |
J. Glob. Optim. |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Li Wang 0050, Evangelos A. Theodorou, Magnus Egerstedt |
Safe Learning of Quadrotor Dynamics Using Barrier Certificates. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
15 | Elena Tutubalina, Zulfat Miftahutdinov |
An Encoder-Decoder Model for ICD-10 Coding of Death Certificates. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
15 | Amir Ali Ahmadi, Georgina Hall |
On the construction of converging hierarchies for polynomial optimization based on certificates of global positivity. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
15 | Jean-Guillaume Dumas, David Lucas 0001, Clément Pernet |
Certificates for triangular equivalence and rank profiles. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
15 | Kim Peter Wabersich, Melanie N. Zeilinger |
Scalable synthesis of safety certificates from data with application to learning-based control. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
15 | Stefan Ratschan |
Simulation Based Computation of Certificates for Safety of Dynamical Systems. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
15 | Stefan Ratschan |
A Robust Finite-Time Converse Theorem for Inductive Safety Certificates of Ordinary Differential Equations. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
15 | Hadi Ravanbakhsh, Sriram Sankaranarayanan 0001 |
A Class of Control Certificates to Ensure Reach-While-Stay for Switched Systems. |
SYNT@CAV |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Chris McEniry |
Golang: Creating and Using Certificates with TLS. |
login Usenix Mag. |
2017 |
DBLP BibTeX RDF |
|
15 | Paul E. Hoffman, Jakob Schlyter |
Using Secure DNS to Associate Certificates with Domain Names for S/MIME. |
RFC |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Mark C. Reynolds, Sean Turner, Stephen T. Kent |
A Profile for BGPsec Router Certificates, Certificate Revocation Lists, and Certification Requests. |
RFC |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Sanjit Chatterjee, Deepak Garg 0001, Aniket Kate, Tobias Theobald |
Encrypting Messages for Incomplete Chains of Certificates. |
IACR Cryptol. ePrint Arch. |
2017 |
DBLP BibTeX RDF |
|
15 | Liyun Dai, Ting Gan, Bican Xia, Naijun Zhan |
Barrier certificates revisited. |
J. Symb. Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Tomasz Hyla, Jerzy Pejas |
A Hess-Like Signature Scheme Based on Implicit and Explicit Certificates. |
Comput. J. |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Edouard Pauwels, Didier Henrion, Jean-Bernard Lasserre |
Positivity Certificates in Optimal Control. |
Geometric and Numerical Foundations of Movements |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Mingxin Cui, Zigang Cao, Gang Xiong 0001, Junzheng Shi |
POSTER: A Comprehensive Study of Forged Certificates in the Wild. |
CCS |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Ronald Bieber, Klaus Höckner, Gabriele Sauberer |
Accessible Information and Accessibility Through ICT: A Mega Trend Creates the Need for Quality Certificates for Web Accessibility Professionals in Europe and Beyond. |
EuroSPI |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Shalev Ben-David, Pooya Hatami, Avishay Tal |
Low-Sensitivity Functions from Unambiguous Certificates. |
ITCS |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Junxing Yang, Md. Ariful Islam, Abhishek Murthy, Scott A. Smolka, Scott D. Stoller |
A Simplex Architecture for Hybrid Systems Using Barrier Certificates. |
SAFECOMP |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Evelina Di Corso, Tania Cerquitelli, Marco Savino Piscitelli, Alfonso Capozzoli |
Exploring Energy Certificates of Buildings through Unsupervised Data Mining Techniques. |
iThings/GreenCom/CPSCom/SmartData |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Wided Boubakri, Walid Abdallah, Noureddine Boudriga |
Access control in 5G communication networks using simple PKI certificates. |
IWCMC |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Michael Rossberg, Markus Theil |
Secure Enrollment of Certificates Using Short PINs. |
ARES |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Ana Alice Baptista, Sara Catarina Silva |
Metadata for the Certificates of Energy Efficiency of Buildings in Smart Cities. |
Dublin Core Conference |
2017 |
DBLP BibTeX RDF |
|
15 | Badis Hammi, Jean Philippe Monteuuis, Eduardo Salles Daniel, Houda Labiod |
ASN.1 Specification for ETSI Certificates and Encoding Performance Study. |
MDM |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Alexey Rabin, Ehud Gudes |
Secure Protocol of ABAC Certificates Revocation and Delegation. |
FPS |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Riccardo Longo, Federico Pintore, Giancarlo Rinaldo, Massimiliano Sala |
On the security of the blockchain BIX protocol and certificates. |
CyCon |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Zulfat Miftahutdinov, Elena Tutubalina |
KFU at CLEF eHealth 2017 Task 1: ICD-10 Coding of English Death Certificates with Recurrent Neural Networks. |
CLEF (Working Notes) |
2017 |
DBLP BibTeX RDF |
|
15 | Pierre Zweigenbaum, Thomas Lavergne |
Multiple Methods for Multi-class, Multi-label ICD-10 Coding of Multi-granularity, Multilingual Death Certificates. |
CLEF (Working Notes) |
2017 |
DBLP BibTeX RDF |
|
15 | Andon Tchechmedjiev, Amine Abdaoui, Vincent Emonet, Clément Jonquet |
ICD10 Coding of Death Certificates with the NCBO and SIFR Annotator(s) at CLEF eHealth 2017 Task 1. |
CLEF (Working Notes) |
2017 |
DBLP BibTeX RDF |
|
15 | Mike Ebersbach, Robert Herms, Maximilian Eibl |
Fusion Methods for ICD10 Code Classification of Death Certificates in Multilingual Corpora. |
CLEF (Working Notes) |
2017 |
DBLP BibTeX RDF |
|
15 | Aurélie Névéol, Aude Robert, Robert Anderson, Kevin Bretonnel Cohen, Cyril Grouin, Thomas Lavergne, Grégoire Rey, Claire Rondet, Pierre Zweigenbaum |
CLEF eHealth 2017 Multilingual Information Extraction task Overview: ICD10 Coding of Death Certificates in English and French. |
CLEF (Working Notes) |
2017 |
DBLP BibTeX RDF |
|
15 | Jitendra Jonnagaddala, Feiyan Hu |
Automatic Coding of Death Certificates to ICD-10 Terminology. |
CLEF (Working Notes) |
2017 |
DBLP BibTeX RDF |
|
15 | Tomasz Hyla, Jerzy Pejas |
A Signature Scheme Based on Implicit and Explicit Certificates Against k-Traitors Collusion Attack. |
CISIM |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Yu-Hao Hsu, Fuchun Joseph Lin |
Preventing Misuse of Duplicate Certificates in IoT/M2M Systems. |
ICCCN |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Ahto Buldas, Aleksandr Lenin, Jan Willemson, Anton Charnamord |
Simple Infeasibility Certificates for Attack Trees. |
IWSEC |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Giorgio Maria Di Nunzio, Federica Beghini, Federica Vezzani, Geneviève Henrot |
A Reproducible Approach with R Markdown to Automatic Classification of Medical Certificates in French. |
CLiC-it |
2017 |
DBLP BibTeX RDF |
|
15 | Frédéric Gilbert 0002 |
Proof Certificates in PVS. |
ITP |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Imane Allaouzi, Mohamed Ben Ahmed |
Multi-label Categorization of French Death Certificates using NLP and Machine Learning. |
BDCA |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Francisco J. Duarte, Bruno Martins 0001, Cátia Sousa Pinto, Mário J. Silva |
A Deep Learning Method for ICD-10 Coding of Free-Text Death Certificates. |
EPIA |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Vijay Bhattiprolu, Venkatesan Guruswami, Euiwoong Lee |
Sum-of-Squares Certificates for Maxima of Random Tensors on the Sphere. |
APPROX-RANDOM |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Salomé Eriksson, Gabriele Röger, Malte Helmert |
Unsolvability Certificates for Classical Planning. |
ICAPS |
2017 |
DBLP BibTeX RDF |
|
15 | Filip Forsby, Martin Furuhed, Panos Papadimitratos, Shahid Raza |
Lightweight X.509 Digital Certificates for the Internet of Things. |
InterIoT/SaSeIoT |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Thomas Friedl, Henning Schneider, Miloslava Plachkinova |
Development of a Platform-Independent Software Tool for Management of X.509 Certificates from Diverse Certificate Stores. |
DASC/PiCom/DataCom/CyberSciTech |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Badis Hammi, Jean Philippe Monteuuis, Houda Labiod, Rida Khatoun, Ahmed Serhrouchni |
Using butterfly keys: A performance study of pseudonym certificates requests in C-ITS. |
CSNet |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Fei Jiang, Liang-Jie Zhang, Huan Chen 0007 |
Automated Image Quality Assessment for Certificates and Bills. |
ICCC |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Stefan Ratschan |
Simulation Based Computation of Certificates for Safety of Dynamical Systems. |
FORMATS |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Jean-Guillaume Dumas, David Lucas 0001, Clément Pernet |
Certificates for Triangular Equivalence and Rank Profiles. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Roberto Blanco Martínez |
Applications of Foundational Proof Certificates in theorem proving. (Applications des Certificats de Preuve Fondamentaux à la démonstration automatique de théorèmes). |
|
2017 |
RDF |
|
15 | Adel Djaballah |
Computation of barrier certificates for dynamical hybrids systems using interval analysis. (Calcul par analyse intervalle de certificats de barrière pour les systèmes dynamiques hybrides). |
|
2017 |
RDF |
|
15 | Bo Li, Benjamin Lowenstein, Mohamed Omar |
Low Degree Nullstellensatz Certificates for 3-Colorability. |
Electron. J. Comb. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Zheng Dong, Kevin Kane, L. Jean Camp |
Detection of Rogue Certificates from Trusted Certificate Authorities Using Deep Neural Networks. |
ACM Trans. Priv. Secur. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Kevin K. H. Cheung, Babak Moazzez |
Certificates of Optimality for Mixed Integer Linear Programming Using Generalized Subadditive Generator Functions. |
Adv. Oper. Res. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Jungho Kang, Hague Chung, Jeong Kyu Lee, Jong Hyuk Park |
The Design and Analysis of a Secure Personal Healthcare System Based on Certificates. |
Symmetry |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Kai Kellner, Thorsten Theobald |
Sum of Squares Certificates for Containment of H-Polytopes in V-Polytopes. |
SIAM J. Discret. Math. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Tichakorn Wongpiromsarn, Ufuk Topcu, Andrew G. Lamperski |
Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems. |
IEEE Trans. Autom. Control. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Valeriy Balabanov, Shuo-Ren Lin, Jie-Hong R. Jiang |
Flexibility and Optimization of QBF Skolem-Herbrand Certificates. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Shalev Ben-David |
Low-Sensitivity Functions from Unambiguous Certificates. |
Electron. Colloquium Comput. Complex. |
2016 |
DBLP BibTeX RDF |
|
15 | Alexey G. Busygin, Artem S. Konoplev, Maxim O. Kalinin |
Approaches to protection of applications based on the TLS protocol against attacks using revoked certificates. |
Autom. Control. Comput. Sci. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Sefa Demirtas |
Minimax Design of Nonlinear Phase FIR Filters with Optimality Certificates. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
15 | Riccardo Longo, Federico Pintore, Giancarlo Rinaldo, Massimiliano Sala |
On the security of the Blockchain Bix Protocol and Certificates. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
15 | Li Wang 0050, Aaron D. Ames, Magnus Egerstedt |
Safety Barrier Certificates for Heterogeneous Multi-Robot Systems. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
15 | Shalev Ben-David |
Low-Sensitivity Functions from Unambiguous Certificates. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
15 | Jean-Guillaume Dumas, Erich L. Kaltofen, Emmanuel Thomé, Gilles Villard |
Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
15 | Celestine Dünner, Simone Forte, Martin Takác 0001, Martin Jaggi |
Primal-Dual Rates and Certificates. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
15 | Jean-Charles Faugère, Pierre-Jean Spaenlehauer, Jules Svartz |
Computing Small Certificates of Inconsistency of Quadratic Fewnomial Systems. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
15 | Shivkumar Selvakumaraswamy, Umamaheswari Govindaswamy |
Efficient transmission of PKI certificates using elliptic curve cryptography and its variants. |
Int. Arab J. Inf. Technol. |
2016 |
DBLP BibTeX RDF |
|
15 | Tobias Heer, Samu Varjonen |
Host Identity Protocol Certificates. |
RFC |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Wen Tao Zhu, Jingqiang Lin |
Generating Correlated Digital Certificates: Framework and Applications. |
IEEE Trans. Inf. Forensics Secur. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Eric R. Verheul |
Activate Later Certificates for V2X - Combining ITS efficiency with privacy. |
IACR Cryptol. ePrint Arch. |
2016 |
DBLP BibTeX RDF |
|
15 | Joshua Bialkowski, Michael W. Otte, Sertac Karaman, Emilio Frazzoli |
Efficient collision checking in sampling-based motion planning via safety certificates. |
Int. J. Robotics Res. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Shahidatul Sadiah, Toru Nakanishi 0001 |
Reduction of certificates in an anonymous credential system with proofs for monotone formulas on attributes. |
ICCE-TW |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Duy An Ha, Kha Tho Nguyen, John K. Zao |
Efficient authentication of resource-constrained IoT devices based on ECQV implicit certificates and datagram transport layer security protocol. |
SoICT |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Omar Alrawi, Aziz Mohaisen |
Chains of Distrust: Towards Understanding Certificates Used for Signing Malicious Applications. |
WWW (Companion Volume) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Zhengfeng Yang, Chao Huang 0015, Xin Chen 0027, Wang Lin, Zhiming Liu 0001 |
A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems. |
FM |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Thaís Bardini Idalino, Marina Coelho, Jean Everson Martina |
Automated Issuance of Digital Certificates through the Use of Federations. |
ARES |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Li Wang 0050, Aaron D. Ames, Magnus Egerstedt |
Safety barrier certificates for heterogeneous multi-robot systems. |
ACC |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Pierre Zweigenbaum, Thomas Lavergne |
Hybrid methods for ICD-10 coding of death certificates. |
Louhi@EMNLP |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Zakia El Uahhabi, Hanan El Bakkali |
An approach for evaluating trust in X.509 certificates. |
ICITST |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Nader Motee, Qiyu Sun |
Localized stability certificates for spatially distributed systems. |
CDC |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Varsharani Hawanna, Vrushali Y. Kulkarni, Rashmi Rane, Pooja Joshi |
Risk Evaluation of X.509 Certificates - A Machine Learning Application. |
ICISS |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Hee-Yong Kwon, Mun-Kyu Lee |
Fast Signature Verification with Shared Implicit Certificates for Vehicular Communication. |
BWCCA |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Xia Zeng, Wang Lin, Zhengfeng Yang, Xin Chen 0027, Lilei Wang |
Darboux-type barrier certificates for safety verification of nonlinear hybrid systems. |
EMSOFT |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Antonino Sferlazza, Luca Zaccarian |
Linear flux observers for induction motors with quadratic Lyapunov certificates. |
ISIE |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Mohamed Dermouche, Vincent Looten, Rémi Flicoteaux, Sylvie Chevret, Julien Velcin, Namik Taright |
ECSTRA-INSERM @ CLEF eHealth2016-task 2: ICD10 Code Extraction from Death Certificates. |
CLEF (Working Notes) |
2016 |
DBLP BibTeX RDF |
|
15 | Thomas Lavergne, Aurélie Névéol, Aude Robert, Cyril Grouin, Grégoire Rey, Pierre Zweigenbaum |
A Dataset for ICD-10 Coding of Death Certificates: Creation and Usage. |
BioTxtM@COLING 2016 |
2016 |
DBLP BibTeX RDF |
|
15 | Nathan Fulton, André Platzer |
A logic of proofs for differential dynamic logic: toward independently checkable proof certificates for dynamic logics. |
CPP |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Alain Mebsout, Cesare Tinelli |
Proof certificates for SMT-based model checkers for infinite-state systems. |
FMCAD |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Bryan Parno |
Cinderella: Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation. |
IEEE Symposium on Security and Privacy |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Celestine Dünner, Simone Forte, Martin Takác 0001, Martin Jaggi |
Primal-Dual Rates and Certificates. |
ICML |
2016 |
DBLP BibTeX RDF |
|
15 | Taejoong Chung, Yabing Liu, David R. Choffnes, Dave Levin, Bruce MacDowell Maggs, Alan Mislove, Christo Wilson |
Measuring and Applying Invalid SSL Certificates: The Silent Majority. |
Internet Measurement Conference |
2016 |
DBLP BibTeX RDF |
|