← Back to directory
Robert Clarisó
Researcher Next ID · RN-035190
Researcher · Biochemistry, Genetics and Molecular Biology
Universitat Oberta de Catalunya
Barcelona, Spain
Accepting doctoral researchersFunding unknown
- Works count
- 989
- Citation count
- 1,711
- H-index
- 20
- i10-index
- 38
Research interests
Biochemistry, Genetics and Molecular Biology
Computer Science
Neuroscience
Physics and Astronomy
Bioinformatics and Genomic Networks
Neurotransmitter Receptor Influence on Behavior
Complex Network Analysis Techniques
Software Engineering Research
Data Visualization and Analytics
Publications
On the verification of UML/OCL class diagrams using constraint programming
Journal of Systems and Software · 2014 · 10.1016/j.jss.2014.03.023
Verification and validation of declarative model-to-model transformations through invariants
Journal of Systems and Software · 2009 · 10.1016/j.jss.2009.08.012
Verification of UML/OCL Class Diagrams using Constraint Programming
Journal · 2008 · https://doi.org/10.1109/icstw.2008.54
UMLtoCSP
· 2007 · 10.1145/1321631.1321737
Current projects
No projects listed.