Yong Meng Teo

From MaRDI portal
Person:436768


List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Formalization of weak emergence in multiagent systems
ACM Transactions on Modeling and Computer Simulation
2018-04-16Paper
An Expressive Framework for Verifying Deadlock Freedom
Automated Technology for Verification and Analysis
2014-07-08Paper
Message and time efficient consensus protocols for synchronous distributed systems
Journal of Parallel and Distributed Computing
2012-07-26Paper
Corrigendum to ``Message and time efficient consensus protocols for synchronous distributed systems
Journal of Parallel and Distributed Computing
2012-07-26Paper
A bivalency proof of the lower bound for uniform consensus
Information Processing Letters
2009-12-18Paper
scientific article; zbMATH DE number 1955766 (Why is no real title available?)
 
2003-07-29Paper
Scalable optimistic parallel simulation
 
2001-10-21Paper


Research outcomes over time


This page was built for person: Yong Meng Teo