458 citations
- Shiwei Zhang2 profiles10 · h 44
- A. W. Thomas3 profiles9 · h 14
- R. Gilman3 profiles9 · h 45
- A. Deur2 profiles8 · h 54
- P. Markowitz2 profiles8 · h 115
- A. Saha5 profiles7 · h 30
- B. Wojtsekhowski2 profiles7 · h 43
- F. Garibaldi2 profiles7 · h 48
- M. Jones3 profiles7 · h 42
- R. Michaels2 profiles7 · h 44
- Seonho Choi4 profiles7 · h 31
- C. Carlson6 · h 34
- Williams (United States)US99 papers
- Thomas Jefferson National Accelerator FacilityUS50 papers
- University of Maryland, College ParkUS15 papers
- Argonne National LaboratoryUS13 papers
- University of VirginiaUS12 papers
- Massachusetts Institute of TechnologyUS10 papers
- CEA Paris-SaclayFR9 papers
- Old Dominion UniversityUS9 papers
- Rutgers, The State University of New JerseyUS9 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR8 papers
- Florida International UniversityUS8 papers
- University of WashingtonUS8 papers
Showing 2003Show all
2 papers · 1 filter
cs.LO2003★ 3 cited
Model Checking for a Class of Weighted Automata
Peter Buchholz, Peter Kemper
A large number of different model checking approaches has been proposed during the last decade. The different approaches are applicable to different model types including untimed,…
math.AG2003★ 2 cited
Eigenvalues, singular values, and Littlewood-Richardson coefficients
Sergey Fomin, William Fulton, Chi-Kwong Li +1
We characterize the relationship between the singular values of a complex Hermitian (resp., real symmetric, complex symmetric) matrix and the singular values of its off-diagonal bl…