Bowen Alpern
Lehman College(US)
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Logic, programming, and type systems, Distributed and Parallel Computing Systems, Formal Methods in Verification, Distributed systems and fault tolerance
Most-Cited Works
- → Defining liveness(1985)1,017 cited
- → The Jalapeño virtual machine(2000)576 cited
- → Recognizing safety and liveness(1987)551 cited
- → Detecting equality of variables in programs(1988)426 cited
- → Implementing jalapeño in Java(1999)268 cited
- → The Jikes Research Virtual Machine project: Building an open-source research community(2005)257 cited
- → A model for hierarchical memory(1987)220 cited
- → The uniform memory hierarchy model of computation(1994)174 cited
- → Incremental evaluation of computational circuits(1990)106 cited
- → Verifying temporal properties without temporal logic(1989)92 cited