Jordi Cabot - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged transformation

Generating operation specifications from UML class diagrams: A model transformation approachManoli Albert, Jordi Cabot, Cristina Gómez, Vicente Pelechano. DKE, 70(4):365-389, 2011. [doi]

Theory and Practice of Model Transformations, Fourth International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. ProceedingsJordi Cabot, Eelco Visser, editors, Volume 6707 of Lecture Notes in Computer Science, Springer, June 2011. [doi]

Theory and Practice of Model Transformations - 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. ProceedingsJordi Cabot, Eelco Visser, editors, Volume 6707 of Lecture Notes in Computer Science, Springer, 2011. [doi]

Towards a General Composition Semantics for Rule-Based Model TransformationDennis Wagelaar, Massimo Tisi, Jordi Cabot, Frédéric Jouault. In Proceedings of MoDELS 2011. 2011: 623-637 [doi]

Improving Higher-Order Transformations Support in ATLMassimo Tisi, Jordi Cabot, Frédéric Jouault. ICMT 2010: 215-229 [doi]

From UML/OCL to SBVR specifications: A challenging transformationJordi Cabot, Raquel Pau, Ruth Raventós. is, 35(4):417-440, 2010. [doi]

Lightweight Executability Analysis of Graph Transformation RulesElena Planas, Jordi Cabot, Cristina Gómez, Esther Guerra, Juan de Lara. vl 2010: 127-130 [doi]

Synthesis of OCL Pre-conditions for Graph Transformation RulesJordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara. ICMT 2010: 45-60 [doi]

A UML/OCL framework for the analysis of graph transformation rulesJordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara. SoSyM, 9(3):335-357, 2010. [doi]

Verification and validation of declarative model-to-model transformations through invariantsJordi Cabot, Robert ClarisÃ³, Esther Guerra, Juan de Lara. jss, 83(2):283-302, 2010. [doi]

On a class of transformations of copulas and quasi-copulasElisabetta Alvoni, Pier Luigi Papini, Fabio Spizzichino. fss, 160(3):334-343, 2009. [doi]

Analysing Graph Transformation Rules through OCLJordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara. ICMT 2008: 229-244 [doi]

An Invariant-Based Method for the Analysis of Declarative Model-to-Model TransformationsJordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara. MoDELS 2008: 37-52 [doi]

Transformation techniques for OCL constraintsJordi Cabot, Ernest Teniente. SCP, 68(3):179-195, 2007. [doi]

Tool Support for Model Checking of Web Application DesignsMarco Brambilla, Jordi Cabot, Nathalie Moreno. ICWE 2007: 533-538 [doi]

Static validation of XSL transformationsAnders Møller, Mads Østerby Olesen, Michael I. Schwartzbach. TOPLAS, 29(4):21, 2007. [doi]

Reduction Transformations in ORMTerry A. Halpin, Andy Carver, Kevin M. Owen. otm 2007: 699-708 [doi]

Existence of Similarity Transformation Converting BMIs to LMIsJi-Chang Lo, Min-Long Lin. tfs, 15(5):840-851, 2007. [doi]

Numerical Simulation of Phase Transformations in Shape Memory Alloy Thin FilmsD. Roy Mahapatra, Roderick V. N. Melnik. iccS 2006: 114-121 [doi]

A comparison between Cole-Hopf transformation and the decomposition method for solving Burgers equationsAlice Gorguis. amc, 173(1):126-136, 2006. [doi]

The role of common point distribution in obtaining reliable parameters for coordinate transformationHakan S. Kutoglu, Tevfik Ayan. amc, 176(2):751-758, 2006. [doi]

CPS transformation of beta-redexesOlivier Danvy, Lasse R. Nielsen. ipl, 94(5):217-224, 2005. [doi]

Obtaining Affine Transformations to Improve Locality of Loop NestsNickolai A. Likhoded, S. V. Bakhanovich, A. V. Zherelo. pcs, 31(5):270-281, 2005. [doi]

Typage des collections topologiques hétérogènes et des transformationsJulien Cohen. tsi, 24(9):1081-1111, 2005. [doi]

