Lawrence H. Landweber

31 papers and 853 indexed citations i.

About

Lawrence H. Landweber has authored 31 papers that have received a total of 853 indexed citations. This includes 14 papers in Computer Networks and Communications, 14 papers in Computational Theory and Mathematics and 6 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (5 papers), Distributed systems and fault tolerance (5 papers) and Petri Nets in System Modeling (4 papers). Lawrence H. Landweber is often cited by papers focused on Formal Methods in Verification (5 papers), Distributed systems and fault tolerance (5 papers) and Petri Nets in System Modeling (4 papers) and collaborates with scholars based in United States, Australia and Japan. Lawrence H. Landweber's co-authors include J Büchi, John C. Strikwerda, Edward L. Robertson, David P. Anderson and Amarnath Mukherjee and has published in prestigious journals such as Science, Communications of the ACM and IEEE Communications Magazine.

In The Last Decade

Rankless by CCL
2025