Vivian Sewelson

3 papers and 217 indexed citations i.

Vivian Sewelson has authored 3 papers that have received a total of 217 indexed citations. This includes 3 papers in Computational Theory and Mathematics, 1 paper in Artificial Intelligence and 0 papers in Industrial relations. The topics of these papers are Formal Methods in Verification (3 papers), Combinatorial Optimization and Complexity Theory (3 papers) and Advanced Graph Theory Research (2 papers). Vivian Sewelson is often cited by papers focused on Formal Methods in Verification (3 papers), Combinatorial Optimization and Complexity Theory (3 papers) and Advanced Graph Theory Research (2 papers) and collaborates with scholars based in United States and Germany. Vivian Sewelson's co-authors include Lane A. Hemachandra, Gerd Wechsung, Klaus W. Wagner, Jin‐Yi Cai and J. Hartmanis and has published in prestigious journals such as SIAM Journal on Computing