823 citations
- University of HelsinkiFI19 papers
- University of OsloNO16 papers
- KTH Royal Institute of TechnologySE13 papers
- Aalto UniversityFI11 papers
- Boston UniversityUS11 papers
- University of TurkuFI11 papers
- Turku Centre for Computer ScienceFI9 papers
- Ohio UniversityUS7 papers
- Philipps University of MarburgDE7 papers
- Centre National de la Recherche ScientifiqueFR5 papers
- University of California, Santa BarbaraUS5 papers
- Carl von Ossietzky Universität OldenburgDE4 papers
5 papers · 1 filter
Proceedings Third International Workshop on Computational Models for Cell Processes
Ion Petre, Erik de Vink
This volume contains the final versions of the papers presented at the 3rd International Workshop on Computational Models for Cell Processes (CompMod 2011). The workshop took place…
Optical Response and Ground State of Graphene
T. Stroucken, J. H. Grönqvist, S. W. Koch
The optical response and the ground state of graphene and graphene-like systems are determined self-consistently. Deriving equations of motion for the basic variables, graphene Blo…
Galactic Kinematics from OB3 Stars with Distances determined from Interstellar Ca II Lines
Vadim Bobylev, Anisa Bajkova
Based on data for 102 OB3 stars with known proper motions and radial velocities, we have tested the distances derived by Megier et al. from interstellar Ca II spectral lines. The i…
Searching for Possible Siblings of the Sun from a Common Cluster based on Stellar Space Velocities
V. V. Bobylev, A. T. Bajkova, A. Myllari +1
We propose a kinematic approach to searching for the stars that could be formed with the Sun in a common "parent" open cluster. The approach consists in preselecting suitable candi…
Concurrent Scheduling of Event-B Models
Pontus Boström, Fredrik Degerlund, Kaisa Sere +1
Event-B is a refinement-based formal method that has been shown to be useful in developing concurrent and distributed programs. Large models can be decomposed into sub-models that…