( en | de | ru )

 

Disambiguation of "Clarisó, Robert"

Author of the publication

copydeleteadd this publication to your clipboard
Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation.

, , and . ICATPN, volume 3536 of Lecture Notes in Computer Science, page 188-207. Springer, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Robert Wille

Towards a design flow for reversible logic. Uni Bremen, (2009)

Robert Klöfkorn

Numerics for evolution equations: a general interface based design concept. Uni Freiburg, (2009)

Robert Braun

Referenzmodellierung: Grundlegung und Evaluation der Technik des Modell-Konfigurationsmanagements. TU Dresden, (2010)

Robert Wagner

Inkrementelle Modellsynchronisation. Uni Paderborn, (2009)

Robert Zangenfeind

Das Bedeutung-Text-Modell: Wörterbuch und Grammatik einer integralen Sprachbeschreibung. Uni München, (2009)
 

Other publications of authors with the same name

Fixing Defects in Integrity Constraints via Constraint Mutation., and . QUATIC, page 74-82. IEEE Computer Society, (2018)A SWOT Analysis of the Object Constraint Language., , , , , and . STAF Workshops, volume 2999 of CEUR Workshop Proceedings, page 178-184. CEUR-WS.org, (2021)A UML/OCL framework for the analysis of graph transformation rules., , , and . Software and System Modeling, 9 (3): 335-357 (2010)UMLtoCSP: Una herramienta para la verificación de modelos UML/OCL mediante Constraint Programming., , , and . JISBD, page 385-386. Thomson Editorial, (2007)Diverse Scenario Exploration in Model Finders Using Graph Kernels and Clustering., and . ABZ, volume 12071 of Lecture Notes in Computer Science, page 27-43. Springer, (2020)A Prototype of an eLearning Platform in Support for Learning Analytics and Gamification., , , and . INCoS, page 362-369. IEEE, (2016)Analyzing rich-club behavior in open source projects., , , , and . OpenSym, page 6:1-6:9. ACM, (2019)Verification and validation of declarative model-to-model transformations through invariants, , , and . Journal of Systems and Software, 83 (2): 283--302 (February 2010)On the verification of UML/OCL class diagrams using constraint programming., , and . J. Syst. Softw., (2014)Analysing Graph Transformation Rules through OCL., , , and . ICMT@TOOLS, volume 5063 of Lecture Notes in Computer Science, page 229-244. Springer, (2008)