|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PCCNT ![In: 2023 International Conference on Power, Communication, Computing and Networking Technologies, PCCNT 2023, Wuhan, China, September 24-25, 2023, pp. 3:1-3:6, 2023, ACM, 978-1-4503-9995-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Nicolò Fassina, Francesco Ranzato, Marco Zanella |
Robustness Certification of k-Nearest Neighbors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM ![In: IEEE International Conference on Data Mining, ICDM 2023, Shanghai, China, December 1-4, 2023, pp. 110-119, 2023, IEEE, 979-8-3503-0788-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCE-Taiwan ![In: International Conference on Consumer Electronics - Taiwan, ICCE-Taiwan 2023, PingTung, Taiwan, July 17-19, 2023, pp. 367-368, 2023, IEEE, 979-8-3503-2417-4. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSSRail ![Springer, 978-3-031-43365-8 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Marco Anisetti, Claudio A. Ardagna, Nicola Bena |
Continuous Certification of Non-functional Properties Across System Changes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC (1) ![In: Service-Oriented Computing - 21st International Conference, ICSOC 2023, Rome, Italy, November 28 - December 1, 2023, Proceedings, Part I, pp. 3-18, 2023, Springer, 978-3-031-48420-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2023 - 22nd International Semantic Web Conference, Athens, Greece, November 6-10, 2023, Proceedings, Part II, pp. 345-361, 2023, Springer, 978-3-031-47242-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSPI (2) ![In: Systems, Software and Services Process Improvement - 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part II, pp. 79-95, 2023, Springer, 978-3-031-42309-3. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSPI (2) ![In: Systems, Software and Services Process Improvement - 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part II, pp. 3-15, 2023, Springer, 978-3-031-42309-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Guy Blanc, Caleb Koch, Jane Lange, Carmen Strassle, Li-Yang Tan |
Certification with an NP Oracle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCS ![In: 14th Innovations in Theoretical Computer Science Conference, ITCS 2023, January 10-13, 2023, MIT, Cambridge, Massachusetts, USA., pp. 18:1-18:22, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-263-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Marina Gardella, Pablo Musé, Miguel Colom, Jean-Michel Morel, Denis Perraud |
PRNU-Based Source Camera Statistical Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFS ![In: IEEE International Workshop on Information Forensics and Security, WIFS 2023, Nürnberg, Germany, December 4-7, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-2491-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Christian Banse, Immanuel Kunz, Nico Haas, Angelika Schneider |
A Semantic Evidence-based Approach to Continuous Cloud Service Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, SAC 2023, Tallinn, Estonia, March 27-31, 2023, pp. 24-33, 2023, ACM, 978-1-4503-9517-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FedCSIS (Communication Papers) ![In: Communication Papers of the 18th Conference on Computer Science and Intelligence Systems, FedCSIS 2023, Warsaw, Poland, September 17-20, 2023., pp. 323-327, 2023, 978-83-969601-3-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Marta Kwiatkowska, Xiyue Zhang |
When to Trust AI: Advances and Challenges for Certification of Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FedCSIS ![In: Proceedings of the 18th Conference on Computer Science and Intelligence Systems, FedCSIS 2023, Warsaw, Poland, September 17-20, 2023., pp. 25-37, 2023, 978-83-967447-8-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Dasa Kusniráková, Barbora Buhnova |
Rethinking Certification for Higher Trust and Ethical Safeguarding of Autonomous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENASE ![In: Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2023, Prague, Czech Republic, April 24-25, 2023., pp. 158-169, 2023, SCITEPRESS, 978-989-758-647-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings, pp. 55-63, 2023, Springer, 978-3-031-40922-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Rigo Wenning |
The Certification Panacea. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECRYPT ![In: Proceedings of the 20th International Conference on Security and Cryptography, SECRYPT 2023, Rome, Italy, July 10-12, 2023., pp. 5, 2023, SCITEPRESS, 978-989-758-666-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
12 | Tushar Sharma, Anurag Pandey 0003, Sumita Gupta |
A Blockchain Approach for Securing Certification Management System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IC3I ![In: 6th International Conference on Contemporary Computing and Informatics, IC3I 2023, Gautam Buddha Nagar, India, September 14-16, 2023, pp. 147-152, 2023, IEEE, 979-8-3503-0448-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Manuel Boi, Andrea Pinna 0002, Maria Ilaria Lunesu |
Blockchain oracles for document certification: A case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SANER ![In: IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2023, Taipa, Macao, March 21-24, 2023, pp. 855-864, 2023, IEEE, 978-1-6654-5278-6. The full citation details ...](Pics/full.jpeg) |
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". ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSLT ![In: Proceedings of the 2023 9th International Conference on e-Society, e-Learning and e-Technologies, ICSLT 2023, Portsmouth, United Kingdom, June 9-11, 2023, pp. 29-34, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jacob Bond, Siddhartha Gupta, Thanura R. Elvitigala |
Probabilistic Local Equivalence Certification for Robustness Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVC (1) ![In: Advances in Visual Computing - 18th International Symposium, ISVC 2023, Lake Tahoe, NV, USA, October 16-18, 2023, Proceedings, Part I, pp. 264-276, 2023, Springer, 978-3-031-47968-7. The full citation details ...](Pics/full.jpeg) |
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 -. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SysCon ![In: IEEE International Systems Conference, SysCon 2023, Vancouver, BC, Canada, April 17-20, 2023, pp. 1-8, 2023, IEEE, 978-1-6654-3994-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023, pp. 2292-2299, 2023, IEEE, 979-8-3503-0124-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Yuanyuan Yuan, Shuai Wang 0011, Zhendong Su 0001 |
Precise and Generalized Robustness Certification for Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023, pp. 4769-4786, 2023, USENIX Association. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, KDD 2023, Long Beach, CA, USA, August 6-10, 2023, pp. 2010-2022, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NDSS ![In: 30th Annual Network and Distributed System Security Symposium, NDSS 2023, San Diego, California, USA, February 27 - March 3, 2023, 2023, The Internet Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MedInfo ![In: MEDINFO 2023 - The Future Is Accessible - Proceedings of the 19th World Congress on Medical and Health Informatics, Sydney, NSW, Australia, 8-12 July 2023., pp. 1211-1215, 2023, IOS Press, 978-1-64368-456-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: 37th International Symposium on Distributed Computing, DISC 2023, October 10-12, 2023, L'Aquila, Italy, pp. 20:1-20:17, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-301-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Riccardo Petracci, Rosario Culmone, Leonardo Mostarda |
Blockchain Application for Fish Origin Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BWCCA ![In: Advances on Broad-Band and Wireless Computing, Communication and Applications - Proceedings of the 18th International Conference on Broad-Band and Wireless Computing, Communication and Applications (BWCCA-2023), Daegu, Korea, 6-8 November 2023., pp. 149-158, 2023, Springer, 978-3-031-46783-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWAF ![In: Proceedings of the 2nd European Workshop on Algorithmic Fairness, Winterthur, Switzerland, June 7th to 9th, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
12 | Maria Ilaria Lunesu, Roberto Tonelli, Andrea Pinna 0002, Simone Sansoni |
Soulbound Token for Covid-19 Vaccination Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PerCom Workshops ![In: IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom Workshops 2023, Atlanta, GA, USA, March 13-17, 2023, pp. 243-248, 2023, IEEE, 978-1-6654-5381-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCON ![In: 20th IEEE International Conference on Smart Technologies, EUROCON 2023, Torino, Italy, July 6-8, 2023, pp. 337-342, 2023, IEEE, 978-1-6654-6397-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE (2) ![In: Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, SIGCSE 2023, Toronto, ON, Canada, March 15-18, 2023., pp. 1416, 2023, ACM, 978-1-4503-9433-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Dmitry Namiot, Manfred Sneps-Sneppe |
On Audit and Certification of Machine Learning Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FRUCT ![In: 34th Conference of Open Innovations Association, FRUCT 2023, Riga, Latvia, November 15-17, 2023, pp. 114-124, 2023, IEEE, 978-952-65246-0-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
12 | Kaoutar Smahi, Ouidad Labouidya, Khalid E. L. Khadiri |
Online certification training: Quality and assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiSt ![In: 7th IEEE Congress on Information Science and Technology, CiSt 2023, Agadir - Essaouira, Morocco, December 16-22, 2023, pp. 473-478, 2023, IEEE, 978-1-6654-6133-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Grzegorz Szyjewski |
Implementation of a hybrid certificate approach: enhancing efficiency and credibility in ICDL certification process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 27th International Conference KES-2023, Athens, Greece, 6-8 September 2023., pp. 4713-4721, 2023, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGridW ![In: 23rd IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing, CCGrid 2023 - Workshops, Bangalore, India, May 1-4, 2023, pp. 237-241, 2023, IEEE, 979-8-3503-0208-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEHITS ![In: Proceedings of the 9th International Conference on Vehicle Technology and Intelligent Transport Systems, VEHITS 2023, Prague, Czech Republic, April 26-28, 2023., pp. 232-239, 2023, SCITEPRESS, 978-989-758-652-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IC3INA ![In: International Conference on Computer, Control, Informatics and its Applications, IC3INA 2023, Bandung, Indonesia, October 4-5, 2023, pp. 400-405, 2023, IEEE, 979-8-3503-9487-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDTE ![In: 7th International Conference on Digital Technology in Education, ICDTE 2023, Hangzhou, China, September 8-10, 2023, pp. 91-95, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Said Daoudagh, Eda Marchetti |
Breakthroughs in Testing and Certification in Cybersecurity: Research Gaps and Open Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITASEC ![In: Proceedings of the Italian Conference on Cyber Security (ITASEC 2023), Bari, Italy, May 2-5, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (4) ![In: Medical Image Computing and Computer Assisted Intervention - MICCAI 2023 - 26th International Conference, Vancouver, BC, Canada, October 8-12, 2023, Proceedings, Part IV, pp. 611-621, 2023, Springer, 978-3-031-43900-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Kai Hu, Andy Zou, Zifan Wang, Klas Leino, Matt Fredrikson |
Unlocking Deterministic Robustness Certification on ImageNet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023., 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
12 | Matthew Wicker, Vihari Piratla, Adrian Weller |
Certification of Distributional Individual Fairness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023., 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
12 | Omar Fawzi, Nicolas Flammarion, Aurélien Garivier, Aadil Oufkir |
Quantum Channel Certification with Incoherent Measurements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLT ![In: The Thirty Sixth Annual Conference on Learning Theory, COLT 2023, 12-15 July 2023, Bangalore, India., pp. 1822-1884, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023, pp. 1790-1794, 2023, IEEE, 979-8-3503-2996-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko |
Towards Compositional Hardware Model Checking Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 1-11, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEET@ICSE ![In: 45th IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training, SEET@ICSE 2023, Melbourne, Australia, May 14-20, 2023, pp. 46-57, 2023, IEEE, 979-8-3503-2259-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WACV ![In: IEEE/CVF Winter Conference on Applications of Computer Vision, WACV 2023, Waikoloa, HI, USA, January 2-7, 2023, pp. 4661-4669, 2023, IEEE, 978-1-6654-9346-8. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA (1) ![In: Advanced Information Networking and Applications - Proceedings of the 37th International Conference on Advanced Information Networking and Applications (AINA-2023), Juiz de Fora, Brazil, 29-31 March 2023, Volume 1, pp. 286-298, 2023, Springer, 978-3-031-29055-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICM ![In: Proceedings of the 13th International Conference on Information Communication and Management, ICICM 2023, Cairo, Egypt, November 7-9, 2023, pp. 48-51, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAccT ![In: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, FAccT 2023, Chicago, IL, USA, June 12-15, 2023, pp. 248-260, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Saeed Ali Faris Alketbi, Massudi Bin Mahmuddin |
Blockchain International Certification Layer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Blockchain ![In: IEEE International Conference on Blockchain, Blockchain 2023, Danzhou, China, December 17-21, 2023, pp. 133-139, 2023, IEEE, 979-8-3503-1929-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jan Schuchardt, Tom Wollschläger, Aleksandar Bojchevski, Stephan Günnemann |
Localized Randomized Smoothing for Collective Robustness Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLR ![In: The Eleventh International Conference on Learning Representations, ICLR 2023, Kigali, Rwanda, May 1-5, 2023, 2023, OpenReview.net. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLR ![In: The Eleventh International Conference on Learning Representations, ICLR 2023, Kigali, Rwanda, May 1-5, 2023, 2023, OpenReview.net. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
12 | Steven Adams, Andrea Patane, Morteza Lahijanian, Luca Laurenti |
BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: International Conference on Machine Learning, ICML 2023, 23-29 July 2023, Honolulu, Hawaii, USA., pp. 133-151, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
12 | Hong-Ming Chiu, Richard Y. Zhang |
Tight Certification of Adversarially Trained Neural Networks via Nonconvex Low-Rank Semidefinite Relaxations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: International Conference on Machine Learning, ICML 2023, 23-29 July 2023, Honolulu, Hawaii, USA., pp. 5631-5660, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: International Conference on Machine Learning, ICML 2023, 23-29 July 2023, Honolulu, Hawaii, USA., pp. 27709-27736, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China, pp. 6498-6503, 2023, ijcai.org. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China, pp. 6426-6430, 2023, ijcai.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Julius Pfrommer, Matthieu Poyer, Saksham Kiroriwal |
Reduce the Handicap: Performance Estimation for AI Systems Safety Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDIN ![In: 21st IEEE International Conference on Industrial Informatics, INDIN 2023, Lemgo, Germany, July 18-20, 2023, pp. 1-7, 2023, IEEE, 978-1-6654-9313-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUSION ![In: 26th International Conference on Information Fusion, FUSION 2023, Charleston, SC, USA, June 27-30, 2023, pp. 1-8, 2023, IEEE, 979-8-89034-485-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jian Wang, Wenwen Liu, Jihui Pan |
Development and Prospect of UAV Inspection and Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CECNet ![In: Electronics, Communications and Networks - Proceedings of the 13th International Conference (CECNet 2023), Macao, China, 17-20 November 2023, pp. 395-401, 2023, IOS Press, 978-1-64368-480-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UCAmI (3) ![In: Proceedings of the 15th International Conference on Ubiquitous Computing & Ambient Intelligence (UCAmI 2023) - Volume 3, Riviera Maya, Mexico, 28-29 November, 2023., pp. 127-138, 2023, Springer, 978-3-031-48589-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAIRS ![In: Proceedings of the Thirty-Sixth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2023, Clearwater Beach, FL, USA, May 14-17, 2023, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Devan Ray Donaldson, Samuel Vodicka Russell |
Trustworthy Digital Repository Certification: A Longitudinal Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iConference (2) ![In: Information for a Better World: Normality, Virtuality, Physicality, Inclusivity - 18th International Conference, iConference 2023, Virtual Event, March 13-17, 2023, Proceedings, Part II, pp. 552-562, 2023, Springer, 978-3-031-28031-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Martina Seidl |
Never Trust Your Solver: Certification for SAT and QBF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023, Proceedings, pp. 16-33, 2023, Springer, 978-3-031-42752-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Claudio A. Ardagna, Nicola Bena |
Non-Functional Certification of Modern Distributed Systems: A Research Manifesto. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSE ![In: IEEE International Conference on Software Services Engineering, SSE 2023, Chicago, IL, USA, July 2-8, 2023, pp. 71-79, 2023, IEEE, 979-8-3503-4075-4. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSSRail ![In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings, pp. 211-224, 2023, Springer, 978-3-031-43365-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Michael Leuschel, Nader Nayeri |
Modelling, Visualisation and Proof of an ETCS Level 3 Moving Block System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSSRail ![In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings, pp. 193-210, 2023, Springer, 978-3-031-43365-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSSRail ![In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings, pp. 146-164, 2023, Springer, 978-3-031-43365-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Amin Fakhereldine, Mohammad Zulkernine, Dan Murdock |
TrainSec: A Simulation Framework for Security Modeling and Evaluation in CBTC Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSSRail ![In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings, pp. 22-39, 2023, Springer, 978-3-031-43365-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSSRail ![In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings, pp. 128-145, 2023, Springer, 978-3-031-43365-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Gustav Zickert, Nikitas Stathatos |
Halfway Generic Verification of Railway Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSSRail ![In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings, pp. 178-189, 2023, Springer, 978-3-031-43365-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSSRail ![In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings, pp. 62-77, 2023, Springer, 978-3-031-43365-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ziyue Tang, Ning Zhao, Khalid Khan, Katinka Wolter |
Safety Analysis of Automatic Train Operation Based on ETCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSSRail ![In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings, pp. 43-61, 2023, Springer, 978-3-031-43365-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ehsan Poorhadi, Elena Troubitsyna |
Automating an Analysis of Safety-Security Interactions for Railway Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSSRail ![In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings, pp. 3-21, 2023, Springer, 978-3-031-43365-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Giulio Masetti, Felicita Di Giandomenico, Silvano Chiaradonna |
Dependability Analysis of UPS Architectures for the Italian Railway Signaling System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSSRail ![In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings, pp. 98-114, 2023, Springer, 978-3-031-43365-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSSRail ![In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings, pp. 165-177, 2023, Springer, 978-3-031-43365-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSSRail ![In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings, pp. 117-127, 2023, Springer, 978-3-031-43365-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Sebastien Houde |
Bunching with the Stars: How Firms Respond to Environmental Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Manag. Sci. ![In: Manag. Sci. 68(8), pp. 5569-5590, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Iberoam. de Tecnol. del Aprendiz. ![In: Rev. Iberoam. de Tecnol. del Aprendiz. 17(4), pp. 336-342, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Shubham Ugare, Gagandeep Singh 0001, Sasa Misailovic |
Proof transfer for fast certification of multiple approximate neural networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 6(OOPSLA1), pp. 1-29, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 6(POPL), pp. 1-33, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Joseph Ofori-Mensah, Winfred Yaokumah, Ebenezer Agyemang Sakyi |
Design of Authenticated and Trusted Academic Certification Using Blockchain Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Innov. ![In: Int. J. Softw. Innov. 10(1), pp. 1-19, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Mach. Learn. Res. ![In: Trans. Mach. Learn. Res. 2022, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Wide Web ![In: World Wide Web 25(5), pp. 2241-2263, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 10, pp. 47661-47672, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 10, pp. 129932-129948, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Technol. Anal. Strateg. Manag. ![In: Technol. Anal. Strateg. Manag. 34(6), pp. 609-624, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Digit. Curation ![In: Int. J. Digit. Curation 17(1), pp. 5, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 192, pp. 373-381, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Artif. Intell. ![In: Frontiers Artif. Intell. 5, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Yuriy Pylypchuk, Christian Johnson |
New EHR certification requirements and their association with duplicate tests and images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Am. Medical Informatics Assoc. ![In: J. Am. Medical Informatics Assoc. 29(8), pp. 1391-1399, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Sanjeev Dewan, Jooho Kim, Tingting Nian |
Economic Impacts of Platform-Endorsed Quality Certification: Evidence from Airbnb. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIS Q. ![In: MIS Q. 47(3), pp. 1353-1368, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Mazen Alamir |
Partial Extended Observability Certification and Optimal Design of Moving-Horizon Estimators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 67(7), pp. 3663-3669, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 67(1), pp. 176-188, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Daniel Arnström, Daniel Axehill |
A Unifying Complexity Certification Framework for Active-Set Methods for Convex Quadratic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 67(6), pp. 2758-2770, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Louis Esperet, Benjamin Lévêque |
Local certification of graphs on surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 909, pp. 68-75, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Marco Anisetti, Claudio A. Ardagna, Filippo Berto, Ernesto Damiani |
A Security Certification Scheme for Information-Centric Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Netw. Serv. Manag. ![In: IEEE Trans. Netw. Serv. Manag. 19(3), pp. 2397-2408, 2022. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|