João Saraiva - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged transformation

Generative and Transformational Techniques in Software Engineering III - International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised PapersJoao M. Fernandes, Ralf Lämmel, Joost Visser, João Saraiva, editors, Volume 6491 of Lecture Notes in Computer Science, Springer, 2011. [doi]

Strictification of circular programsJoão Paulo Fernandes, João Saraiva, Daniel Seidel, Janis Voigtländer. PEPM 2011: 131-140 [doi]

Pre-proceedings of the 3rd International Summer School on Generative and Transformational Techniques in Software EngineeringJoão M. Fernandes, Ralf Lämmel, João Saraiva, Joost Visser, editors, 2009.

From spreadsheets to relational databases and backJácome Cunha, João Saraiva, Joost Visser. PEPM 2009: 179-188 [doi]

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

Semi-parametric nonlinear regression and transformation using functional networksEnrique Castillo, Ali S. Hadi, Beatriz Lacruz, Rosa Eva Pruneda. csda, 52(4):2129-2157, 2008. [doi]

Generative and Transformational Techniques in Software Engineering II, International Summer School, GTTSE 2007Ralf Lämmel, Joost Visser, João Saraiva, editors, Volume 5235 of Lecture Notes in Computer Science, Springer, Braga, Portugal, July 2008.

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]

Transformations for accelerating MCMC simulations with broken ergodicityMark Fleischer. wsc 2007: 658-666 [doi]

Generative and Transformational Techniques in Software Engineering, International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised PapersRalf Lämmel, João Saraiva, Joost Visser, editors, Volume 4143 of Lecture Notes in Computer Science, Springer, 2006.

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]

Horizontal Transformation of PSMsJamal Abd-Ali, Karim El Guemhioui. ECMDA-FA 2005: 299-315 [doi]

Application of differential transformation to transient advective-dispersive transport equationCha o-Kuang Chen, Shin-Ping Ju. amc, 155(1):25-38, 2004. [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.

Karhunen-Loeve Transformation for Optimal Color Feature GenerationMehmet Celenk, Ivan Chang. pics 2000: 307-311 [doi]

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

Numeric Deduction in Symbolic Computation. Application to Normalizing TransformationsIvan I. Shevchenko. JSC, 24(1):103-111, 1997.

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

Transformation and synthesis of FSMs for low-power gated-clock implementationIn ISLPD. 1995: 21-26 [doi]

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

Sequential to Parallel Fortran Transformation Assistance ToolMichael R. Franks, Min-You Wu. ppsc 1993: 793-797

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