Alexander Bell

According to our database, Alexander Bell authored at least 10 papers between 1999 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

VizWiz-FewShot: Locating Objects in Images Taken by People with Visual Impairments.

Yu-Yun Tseng, Alexander Bell, Danna Gurari

Proceedings of the Computer Vision - ECCV 2022, 2022

2014

Personas as a Powerful Methodology to Design Targeted Professional Development Resources.

Adrian Madsen, Sarah B. McKagan, Eleanor C. Sayre, Mathew Martinuk, Alexander Bell

Proceedings of the Learning and Becoming in Practice: Proceedings of the 11th International Conference of the Learning Sciences, 2014

2007

hpGEM - A software framework for discontinuous Galerkin finite element methods.

Lars Pesch, Alexander Bell, Henk Sollie, Vijaya R. Ambati, Onno Bokhove, Jaap J. W. van der Vegt

ACM Trans. Math. Softw., 2007

Untold Horrors About Steady-State Probabilities: What Reward-Based Measures Won't Tell About the Equilibrium Distribution.

Alexander Bell, Boudewijn R. Haverkort

Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2007

2006

Distributed disk-based algorithms for model checking very large Markov chains.

Alexander Bell, Boudewijn R. Haverkort

Formal Methods Syst. Des., 2006

2005

Sequential and distributed model checking of Petri nets.

Alexander Bell, Boudewijn R. Haverkort

Int. J. Softw. Tools Technol. Transf., 2005

2004

Distributed evaluation of stochastic Petri nets.

Alexander Bell

PhD thesis, 2004

Distributed Evaluation of Stochastic Petri nets.

Alexander Bell

Proceedings of the MMB & PGTS 2004, 2004

2002

Sequential and Distributed Model Checking of Petri Net Specifications.

Alexander Bell, Boudewijn R. Haverkort

Proceedings of the Parallel and Distributed Model Checking, 2002

1999

On the efficient sequential and distributed generation of very large Markov chains from stochastic Petri nets.

Boudewijn R. Haverkort, Alexander Bell, Henrik C. Bohnenkamp

Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999