Skip to content

Henri Bal

  • 0ReadersNumber of instances of Henri's publications in Mendeley libraries. Updated daily.
  • 19PublicationsNumber of items in this person’s My Publications folder on Mendeley.

Followers (4)

Following (1)

Publications (19)

Using Model Checking to Analyze the System Behavior of the LHC Production Grid

  • Remenska D
  • Willemse T
  • Verstoep K
2012 12th IEEEACM International Symposium on Cluster Cloud and Grid Computing ccgrid 2012 (2012)
  • n/a

    Readers

  • n/a

    Citations

Full text

Profiling Energy Consumption of VMs for Green Cloud Computing

  • Chen Q
  • Grosso P
  • Veldt K
2011 IEEE Ninth International Conference on Dependable Autonomic and Secure Computing (2011)
  • n/a

    Readers

  • n/a

    Citations

Full text

Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development.

  • Bonzanni N
  • Krepska E
  • Feenstra K
Bioinformatics (2009)
  • n/a

    Readers

  • n/a

    Citations

Efficient Java RMI for parallel programming

  • Maassen J
  • Van Nieuwpoort R
  • Veldema R
ACM Transactions on Programming Languages and Systems (2001)
  • n/a

    Readers

  • n/a

    Citations

Full text

Models for asynchronous message handling

  • Langendoen K
  • Bhoedjang R
  • Bal H
IEEE Concurrency (1997)
  • n/a

    Readers

  • n/a

    Citations

Full text