NT
230
Publications
4,019
Citations
29
h-index
84
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (198)
- Book Chapter (22)
- Preprint (5)
- Letter (2)
- Review (1)
Filter by Open Access Type
- Open Access (57)
- Closed Access (171)
Filter by Authors
- Naoyuki Tamura (228)
- Mutsunori Banbara (48)
- Takehide Soh (32)
- Katsumi Inoue (14)
- Torsten Schaub (13)
Filter by Topics
- Formal Methods in Verification (40)
- Logic, Reasoning, and Knowledge (28)
- Constraint Satisfaction and Optimization (25)
- Logic, programming, and type systems (22)
- Radiation Effects and Dosimetry (19)