ISTI-CNR Pisa Italy

  1. Home
  2. search page
  3. affiliation

ISTI-CNR Pisa Italy

국가: Italy
주요 연구 분야: Verification
주요 키워드: #research #academic #orchestration
주요 저자:
#Maurice H Ter Beek #Franco Mazzanti #F. Damiani #Luca Paolini #Giordano Scarso

📄 기관 상세정보

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

논문 목록 (3건)

Enumerating Graphlets with Amortized Time Complexity Independent of Graph Size
저자: Alessio Conte , Roberto Grossi , Yasuaki Kobayashi , Kazuhiro Kurita , Davide Rucci , Takeaki Uno , Kunihiro Wasa
키워드: #algorithm #algorithms #graph #networks #graphlets
파트: Databases | 연도: 2025
Orchestration Strategies for Regression Test Suites
저자: Renan Greca , Breno Miranda , Antonia Bertolino
키워드: #research #academic #orchestration #amplifying #orchestrated
파트: Verification | 연도: 2023
Static analysis and family-based model checking of featured transition systems with VMC
저자: Maurice H Ter Beek , Franco Mazzanti , F. Damiani , Luca Paolini , Giordano Scarso , Michele Valfrè , Michaël Lienhardt
키워드: #modeling #benchmarks #toolchain #formalism #associating
파트: Verification | 연도: 2021