Tim Sheard - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged type system

Erasure and Polymorphism in Pure Type SystemsNathan Mishra-Linger, Tim Sheard. fossacs 2008: 350-364 [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]

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]

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]

Asymptotic initial-value method for a system of singularly perturbed second-order ordinary differential equations of convection-diffusion typeT. Valanarasu, N. Ramanujam. ijcm, 81(11):1381-1393, 2004. [doi]

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.

MetaML and multi-stage programming with explicit annotationsWalid Taha, Tim Sheard. TCS, 248(1-2):211-242, 2000. [doi]

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]

Swinging types=functions+relations+transition systemsPeter Padawitz. TCS, 243(1-2):93-165, 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.

Decidable Properties of Intersection Type SystemsToshihiko Kurata, Masako Takahashi. tlca 1995: 297-311

Extensions to Type Systems Can Preserve Operational EquivalencesJon G. Riecke, Ramesh Subrahmanyam. tacs 1994: 76-95

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

The ADABTPL Type SystemLeonidas Fegaras, Tim Sheard, David W. Stemple. DBPL 1990: 207-218 [doi]

Construction and Calculus of Types for Database SystemsDavid W. Stemple, Tim Sheard. DBPL 1990: 3-22 [doi]

Operating System Support for Abstract Data(base) TypesDavid W. Stemple, Krithi Ramamritham, Stephen Vinter, Tim Sheard. icod 1983: 179-195

An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data TypesUlrich Bartels, Walter G. Olthoff, Peter Raulefs. ki 1981: 112-123

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