Variation of the Wiener index under tree transformationsJuan Rada. DAM, 148(2):135-146, 2005. [doi]

Transformations of self-stabilizing algorithmsKleoni Ioannidou. jhsn, 14(1):85-105, 2005. [doi]

Two Linear Transformations each Tridiagonal with Respect to an Eigenbasis of the other; Comments on the Parameter ArrayPaul Terwilliger. dcc, 34(2-3):307-332, 2005. [doi]

A New One-Pass Transformation into Monadic Normal FormOlivier Danvy. cc 2003: 77-89 [doi]

Mid-sagittal cut to area function transformations: Direct measurements of mid-sagittal distance and area with MRIA. Soquet, V. Lecuit, T. Metens, D. Demolin. speech, 36(3-4):169-180, 2002. [doi]

A Selective CPS TransformationLasse R. Nielsen. ENTCS, 45:311-331, 2001. [doi]

BINGOOO - Die Transformation des World Wide Web zur virtuellen DatenbankWolf Garbe. wi, 43(5):511-515, 2001.

A Frequency Domain Technique Based on Energy Radial Projections for Robust Estimation of Global 2D Affine Transformations: Volume 81(1): 72-116 (2001)Luca Lucchese. cviu, 82(1):82-83, 2001. [doi]

2-Symmetric Transformations for 3-Manifolds of Genus 2Luigi Grasselli, Michele Mulazzani, Roman Nedela. JCT, 79(2):105-130, 2000. [doi]

Transformation of the Health Care Industry by eMedicine: From Low-Tech Low-Touch to High-Tech High-TouchArkalgud Ramaprasad, Grace J. Johnson. aiworc 2000: 177-182 [doi]

Structural Computing Requirements for the Transformation of Structures and BehaviorsKenneth M. Anderson. ohs 2000: 140-146 [doi]

A Loop Transformation Algorithm for Communication OverlappingKazuaki Ishizaki, Hideaki Komatsu, Toshio Nakatani. ijpp, 28(2):135-154, 2000.

Multiresolution Video Segmentation Using Wavelet TransformationHong-heather Yu, Wayne Wolf. spieSR 1998: 176-187

Signal-to-Symbol Transformation and Vice Versa: From Fundamental Processes to RepresentationRuzena Bajcsy. ACM Comput. Surv., 27(3):310-313, 1995.

Separating Stages in the Continuation-Passing Style TransformationJulia L. Lawall, Olivier Danvy. POPL 1993: 124-136

Representing Control: A Study of the CPS TransformationOlivier Danvy, Andrzej Filinski. mscs, 2(4):361-391, 1992.

A combinatorial construction for products of linear transformations over a finite fieldIan P. Goulden, David M. Jackson. JCT, 53(1):157-160, 1990. [doi]

Comparison at high spatial frequencies of two-pass and one-pass geometric transformation algorithmsDonald Fraser. cvgip, 46(3):267-283, 1989. [doi]

A fast algorithm for the discrete laplace transformationVladimir Rokhlin. jc, 4(1):12-32, 1988. [doi]

Konstruktion korrekter Programme durch TransformationHelmuth Partsch, Bernhard Möller. insk, 10(6):309-323, 1987.

An algorithm for transformations of pictures represented by quadtreesFrans J. Peters. cvgip, 32(3):397-403, 1985. [doi]

Automating the Transformational Development of SoftwareStephen Fickas. TSE, 11(11):1268-1277, 1985.

Type TransformationsDavid S. Wile. TSE, 7(1):32-39, 1981.

Corrigenda: Geometric Projection and Viewing TransformationsIngrid Carlbom, Joseph Paciorek. ACM Comput. Surv., 11(3):280, 1979.

Die diskrete Walsh-Transformation zur Spektralanalyse des Elektroencephalogramms (EEG) bei psychophysiologischen UntersuchungenHans Bäumler, Klaus-Dieter Wernecke, Josef Michel. eik, 13(11):561-570, 1977.

Implementing Clenshaw-Curtis Quadrature, II Computing the Cosine TransformationW. Morven Gentleman. CACM, 15(5):343-346, 1972.

runs on WebDSL