4 citations
3 papers
cs.SE2024★ 4 cited
AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
Ferhat Erata, Arda Goknil, Ivan Kurtev +1
We present AlloyInEcore, a tool for specifying metamodels with their static semantics to facilitate automated, formal reasoning on models. Software development projects require tha…
physics.ao-ph2021★ 1 cited
Projections of the Transient State-Dependency of Climate Feedbacks
Robbin Bastiaansen, Henk A. Dijkstra, Anna S. von der Heydt
When the climate system is forced, e.g. by emission of greenhouse gases, it responds on multiple time scales. As temperatures rise, feedback processes might intensify or weaken. Cu…
astro-ph2003
Clues on the Evolution of Cluster Galaxies From The Analysis of Their Orbital Anisotropies
A. Biviano, P. Katgert, T. Thomas +1
We study the evolution of galaxies in clusters by the analysis of a sample of about 3000 galaxies, members of 59 clusters from the ESO Nearby Abell Cluster Survey (ENACS). We disti…