|
|
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 | Nan Guo, Ruiqi Li |
Research of knowledge graph product certification index system and its practice analysis. |
PCCNT |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Nicolò Fassina, Francesco Ranzato, Marco Zanella |
Robustness Certification of k-Nearest Neighbors. |
ICDM |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ming-Tsun Chen |
A study of the influence of introduction of block chain into traceability certification on consumer's acceptance of smart agriculture. |
ICCE-Taiwan |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Birgit Milius, Simon Collart Dutilleul, Thierry Lecomte (eds.) |
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings |
RSSRail |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Marco Anisetti, Claudio A. Ardagna, Nicola Bena |
Continuous Certification of Non-functional Properties Across System Changes. |
ICSOC (1) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Paul Cuddihy, Daniel Russell, Eric Mertens, Kit Siu, David W. Archer, Jenny Williams |
Aviation Certification Powered by the Semantic Web Stack. |
ISWC |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Aysegül Ünal, Taner Özdemir |
Challenges in Certification of ISO/IEC 15504 Level 2 for Software for Railway Control and Protection Systems. |
EuroSPI (2) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Alexander Ziegler, Thomas Peisl, Alev Ates |
The Future of Agile Coaches: Do Large Companies Need a Standardized Agile Coach Certification and What Are the Alternatives? |
EuroSPI (2) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Guy Blanc, Caleb Koch, Jane Lange, Carmen Strassle, Li-Yang Tan |
Certification with an NP Oracle. |
ITCS |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Marina Gardella, Pablo Musé, Miguel Colom, Jean-Michel Morel, Denis Perraud |
PRNU-Based Source Camera Statistical Certification. |
WIFS |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Christian Banse, Immanuel Kunz, Nico Haas, Angelika Schneider |
A Semantic Evidence-based Approach to Continuous Cloud Service Certification. |
SAC |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Robert Susik, Robert Nowotniak, Emanuel Kulczycki |
Blockchain-based certification of research outputs and academic achievements: A case of scientific conference. |
FedCSIS (Communication Papers) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Marta Kwiatkowska, Xiyue Zhang |
When to Trust AI: Advances and Challenges for Certification of Neural Networks. |
FedCSIS |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Dasa Kusniráková, Barbora Buhnova |
Rethinking Certification for Higher Trust and Ethical Safeguarding of Autonomous Systems. |
ENASE |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Fuqun Huang, Bing Huang, Yikun Wang, Yichen Wang |
A Taxonomy of Software Defect Forms for Certification Tests in Aviation Industry. |
SAFECOMP |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Rigo Wenning |
The Certification Panacea. |
SECRYPT |
2023 |
DBLP BibTeX RDF |
|
12 | Tushar Sharma, Anurag Pandey 0003, Sumita Gupta |
A Blockchain Approach for Securing Certification Management System. |
IC3I |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Manuel Boi, Andrea Pinna 0002, Maria Ilaria Lunesu |
Blockchain oracles for document certification: A case study. |
SANER |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Shuangshuang Ying |
Research on the Construction of the Curriculum System of "Post-Certification Course Integration" in Higher Vocational Accounting Major under the Background of "Big Data Intelligent Mobile Cloud". |
ICSLT |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jacob Bond, Siddhartha Gupta, Thanura R. Elvitigala |
Probabilistic Local Equivalence Certification for Robustness Evaluation. |
ISVC (1) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Zamira Daw, Scott Beecher |
Assuring safety in a flexible aerospace certification - Lessons learned on applying OPs at the system level -. |
SysCon |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Shamisa Shoja, Daniel Axehill |
Exact Complexity Certification of Start Heuristics in Branch-and-Bound Methods for Mixed-Integer Linear Programming. |
CDC |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Yuanyuan Yuan, Shuai Wang 0011, Zhendong Su 0001 |
Precise and Generalized Robustness Certification for Neural Networks. |
USENIX Security Symposium |
2023 |
DBLP BibTeX RDF |
|
12 | Huaqing Shao, Lanjun Wang, Junchi Yan |
Robustness Certification for Structured Prediction with General Inputs via Safe Region Modeling in the Semimetric Output Space. |
KDD |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Kai Wang, Zhiliang Wang, Dongqi Han, Wenqi Chen, Jiahai Yang 0001, Xingang Shi, Xia Yin |
BARS: Local Robustness Certification for Deep Learning based Traffic Analysis Systems. |
NDSS |
2023 |
DBLP BibTeX RDF |
|
12 | Mark Brommeyer, Jen Bichel-Findlay, Tanija Tarabay, Louise K. Schaper, David O'Driscoll, Kerryn Butler-Henderson |
The Australian Health Informatics Competency Framework: Conceptual Design, Framework Development, and Certification Delivery. |
MedInfo |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Pierre Fraigniaud, Frédéric Mazoit, Pedro Montealegre 0001, Ivan Rapaport, Ioan Todinca |
Distributed Certification for Classes of Dense Graphs. |
DISC |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Riccardo Petracci, Rosario Culmone, Leonardo Mostarda |
Blockchain Application for Fish Origin Certification. |
BWCCA |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Nicolas Scharowski, Michaela Benk, Swen J. Kühne, Léane Wettstein, Florian Brühlmann |
Certification Labels for Trustworthy AI. |
EWAF |
2023 |
DBLP BibTeX RDF |
|
12 | Maria Ilaria Lunesu, Roberto Tonelli, Andrea Pinna 0002, Simone Sansoni |
Soulbound Token for Covid-19 Vaccination Certification. |
PerCom Workshops |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Tanvir Ahmed Aadeef, Md Fahad Monir, Sanzar Adnan Alam |
Educational Certification on Ethereum blockchain: Analysis on How BCert and UZHBC differ. |
EUROCON |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Rui Huang, Joanne R. Barrett, Carla Strickland, Maya Israel, Lauren R. Weisberg, Andrea Ramirez Salgado |
Transitioning into CS Ed: An Inclusive Model for In-Service Teacher Preparation and Certification. |
SIGCSE (2) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Dmitry Namiot, Manfred Sneps-Sneppe |
On Audit and Certification of Machine Learning Systems. |
FRUCT |
2023 |
DBLP BibTeX RDF |
|
12 | Kaoutar Smahi, Ouidad Labouidya, Khalid E. L. Khadiri |
Online certification training: Quality and assessment. |
CiSt |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Grzegorz Szyjewski |
Implementation of a hybrid certificate approach: enhancing efficiency and credibility in ICDL certification process. |
KES |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Valeria Lukaj, Francesco Martella, Maria Fazio, Antonino Galletta, Antonio Celesti, Massimo Villari |
Gateway-Based Certification Approach to Include IoT Nodes in a Trusted Edge/Cloud Environment. |
CCGridW |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Sagar Pathrudkar, Saadhana Venkataraman, Deepika Kanade, Aswin Ajayan, Palash Gupta, Shehzaman Salim Khatib, Vijaya Sarathi Indla, Saikat Mukherjee |
SAFR-AV: Safety Analysis of Autonomous Vehicles Using Real World Data: An End-to-End Solution for Real World Data Driven Scenario-Based Testing for Pre-Certification of AV Stacks. |
VEHITS |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Dianadewi Riswantini, Ekasari Nugraheni, Andria Arisal, Purnomo Husnul Khotimah, Wiwin Suwarningsih, Andri Fachrur Rozie |
Classification Model for Assessing Micro and Small Enterprises' Awareness Level Towards Halal Certification Adoption. |
IC3INA |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Catherine Nuyad Arellano, Cherry Lyn Cando Sta. Romana, Cheryl Balan Pantaleon, Myrliza Areola Villamor |
Assessment of the Learning Outcomes through Certification Examination: A Correlational Study. |
ICDTE |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Said Daoudagh, Eda Marchetti |
Breakthroughs in Testing and Certification in Cybersecurity: Research Gaps and Open Problems. |
ITASEC |
2023 |
DBLP BibTeX RDF |
|
12 | Othmane Laousy, Alexandre Araujo, Guillaume Chassagnon, Nikos Paragios, Marie-Pierre Revel, Maria Vakalopoulou |
Certification of Deep Learning Models for Medical Image Segmentation. |
MICCAI (4) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Kai Hu, Andy Zou, Zifan Wang, Klas Leino, Matt Fredrikson |
Unlocking Deterministic Robustness Certification on ImageNet. |
NeurIPS |
2023 |
DBLP BibTeX RDF |
|
12 | Matthew Wicker, Vihari Piratla, Adrian Weller |
Certification of Distributional Individual Fairness. |
NeurIPS |
2023 |
DBLP BibTeX RDF |
|
12 | Omar Fawzi, Nicolas Flammarion, Aurélien Garivier, Aadil Oufkir |
Quantum Channel Certification with Incoherent Measurements. |
COLT |
2023 |
DBLP BibTeX RDF |
|
12 | Qilin Zhou, Zhengyuan Wei, Haipeng Wang 0005, W. K. Chan 0001 |
A Majority Invariant Approach to Patch Robustness Certification for Deep Learning Models. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko |
Towards Compositional Hardware Model Checking Certification. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Eng Lieh Ouh, Benjamin Kok Siew Gan |
Are you cloud-certified? Preparing Computing Undergraduates for Cloud Certification with Experiential Learning. |
SEET@ICSE |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Taras Rumezhak, Francisco Girbal Eiras, Philip H. S. Torr, Adel Bibi |
RANCER: Non-Axis Aligned Anisotropic Certification with Randomized Smoothing. |
WACV |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Rafael Descio-Trineto, Maurício A. Pillon, Guilherme P. Koslovski, Charles Miers |
DCANon: Towards Distributed Certification Authority (CA) with Non-fungible Token (NFT). |
AINA (1) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Xuejing Wu, Di Che |
Analysis and development suggestions of enterprise management system certification in China based on big data. |
ICICM |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Nicolas Scharowski, Michaela Benk, Swen J. Kühne, Léane Wettstein, Florian Brühlmann |
Certification Labels for Trustworthy AI: Insights From an Empirical Mixed-Method Study. |
FAccT |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Saeed Ali Faris Alketbi, Massudi Bin Mahmuddin |
Blockchain International Certification Layer. |
Blockchain |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jan Schuchardt, Tom Wollschläger, Aleksandar Bojchevski, Stephan Günnemann |
Localized Randomized Smoothing for Collective Robustness Certification. |
ICLR |
2023 |
DBLP BibTeX RDF |
|
12 | Yi Zeng 0005, Zhouxing Shi, Ming Jin 0002, Feiyang Kang, Lingjuan Lyu, Cho-Jui Hsieh, Ruoxi Jia 0001 |
Towards Robustness Certification Against Universal Perturbations. |
ICLR |
2023 |
DBLP BibTeX RDF |
|
12 | Steven Adams, Andrea Patane, Morteza Lahijanian, Luca Laurenti |
BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming. |
ICML |
2023 |
DBLP BibTeX RDF |
|
12 | Hong-Ming Chiu, Richard Y. Zhang |
Tight Certification of Adversarially Trained Neural Networks via Nonconvex Low-Rank Semidefinite Relaxations. |
ICML |
2023 |
DBLP BibTeX RDF |
|
12 | Aleksandar Petrov, Francisco Eiras, Amartya Sanyal, Philip H. S. Torr, Adel Bibi |
Certifying Ensembles: A General Certification Theory with S-Lipschitzness. |
ICML |
2023 |
DBLP BibTeX RDF |
|
12 | Zhilu Wang, Chao Huang 0015, Qi Zhu 0002 |
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding (Extended Abstract). |
IJCAI |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Virginie Do, Sam Corbett-Davies, Jamal Atif, Nicolas Usunier |
Online Certification of Preference-Based Fairness for Personalized Recommender Systems (Extended Abstract). |
IJCAI |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Julius Pfrommer, Matthieu Poyer, Saksham Kiroriwal |
Reduce the Handicap: Performance Estimation for AI Systems Safety Certification. |
INDIN |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Erik Blasch, Anne-Laure Jousselme, Kathryn B. Laskey, Paulo C. G. Costa, Johan Pieter de Villiers, Gregor Pavlin, Claire Laudy |
URREF Risk analysis towards Data Fusion Certification. |
FUSION |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jian Wang, Wenwen Liu, Jihui Pan |
Development and Prospect of UAV Inspection and Certification. |
CECNet |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Francisco Moya, Francisco J. Quesada, Luis Martínez-López 0001, Francisco Javier Estrella |
CertifIoT: An IoT and DLT-Based Solution for Enhancing Trust and Transparency in Data Certification. |
UCAmI (3) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Tanja Schramm, Rainer Knauf |
A Project to Compose a Modular AI Certification System in University Edu-cation and its inherent chance to verify, validate, and refine AI teaching by AI technologies. |
FLAIRS |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Devan Ray Donaldson, Samuel Vodicka Russell |
Trustworthy Digital Repository Certification: A Longitudinal Study. |
iConference (2) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Martina Seidl |
Never Trust Your Solver: Certification for SAT and QBF. |
CICM |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Claudio A. Ardagna, Nicola Bena |
Non-Functional Certification of Modern Distributed Systems: A Research Manifesto. |
SSE |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Abdarahmane Wone |
Contribution to the certification of fingerprint systems : towards the reproducibility of the evaluation. (Contribution à la reproductibilité de l'évaluation des systèmes à empreinte digitale). |
|
2023 |
RDF |
|
12 | Madhusree Banerjee, Victor Cai, Sunitha Lakshmanappa, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger, Thomas Werner |
A Tool-Chain for the Verification of Geographic Scheme Data. |
RSSRail |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Michael Leuschel, Nader Nayeri |
Modelling, Visualisation and Proof of an ETCS Level 3 Moving Block System. |
RSSRail |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori, Óli Kárason Mikkelsen, Sofie-Amalie Petersen |
Automated Compositional Verification of Interlocking Systems. |
RSSRail |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Amin Fakhereldine, Mohammad Zulkernine, Dan Murdock |
TrainSec: A Simulation Framework for Security Modeling and Evaluation in CBTC Networks. |
RSSRail |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jan Gruteser, David Geleßus, Michael Leuschel, Jan Roßbach, Fabian Vu |
A Formal Model of Train Control with AI-Based Obstacle Detection. |
RSSRail |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Gustav Zickert, Nikitas Stathatos |
Halfway Generic Verification of Railway Control Systems. |
RSSRail |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Lodiana Beqiri, Zeinab Bakhshi, Sasikumar Punnekkat, Antonio Cicchetti |
Remaining Useful Life Estimation for Railway Gearbox Bearings Using Machine Learning. |
RSSRail |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ziyue Tang, Ning Zhao, Khalid Khan, Katinka Wolter |
Safety Analysis of Automatic Train Operation Based on ETCS. |
RSSRail |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ehsan Poorhadi, Elena Troubitsyna |
Automating an Analysis of Safety-Security Interactions for Railway Systems. |
RSSRail |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Giulio Masetti, Felicita Di Giandomenico, Silvano Chiaradonna |
Dependability Analysis of UPS Architectures for the Italian Railway Signaling System. |
RSSRail |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Alexandra Halchin, Adja Ndeye Sylla, Sarah Benyagoub, Abderrahmane Feliachi, Yoann Fonteneau, Sven Leger |
Integral Formal Proof: A Verification Approach Bridging the Gap Between System and Software Levels in Railway Systems. |
RSSRail |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky |
The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool. |
RSSRail |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Sebastien Houde |
Bunching with the Stars: How Firms Respond to Environmental Certification. |
Manag. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Patricia Avitia Carlos, Norma Candolfi Arballo, José Luis Rodríguez-Verduzco, Bernabé Rodríguez-Tapia |
Conditions for the Development and Certification of Industry 4.0 Technical Competencies. |
Rev. Iberoam. de Tecnol. del Aprendiz. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Shubham Ugare, Gagandeep Singh 0001, Sasa Misailovic |
Proof transfer for fast certification of multiple approximate neural networks. |
Proc. ACM Program. Lang. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Mark Niklas Müller, Gleb Makarchuk, Gagandeep Singh 0001, Markus Püschel, Martin T. Vechev |
PRIMA: general and precise neural network certification via scalable convex hull approximations. |
Proc. ACM Program. Lang. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Joseph Ofori-Mensah, Winfred Yaokumah, Ebenezer Agyemang Sakyi |
Design of Authenticated and Trusted Academic Certification Using Blockchain Technology. |
Int. J. Softw. Innov. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Francisco Eiras, Motasem Alfarra, Philip H. S. Torr, M. Pawan Kumar, Puneet K. Dokania, Bernard Ghanem, Adel Bibi |
ANCER: Anisotropic Certification via Sample-wise Volume Maximization. |
Trans. Mach. Learn. Res. |
2022 |
DBLP BibTeX RDF |
|
12 | Junhua Wu, Zhenyu Jin, Guangshun Li, Zhuqing Xu, Cang Fan, Yuanwang Zheng |
Design of vehicle certification schemes in IoV based on blockchain. |
World Wide Web |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Riccardo Donà, Sándor Vass, Konstantinos Mattas, Maria Cristina Galassi, Biagio Ciuffo |
Virtual Testing in Automated Driving Systems Certification. A Longitudinal Dynamics Validation Example. |
IEEE Access |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Anum Khurshid, Reem Alsaaidi, Mudassar Aslam, Shahid Raza |
EU Cybersecurity Act and IoT Certification: Landscape, Perspective and a Proposed Template Scheme. |
IEEE Access |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Maoyan She, Yuandi Wang, Die Hu |
Effect of HTE certification on external resource acquisition and firm performance: evidence from China. |
Technol. Anal. Strateg. Manag. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Benjamin Jacob Mathers, Hervé L'Hours |
Increasing the Reuse of Data through FAIR-enabling the Certification of Trustworthy Digital Repositories. |
Int. J. Digit. Curation |
2022 |
DBLP BibTeX RDF |
|
12 | Mohammad Saidur Rahman 0001, Abdulatif Alabdulatif, Ibrahim Khalil |
Privacy Aware Internet of Medical Things Data Certification Framework on Healthcare Blockchain of 5G Edge. |
Comput. Commun. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Katharina Morik, Helena Kotthaus, Raphael Fischer 0001, Sascha Mücke, Matthias Jakobs, Nico Piatkowski, Andreas Pauly, Lukas Heppe, Danny Heinrich |
Yes we care!-Certification for machine learning methods through the care label framework. |
Frontiers Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Yuriy Pylypchuk, Christian Johnson |
New EHR certification requirements and their association with duplicate tests and images. |
J. Am. Medical Informatics Assoc. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Sanjeev Dewan, Jooho Kim, Tingting Nian |
Economic Impacts of Platform-Endorsed Quality Certification: Evidence from Airbnb. |
MIS Q. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Mazen Alamir |
Partial Extended Observability Certification and Optimal Design of Moving-Horizon Estimators. |
IEEE Trans. Autom. Control. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Kim Peter Wabersich, Lukas Hewing, Andrea Carron, Melanie N. Zeilinger |
Probabilistic Model Predictive Safety Certification for Learning-Based Control. |
IEEE Trans. Autom. Control. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Daniel Arnström, Daniel Axehill |
A Unifying Complexity Certification Framework for Active-Set Methods for Convex Quadratic Programming. |
IEEE Trans. Autom. Control. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Louis Esperet, Benjamin Lévêque |
Local certification of graphs on surfaces. |
Theor. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Marco Anisetti, Claudio A. Ardagna, Filippo Berto, Ernesto Damiani |
A Security Certification Scheme for Information-Centric Networks. |
IEEE Trans. Netw. Serv. Manag. |
2022 |
DBLP DOI BibTeX RDF |
|
Displaying result #601 - #700 of 3119 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|