Joost Visser - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged type system

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

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

Multi-class Vehicle Type Recognition SystemXavier Clady, Pablo Negri, Maurice Milgram, Raphael Poulenard. annpr 2008: 228-239 [doi]

Applying Bootstrap method to the types I-II errors in the measurement systemF. K. Wang, S. W. Yang. qre, 24(1):83-97, 2008. [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]

A type-level approach to component prototypingLuís Barbosa, Jácome Cunha, Joost Visser. ESEC/FSE 2007: 23-36 [doi]

MC::2:: A module calculus for Pure Type SystemsJudicaël Courant. JFP, 17(3):287-352, 2007. [doi]

A Study on a Stereoscopic Display System Using a Rotary Disk Type Beam ShutterKwang Hyung Lee, Tae-Jeong Jang. hci 2007: 868-875 [doi]

A third-order Newton-type method to solve systems of nonlinear equationsM. T. Darvishi, A. Barati. amc, 187(2):630-635, 2007. [doi]

Blow up solutions for one class of system of Pekar-Choquard type nonlinear Schrödinger equationJianqing Chen, Boling Guo. amc, 186(1):83-92, 2007. [doi]

Stabilization of some fractional delay systems of neutral typeCatherine Bonnet, Jonathan R. Partington. automatica, 43(12):2047-2053, 2007. [doi]

Type Approving the Signaling SystemsHassan Moradi, Hassan Yeganeh, Maryam Fallahpour. cnsr 2007: 314-316 [doi]

New types child units ofanchor climber: swarm type wall climbing robot systemMasataka Suzuki, Shinya Kitai, Shigeo Hirose. iros 2007: 1781-1786 [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]

A multiple warm standby system with operational and repair times following phase-type distributionsRafael Pérez-Ocón, Delia Montoro-Cazorla. eor, 169(1):178-188, 2006. [doi]

Splitting-type method for systems of variational inequalitiesIgor V. Konnov. cor, 33:520-534, 2006. [doi]

Resolving the Conflict between Competitive and Cooperative Behavior in Michigan-Type Fuzzy Classifier SystemsPeter Haslinger, Ulrich Bodenhofer. eusflat 2005: 279-284 [doi]

Towards an Intersection Typed System ::::à la:::: ChurchLuigi Liquori, Simona Ronchi Della Rocca. ENTCS, 136:43-56, 2005. [doi]

Stabilization of Block-Type-Decodability Properties for Constrained SystemsPanu Chaichanavong, Brian H. Marcus. siamdm, 19(2):321-344, 2005. [doi]

Types, potency, and idempotency: why nonlinearity and amnesia make a type system workPeter Møller Neergaard, Harry G. Mairson. ICFP 2004: 138-149 [doi]

Convergence of Hermite-Feje r type interpolation of higher order on an arbitrary system of nodesYing Guang Shi. jat, 129(1):102-117, 2004. [doi]

New Kamenev type oscillation criteria for linear matrix Hamiltonian systemsYuan Gong Sun. amc, 158(1):69-78, 2004. [doi]

Forced oscillations of solutions of systems of hyperbolic equations of neutral typeEmil Minchev. amc, 155(2):427-438, 2004. [doi]

A hierarchy of probabilistic system typesFalk Bartels, Ana Sokolova, Erik P. de Vink. TCS, 327(1-2):3-22, 2004. [doi]

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

Convergence of Hermite-Fejér type interpolation of higher order on an arbitrary system of nodesYing Guang Shi. jat, 123(2):173-187, 2003. [doi]

A hierarchy of probabilistic system typesFalk Bartels, Ana Sokolova, Erik P. de Vink. ENTCS, 82(1):57-75, 2003. [doi]

A System of Card Type Battery-Less Information Terminal: CardBIT for Situated InteractioYoshiyuki Nakamura, Takuichi Nishimura, Hideo Itoh, Hideyuki Nakashima. percom 2003: 369-377 [doi]

Formalizing Types with Ultimate Closure for Middleware Tools in Information Systems EngineeringB. Nick Rossiter, David A. Nelson, Michael A. Heather. ICEIS 2003: 366-373

A Simple Type System for Program ReengineeringI. Guilfanov. WCRE 2001: 357-361 [doi]

Pure type systems with explicit substitutionRoel Bloo. mscs, 11(1):3-19, 2001.

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

A Type System for Dynamic Web DocumentsAnders Sandholm, Michael I. Schwartzbach. POPL 2000: 290-301 [doi]

A Booking Type Production System as a Collaboration Method for Virtual EnterprisesY. Nishioka, Y. Kamio, K. Kawashima, Y. Fukuda. ifip5-3 2001: 164-172

Non-network Type Artificial Immune System and its Application to Automated Guided Vehicle (AGV) SystemBen T. Nohara, Hiroko Takahashi. jaciii, 4(1):111-119, 2000. [doi]

Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract)A. J. Kfoury, Harry G. Mairson, Franklyn A. Turbak, J. B. Wells. ICFP 1999: 90-101 [doi]

An innovative estimation method with own-ship estimator for an allaccelerometer-type inertial navigation systemSou-Chen Lee, Cheng-Yu Liu. ijsysc, 30(12):1259-1266, 1999. [doi]

Integrating multiple and diverse abstract knowledge types in real-time embedded systemsAlan Harrison, Peter G. Thomas. kbs, 9(7):417-434, 1996. [doi]

Generalising the BETA Type SystemSøren Brandt, Jørgen Lindskov Knudsen. ECOOP 1996: 421-448 [doi]

Embedding a Second Order Type System into an Intersection Type SystemHirofumi Yokouchi. iandc, 117(2):206-220, March 1995.

GGeo-Type Approximations for General Discrete-Time Queueing SystemsDemetres D. Kouvatsos, Nasreddine Tabet-Aouel. atmn 1993: 469-483

Extending AlgBench with a Type SystemStephan A. Missura. disco 1993: 359-363

The System FLORA: Learning from Type-Varying Training SetsMiroslav Kubat, Jirina Pavlickova. ecml 1991: 234

An Extended Polymorphic Type System for Applicative LanguagesMario Coppo. mfcs 1980: 194-204

Bounds on the Scheduling of Typed Task SystemsJeffrey M. Jaffe. SICOMP, 9(3):541-551, 1980.

List Tracing in Systems Allowing Multiple Cell-TypesRobert Fenichel. CACM, 14(8):522-526, 1971.

Systems of Transfinite Types Involving lambda-ConversionMaurice L Abbe. JSYML, 18(3):209-224, 1953.

runs on WebDSL