Radboud University Nijmegen Netherlands

  1. Home
  2. search page
  3. affiliation

Radboud University Nijmegen Netherlands

국가: Netherlands
주요 연구 분야: Verification
주요 키워드: #software #neural #computational
주요 저자:
#Robbert Krebbers #Derek Dreyer #Michael Sammler #Rodolphe Lepigre #Deepak Garg

📄 기관 상세정보

출판수5
총 인용수82
평균 인용수16.40
저자 수31
좋아요 수0
연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도

논문 목록 (5건)

ChiLow and ChiChi: New Constructions for Code Encryption
저자: Lukas Stennes , Yanis Belkheyar , Patrick Derbez , Shibam Ghosh , Gregor Leander , Silvia Mella , Léo Perrin , Shahram Rasoolzadeh , Siwei Sun , Gilles Van Assche , Damian Vizár
키워드: #software #encryption #decrypted #decryption #ciphers
파트: Cryptography | 연도: 2025
Machine learning experiment management tools: a mixed-methods empirical study
저자: Samuel Idowu , Osman Osman , Daniel Strüber , Thorsten Berger
키워드: #engineering #researchers #developers #software #engineers
파트: Software Development | 연도: 2024
Pruning Neural Networks Using Cooperative Game Theory
저자: Mauricio Diaz-Ortiz , Benjamin Kempinski , Daphne Cornelisse , Yoram Bachrach , Tal Kachman
키워드: #neural #computational #predictive #neurons #streamlining
파트: Artificial Intelligence | 연도: 2024
RefinedC: automating the foundational verification of C code with refined ownership types
저자: Robbert Krebbers , Derek Dreyer , Michael Sammler , Rodolphe Lepigre , Deepak Garg , Kayvan Memarian
키워드: #challenge #software #difficulty #refinement #typing
파트: Verification | 연도: 2021
Transfinite Iris: resolving an existential dilemma of step-indexed separation logic
저자: Simon Spies , Lennard Gäher , Daniel Gratzer , Joseph Tassarotti , Robbert Krebbers , Derek Dreyer , Lars Birkedal
키워드: #modular #logic #inability #proving #reasoning
파트: Verification | 연도: 2021