Joost Visser - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged transformation system

Transformation of structure-shy programs with application to XPath queries and strategic functionsAlcino Cunha, Joost Visser. SCP, In Press, Corrected Proof, 2010. [doi]

Correctness of high-level transformation systems relative to nested conditionsAnnegret Habel, Karl-Heinz Pennemann. mscs, 19(2):245-296, 2009. [doi]

Coupled Transformation of Schemas, Documents, Queries, and ConstraintsJoost Visser. ENTCS, 200(3):3-23, 2008. [doi]

Transformational Pattern System - Some Assembly RequiredMika Siikarla, Tarja Systä. ENTCS, 211:63-74, 2008. [doi]

Gramian-Preserving Frequency Transformation for Linear Discrete-Time State-Space SystemsShunsuke Koshita, Satoru Tanaka, Masahide Abe, Masayuki Kawamata. ieicet, 91-A(10):3014-3021, 2008. [doi]

The Cole-Hopf transformation and improved tanh-coth method applied to new integrable system (KdV6)Cesar A. Gómez S, Alvaro H. Salas. amc, 204(2):957-962, 2008. [doi]

Floquet transformations for discrete-time systems: Equivalence between periodic systems and time-invariant onesYoshikazu Hayakawa, Tomohiko Jimbo. cdc 2008: 5140-5145 [doi]

Thalamocortical transformations of periodic stimuli: the effect of stimulus velocity and synaptic short-term depression in the vibrissa-barrel systemJaime de la Rocha, Néstor Parga. jcns, 25(1):122-140, 2008. [doi]

Gramian-preserving frequency transformation for linear discrete-time systems using normalized lattice structureShunsuke Koshita, Satoru Tanaka, Masahide Abe, Masayuki Kawamata. iscas 2008: 1124-1127 [doi]

Transformation Matrix System for Reducing the Computational Complexity of Wireless Multi-User Receivers for DS-CDMA SystemsSyed Sajjad Rizvi, Aasia Riasat, Khaled M. Elleithy. itng 2008: 1251-1252 [doi]

On the Construction of Transformation Steps in the Category of Multiagent SystemsThomas Soboll. AISC 2008: 184-190 [doi]

Strongly Typed Rewriting For Coupled Software TransformationAlcino Cunha, Joost Visser. ENTCS, 174(1):17-34, 2007. [doi]

Transformation of structure-shy programs: applied to XPath queries and strategic functionsAlcino Cunha, Joost Visser. PEPM 2007: 11-20 [doi]

Coupled Schema Transformation and Data Conversion for XML and SQLPablo Berdaguer, Alcino Cunha, Hugo Pacheco, Joost Visser. PADL 2007: 290-304 [doi]

Channel Estimation Scheme with Low Complexity Discrete Cosine Transformation in MIMO-OFDM SystemDaisuke Takeda, Yasuhiko Tanabe, Kazumi Sato. vtc 2007: 486-490 [doi]

Strong types for relational databasesAlexandra Silva, Joost Visser. haskell 2006: 25-36 [doi]

Type-Safe Two-Level Data TransformationAlcino Cunha, José Nuno Oliveira, Joost Visser. FM 2006: 284-299 [doi]

Formal Transformation in Pipeline SystemsMohamad Al-Laham. ecs, 28(3):57-65, 2006.

Learning invariant object recognition in the visual system with continuous transformationsSimon M. Stringer, G. Perry, Edmund T. Rolls, J. H. Proske. bc, 94(2):128-142, 2006. [doi]

Gramian-preserving frequency transformation for linear continuous-time state-space systemsShunsuke Koshita, Masahide Abe, Masayuki Kawamata. iscas 2006: [doi]

Interacting with notations: two examples of the use of a transformation systemSilas S. Brown, Peter Robinson. uais, 4(2):96-104, 2005. [doi]

A formalism for functionality preserving system level transformationsSamar Abdi, Daniel Gajski. aspdac 2005: 139-144 [doi]

Generalized laplace transformations and integration of hyperbolic systems of linear partial differential equationsSergey P. Tsarev. issac 2005: 325-331 [doi]

Scalable Automated Verification via Expert-System Guided TransformationsHari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman, Andreas Kuehlmann. FMCAD 2004: 159-173 [doi]

