ITRT
IT Research Trends
논문
논문
저자
기관
국가
키워드
Search
소개
분석
인기 자료
연구분야별 논문
Analysis
Artificial Intelligence
Cryptography
Databases
Infrastructure
Networking
Safety
Software Development
Strategies
Verification
로그인
회원가입
Search by keyword
Faculty of Mathematics and Physics Charles University Prague Czech Republic
Home
search page
affiliation
Faculty of Mathematics and Physics Charles University Prague Czech Republic
국가:
Andorra
주요 연구 분야:
Verification
주요 키워드:
#developers
#work
#tools
주요 저자:
#Robert Husák
#Jan Kofroň
#Filip Zavoral
#Mohammed el Habib Maicha
#Jaroslav Pokorný
더보기
#Robert Husák
#Jan Kofroň
#Filip Zavoral
#Mohammed el Habib Maicha
#Jaroslav Pokorný
#Elette Boyle
#Ran Cohen
#Deepesh Data
#Pavel Hubáček
좋아요 (
0
)
PDF 저장
📄 기관 상세정보
출판수
3
총 인용수
16
평균 인용수
5.33
저자 수
9
좋아요 수
0
정량적 분석
정성적 분석
연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도
로그인 후 사용 가능
📊 분석 중입니다. 잠시만 기다려 주세요...
논문 목록
(3건)
내 서재 담기
Combining Static Analysis Techniques for Program Comprehension Using Slicito
저자:
Robert Husák
,
Jan Kofroň
,
Filip Zavoral
키워드:
#developers
#work
#tools
#developer
#moldable
파트:
Verification
|
연도:
2025
Exploring the Role of UML in Data Modelling for NoSQL Databases: Position Paper
저자:
Mohammed el Habib Maicha
,
Jaroslav Pokorný
키워드:
#research
#databases
#modelling
#trends
#application
파트:
Databases
|
연도:
2024
Must the Communication Graph of MPC Protocols be an Expander?
저자:
Elette Boyle
,
Ran Cohen
,
Deepesh Data
,
Pavel Hubáček
키워드:
#computational
#graphs
#unexplored
#adversarial
#corruptions
파트:
Networking
|
연도:
2023