Discover open access scientific publications

Search, annotate, share and cite publications

Publications by CESARE TINELLI

Implementing the Model Evolution Calculus

International Journal on Artificial Intelligence Tools
Artificial Intelligence
2006English

Related publications

The Model Evolution Calculus With Equality

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Implementing the Π-Calculus in Java.

Journal of Object Technology
Software
2005English

Implementing Spi Calculus Using Nominal Techniques

English

The Evolution of Coronal Mass Ejections in the Inner Heliosphere: Implementing the Spheromak Model With EUHFORIA

Astronomy and Astrophysics
AstrophysicsAstronomyPlanetary ScienceSpace
2019English

Implementing Model Reduction to the JuliaFEM Platform

Rakenteiden Mekaniikka
2018English

Implementing a Concept Network Model

Behavior Research Methods
DevelopmentalArtsPsychologyEducational PsychologyCognitive PsychologyHumanitiesExperimental
2019English

PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Simple Lambda-Calculus Model of Programming Languages

1973English

Implementing a Dominican Model of Leadership

Educational Considerations
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy