Mark IJbema

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Temporal Planning

Mutual Exclusion

Evolutionary Algorithm

Computer Systems

Top Venues

Formal Aspects Comput.

Publications

Wim H. Hesselink, Mark IJbema
Starvation-free mutual exclusion with semaphores. Formal Aspects Comput. 25 (6) (2013)
Mark IJbema
Perfect Number Theorem. Arch. Formal Proofs 2009 (2009)