From the 1 of 2 papers with an AI index.
2 papers
cs.PL2026
A Fast Quantitative Analyzer for NetKAT
Thomas Lu, Qiancheng Fu, Kevin Batz +5
The paper introduces a fast analyzer for quantitative network properties using weighted NetKAT, employing a symbolic data structure and specialized algorithms to efficiently comput…
cs.SI2026
Co-evolution of the global research collaboration network and the performance of nations in science and technology
Travis A. Whetsell, Jeongyoon, Yang
Researchers have long suspected that international research collaboration (IRC) and scientific and technological (S\&T) performance are subject to reciprocal causality, yet the end…