TU Braunschweig Braunschweig Germany

  1. Home
  2. search page
  3. affiliation

TU Braunschweig Braunschweig Germany

국가: Germany
주요 연구 분야: Artificial Intelligence
주요 키워드: #learning #neural #graph
주요 저자:
#Tom Ganz #Martin Härterich #Alexander Warnecke #Konrad Rieck #Alexander Schlie

📄 기관 상세정보

출판수3
총 인용수22
평균 인용수7.33
저자 수12
좋아요 수0
연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도

논문 목록 (3건)

Static Analysis of Memory Models for SMT Encodings
저자: Thomas Haas , René Maseli , Roland Meyer , Hernán Ponce-De-León
키워드: #simplify #efficiency #preprocessing #relativized #optimizations
파트: Strategies | 연도: 2023
Explaining Graph Neural Networks for Vulnerability Discovery
저자: Tom Ganz , Martin Härterich , Alexander Warnecke , Konrad Rieck
키워드: #learning #neural #graph #experts #experimental
파트: Artificial Intelligence | 연도: 2021
Incremental feature model synthesis for clone-and-own software systems in MATLAB/Simulink
저자: Alexander Schlie , Alexander Knüppel , Christoph Seidl , Ina Schaefer
키워드: #engineering #synthesis #prerequisite #cloned #overwrite
파트: Analysis | 연도: 2020