Martín Abadi - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged meta-model

Economic Models with Chaotic Money ExchangeCarmen Pellicer-Lostao, Ricardo López-Ruiz. iccS 2009: 43-52 [doi]

A Model of Dynamic Separation for Transactional MemoryMartín Abadi, Tim Harris, Katherine F. Moore. concur 2008: 6-20 [doi]

Heart vs. ModelKai Neumann. idt, 2(2):133-137, 2008. [doi]

On-Line 3D Geometric Model ReconstructionH. Zolfaghari, K. Khalili. iccS 2008: 146-152 [doi]

A Multiphysics Model of Myoma GrowthDominik Szczerba, Bryn A. Lloyd, Michael Bajka, Gábor Székely. iccS 2008: 187-196 [doi]

Using Multiple Models to Imitate the YMCAAxel Tidemann. kesamsta 2008: 783-792 [doi]

An Interaction Model for the Quantification of Haptic ImpressionsThorsten Alexander Kern, Albert Schaeffer, Roland Werthschützky. haptics 2008: 139-145 [doi]

Modelling-in-the-LargeAnthony Finkelstein. RE 2007: [doi]

Extended Phase Diagram of the Lorenz ModelH. R. Dullin, S. Schmidt, P. H. Richter, S. K. Grossmann. IJBC, 17(9):3013-3033, 2007. [doi]

Gesture Modelling for Linguistic PurposesGuillaume J.-L. Olivrin. gw 2009: 145-150 [doi]

Separability in the fixed part of multilevel modelsGeorges Van Landeghem, Patrick Onghena, Jan Van Damme. csda, 50(10):2902-2919, 2006. [doi]

Computer Model of Emotional AgentsDilyana Budakova, Lyudmil Dakovski. pet 2006: 450 [doi]

Performance modelling and evaluation of heterogeneous networksDemetres D. Kouvatsos, Daniel Kofman. pe, 59:99-101, 2005. [doi]

Multicut-HDMR with an application to an ionospheric modeljcc, 25(9):1149-1156, 2004. [doi]

Ubiquitous computing technology in infrastructureless environmentsMichael Kreutzer, Martin Kähmer. SMC 2004: 5639-5644 [doi]

Modelling Developmental Regulatory NetworksTommy Krul, Jaap A. Kaandorp, Joke G. Blom. iccS 2003: 688-697 [doi]

Molecular modelling studies on the ORL1-receptor and ORL1-agonistsBritta M. Bröer, Marion Gurrath, Hans-Dieter Höltje. jcamd, 17(11):739-754, 2003.

Molecular model of the neural dopamine transporterAina Westrheim Ravna, Ingebrigt Sylte, Svein G. Dahl. jcamd, 17(5-6):367-382, 2003.

A neural ensemble model of the respiratory central pattern generator: properties of the minimal modelWitali L. Dunin-Barkowski, Andrew T. Lovering, John M. Orem. ijon, 44-46:381-389, 2002. [doi]

Monte Carlo simulations of Sznajd modelsDietrich Stauffer. jasss, 5(1), 2002. [doi]

A Simple Graphical Tool For Modelling TrustSteve Purser. compsec, 20(6):479-484, 2001.

An Assessment Model for Distance Education CoursesThaisa Barbosa, Eduardo Albuquerque. webnet 2001: 4

Issues on Modelling Distance Learning EnvironmentsAdja Andrade, Beatriz Regina Tavares Franciosi, Adriana Beiler, Paulo Wagner. webnet 2001: 35-40

Model of the Chydenial Network UniversityJukka Mäki, Ilkka Luoto. webnet 2001: 813

The Assesment in an on line Learning Model of MarketingM. Magdalena Maldonado. webnet 2001: 814-815

Learning art with computers - a LISREL modelB. Mak. jcal, 17(1):94-103, 2001. [doi]

Automatic adjustment of invalid feature modelsAlex Noort, Willem F. Bronsvoort. wm 2001: 267-277 [doi]

Neural Networks for Economic and Financial ModellingAndrea Beltratti, Sergio Margarita, Pietro Terna. jasss, 2(2), 1999. [doi]

Poisson models for noisy nonlinear devicesG. J. Coram, J. L. Wyatt. iscas 1999: 318-321 [doi]

Decision model for legacy systemsKeith H. Bennett, Magnus Ramage, Malcolm Munro. iee, 146(3):153-159, 1999.

Simple systems - simple models?S. J. New. ifip5-7 1998: 553-560

Theoretical research on networks: models and methodologyArnold L. Rosenberg. sirocco 1997: 282-293

Secure Network ObjectsLeendert van Doorn, Martín Abadi, Michael Burrows, Edward Wobber. sp 1996: 211-221 [doi]

An Imperative Object Calculus (Invited Paper)Martín Abadi, Luca Cardelli. tapos, 1(3):151-166, 1995.

Documentary Abstracting: Toward a Methodological ModelMaria Pinto Molina. jasis, 46(3):225-234, 1995.

A system for modelling and visualization of cloth materialHing N. Ng, Richard L. Grimsdale, W. G. Allen. cg, 19(3):423-430, 1995. [doi]

Model Matching and SFMD ComputationSteven Rehfuss, Dan W. Hammerstrom. nips 1996: 713-719 [doi]

Models for ReactivityZohar Manna, Amir Pnueli. ACTA, 30(7):609-678, 1993.

Text retrieval and the relational modelIan A. Macleod. jasis, 42(3):155-165, 1991.

The Transport Models in FMS SimulationJuraj Kubis, Eva Kucháriková. ifip5-3 1992: 273-280

A Per Model of Polymorphism and Recursive TypesMartín Abadi, Gordon D. Plotkin. lics 1990: 355-365

A mathematical model of retrieval system performanceDavis B. McCarn, Craig M. Lewis. jasis, 41(7):495-500, 1990.

A Functional Model of a Simplified Sequential MachineJerzy A. Piotrowski. ipl, 35(3):161-166, 1990.

IMS Transaction Modelling and Response Time Validation Using Analytical Queueing ModelsRaymond A. Clarke. cmg 1988: 1088-1091

Constructing a model of dialogMare Koit. COLING 1988: 332-334

Petri net models for the lambda-calculusErik Meijer. apn 1987: 162-180

Queueing Models: Beyond the BasicsJeffrey P. Buzen. cmg 1986: 727-732

On Conceptual Modelling (Intervale)1982.

Critical Remarks on MAX Model of ConcurrencyAndrzej Salwicki. lop 1982: 397-405

Omitting ModelsErnest Snapper. JSYML, 42(1):29-32, 1977.

runs on WebDSL