Frank de Boer
Centrum Wiskunde & Informatica(NL)Wageningen University & Research(NL)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Distributed systems and fault tolerance, Advanced Software Engineering Methodologies, Parallel Computing and Optimization Techniques
Most-Cited Works
- → Stable magnetostructural coupling with tunable magnetoresponsive effects in hexagonal ferromagnets(2012)457 cited
- Concurrency Verification: Introduction to Compositional and Non-compositional Methods(2012)
- → Cation Arrangement in Spinels(1948)191 cited
- → A Survey of Active Object Languages(2017)101 cited
- → Programming agent deliberation(2003)95 cited
- → The Electrostatic Contribution to the Lattice Energy of Some Ordered Spinels(1950)86 cited
- → Models and temporal logics for timed component connectors(2004)53 cited