Transformation-Oriented Middleware for Legacy System IntegrationGuido Menkhaus, Urs Frei. ICEIS 2004: 202-209

Generic Traversal over Typed Source Code RepresentationsJoost Visser. PhD thesis, University of Amsterdam, Amsterdam, The Netherlands, 2003.

Stereo System for Tracking Moving Object Using Log-Polar Transformation and Zero Disparity FilteringIl Choi, Jong-Gun Yoon, Young-Beum Lee, Sung-Il Chien. caip 2003: 182-189 [doi]

XT: a bundle of program transformation toolsMerijn de Jonge, Eelco Visser, Joost Visser. ENTCS, 44(2):79-86, 2001. [doi]

Evolution of Affine Transformations and Iterated Function Systems Using Hierarchical Evolution StrategyAnargyros Sarafopoulos. eurogp 2001: 176-191 [doi]

Functional Transformation SystemsJan Kort, Ralf Lämmel, Joost Visser. wflp 2000: 154-168

System Description: TRAMP: Transformation of Machine-Found Proofs into ND-Proofs at the Assertion LevelAndreas Meier. cade 2000: 460-464

Discourses on the Interaction of Information Systems, Organizations, and Society: Reformation and TransformationRichard Baskerville, Jan Stage. ifip9-3 2000: 1-14

Arithmetic Co-Transformations in the Real and Complex Logarithmic Number SystemsMark G. Arnold, Thomas A. Bailey, John R. Cowles, Mark D. Winkel. TC, 47(7):777-786, 1998.

Query Transformation for Heterogeneous Provider Systems in MedocKai Großjohann, Dirk Menke. medoc 1998: 79-87 [doi]

Applications of the TAMPR Transformation SystemTerence J. Harmer, Patrick J. McParland, James M. Boyle. iwfm 1998:

Lexical Choice and Syntactic Generation in a Transfer System: Transformations in the New LMT English-German SystemClaudia Gdaniec. amta 1998: 408-420 [doi]

Affine Transformations in SIGNAL and Their Application in the Specification and Validation of Real-Time SystemsIrina M. Smarandache, Paul Le Guernic. arts 1997: 233-247

Reactive Systems Developing by Formal Specification TransformationsAmmar Attoui, Abdelfettah Hasbani. dexaw 1997: 339-344

Arithmetic Co-transformations in the Real and Complex Logarithmic Number SystemsMark G. Arnold, Thomas A. Bailey, John R. Cowles, Mark D. Winkel. arith 1997: 190-199 [doi]

Specification and Transformation of Reactive Systems with Time Restrictions and ConcurrencyMichael Schenke. ftrtft 1994: 605-620

Transformation of Doacross Loops on Distributed Memory SystemsA. Zaafrani, Mabo Robert Ito. ipps 1993: 824-829

Behavior tables: a basis for system representation and transformational system synthesisKamlesh Rath, M. Esen Tuna, Steven D. Johnson. iccad 1993: 736-740 [doi]

Uniformization and Exponential Transformation: Techniques for Fast Simulation of Highly Dependable Non-Markovian SystemsVictor F. Nicola, Philip Heidelberger, Perwez Shahabuddin. ftcs 1992: 130-139

Transformation of computation formulae in systems of recurrence relationsEugene V. Zima. eurocal 1989: 223-224

Computerised system of analytic transformations for analysing of differential equationsVladislav L. Katkov, Michail D. Popov. eurocal 1989: 179-185

TRANSPLINE - A System for Representing Curves Using Transformations Among four Spline FormulationsBrian A. Barsky, Spencer W. Thomas. cj, 24(3):271-277, 1981.

Intertwined Recursion, Tree Transformations, and Linear SystemsMichael A. Arbib, Ernest G. Manes. iandc, 40(2):144-180, February 1979.

Calculation of Eigenvalues of Systems of ODE s Using the Riccati TransformationJ. Stuart Bramley. ode 1979: 311-318

A Fast ::::Z:::: Transformation Algorithm for System IdentificationMichael J. Corinthios. TC, 26(1):55-67, 1977.

An adaptable, modular data - collection system suitable for scientific experimentation: analog to digital transformation, short - term digital storage, formatted digital tape - recording, and computer entry of experimental dataHarold H. Shlevin. afips 1976: 295-300 [doi]

runs on WebDSL