Martín Abadi - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged programming

Augmented Lagrangians in semi-infinite programmingJan-J. Rückmann, Alexander Shapiro. mp, 116(1-2):499-512, 2009. [doi]

High-level Programming Support for Robust Pervasive Computing ApplicationsWilfried Jouve, Julien Lancia, Nicolas Palix, Charles Consel, Julia L. Lawall. percom 2008: 252-255 [doi]

Quadratic convex reformulations for quadratic 0-1 programmingMarie-Christine Plateau. 4or, 6(2):187-190, 2008. [doi]

BSGP: bulk-synchronous GPU programmingtog, 27(3):19, 2008. [doi]

A trust region SQP algorithm for mixed-integer nonlinear programmingOliver Exler, Klaus Schittkowski. ol, 1(3):269-280, 2007. [doi]

An improved linearization strategy for zero-one quadratic programming problemsHanif D. Sherali, Jonathan Cole Smith. ol, 1(1):33-47, 2007. [doi]

Numerical solution for linear and quadratic programming problems using a recurrent neural networkA. Malek, M. Alipour. amc, 192(1):27-39, 2007. [doi]

IconicLisp: A Visual Lisp ProgrammingMuhammed S. Al-Mulhem. serp 2007: 701-703

JIAC IV in Multi-Agent Programming Contest 2007Axel Hessler, Benjamin Hirsch, Jan Keiser. promas 2008: 256-260 [doi]

Project prioritization under policy restrictions. A combination of MCDA with 0-1 programmingGeorge Mavrotas, Danae Diakoulaki, Y. Caloghirou. eor, 171(1):296-308, 2006. [doi]

Post-processing of Automatic Segmentation of Speech Using Dynamic ProgrammingMarcin Szymanski, Stefan Grocholewski. TSD 2006: 523-530 [doi]

Semidefinite programming bounds on the probability of error of binary communication systems with inexactly known intersymbol interferenceBing Hwa Cheng, Lieven Vandenberghe, Kung Yao. TIT, 51(8):2951-2954, 2005. [doi]

Another person s eye gaze as a cue in solving programming problemsRandy Stein, Susan Brennan. icmi 2004: 9-15 [doi]

Generating Benders Cuts for a General Class of Integer Programming ProblemsYingyi Chu, Quanshi Xia. cpaior 2004: 127-141 [doi]

Towards High-Level Programming Support for Scientific Computing on ClustersHans P. Zima. cluster 2001: 193 [doi]

Towards an Interactive Programming TutorPaula Roberts, Alan Mullally. webnet 2001: 1049-1050

Programming a Distributed Agent Society with COUGAARD. Moore. TOOLS 2001: 358 [doi]

Graphics Libraries for Windows ProgrammingM. Carmen Juan Lizandra. crossroads, 6(4), 2000. [doi]

Explaining and Controlling Ambiguity in Dynamic ProgrammingRobert Giegerich. cpm 2000: 46-59 [doi]

A Programming Methodology for Dual-Tier MulticomputersScott B. Baden, Stephen J. Fink. TSE, 26(3):212-226, 2000. [doi]

Cooperative research in underwater robot mission-level programming methodologiesÈve Coste-Manière, Howard H. Wang, Stephen M. Rock, Vincent Rigaud, Alexis Peuch, Michel Perrier. ijsysc, 29(10):1099-1110, 1998. [doi]

Two-Stage ProgrammingEdgar F. A. Lederer, Romeo A. Dumitrescu. FLOPS 1998: 296-313

Pipelined programming in PVMGabriella Dodero, R. Valia. jsa, 43(1-5):135-141, 1997.

Introduction of a distance cut-off into structural alignment by the double dynamic programming algorithmHiroyuki Toh. bioinformatics, 13(4):387-396, 1997.

A Theory of ObjectsMartín Abadi, Luca Cardelli. Monographs in Computer Science, Springer, April 1996.

Reliable Interactive Programming with ModulesSho-Huan Simon Tung, R. Kent Dybvig. lisp, 9(4):343-358, 1996.

1995 Joint Conference on Declarative Programming, GULP-PRODE 95, Marina di Vietri, Italy, September 11-14, 1995María Alpuente, Maria I. Sessa, editors, 1995.

Categories, Relations and Dynamic ProgrammingOege de Moor. mscs, 4(1):33-69, 1994.

1994 Joint Conference on Declarative Programming, GULP-PRODE 94 Peñiscola, Spain, September 19-22, 1994, Volume 1María Alpuente, Roberto Barbuti, Isidro Ramos, editors, 1994.

1994 Joint Conference on Declarative Programming, GULP-PRODE 94 Peñiscola, Spain, September 19-22, 1994, Volume 2María Alpuente, Roberto Barbuti, Isidro Ramos, editors, 1994.

A tutorial introduction to grammatical programmingChristopher N. Carlson. ifip5-2 1994: 73-84

From Dynamic Programming to Greedy AlgorithmsRichard S. Bird, Oege de Moor. ifip2-1 1993: 43-61

ESOP 92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, ProceedingsBernd Krieg-Brückner, editor, Volume 582 of Lecture Notes in Computer Science, Springer, 1992.

Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991John Darlington, Roland Dietrich, editors, Workshops in Computing, Springer, 1992.

Trends in robot kinematics, dynamics, control, sensing, programming, and simulationMohammed Jamshidi, Clément M. Gosselin. ras, 9(4):199-200, 1992. [doi]

ESOP 90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, ProceedingsNeil D. Jones, editor, Volume 432 of Lecture Notes in Computer Science, Springer, 1990.

Managing programming productivityD. Ross Jeffery, M. J. Lawrence. jss, 5(1):49-58, 1985. [doi]

Improved Algorithms for Integer Programming and Related Lattice ProblemsRavi Kannan. stoc 1983: 193-206

comments on Concepts and Notations for Concurrent Programming Surveyors Forum. ACM Comput. Surv., 15(4):375-377, 1983.

The Psychological Study of ProgrammingB. A. Sheil. ACM Comput. Surv., 13(1):101-120, 1981.

International Symposium on Programming, Proceedings of the Fourth Colloque International sur la Programmation , Paris, France, 22-24 April 1980Bernard Robinet, editor, Volume 83 of Lecture Notes in Computer Science, Springer, 1980.

An Inter-Organizational Comparison of Programming ProductivityD. Ross Jeffery, M. J. Lawrence. ICSE 1979: 369-377

Bicriterion linear programmingPakorn Adulbhan, Mario T. Tabucanon. cor, 4(2):147-153, 1977. [doi]

Minimal Representations of Some Classes of Dynamic ProgrammingToshihide Ibaraki. iandc, 27(4):289-328, April 1975.

Top-Down, Bottom-Up, and Structured ProgrammingCarma L. McClure. TSE, 1(4):397-403, 1975.

Programming and Documenting Software ProjectsP. J. Brown. ACM Comput. Surv., 6(4):213-220, 1974.

Concurrent Programming ConceptsPer Brinch Hansen. ACM Comput. Surv., 5(4):223-245, 1973.

An interactive display for approximation by linear programmingPaul S. LaFata, J. Ben Rosen. CACM, 13(11):651-659, 1970. [doi]

A comparison of the primal-simplex and primal-dual algorithms for linear programmingR. K. Mueller, L. Cooper. CACM, 8(11):682-686, 1965. [doi]

Micro-ProgrammingRobert J. Mercer. JACM, 4(2):157-171, 1957. [doi]

runs on WebDSL