S. Doaitse Swierstra - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged programming

Advanced Functional Programming, 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised LecturesPieter W. M. Koopman, Rinus Plasmeijer, S. Doaitse Swierstra, editors, Volume 5832 of Lecture Notes in Computer Science, Springer, 2009. [doi]

Attribute grammars fly first-class: how to do aspect oriented programming in HaskellMarcos Viera, S. Doaitse Swierstra, Wouter Swierstra. ICFP 2009: 245-256 [doi]

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

Ruler: Programming Type RulesAtze Dijkstra, S. Doaitse Swierstra. FLOPS 2006: 30-46 [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]

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]

Programming Languages and Systems, 8th European Symposium on Programming, ESOP 99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 99, Amsterdam, The Netherlands, 22-28 March, 1999, ProceedingsS. Doaitse Swierstra, editor, Volume 1576 of Lecture Notes in Computer Science, Springer, 1999.

Advanced Functional Programming, Third International School, Braga, Portugal, September 12-19, 1998, Revised LecturesS. Doaitse Swierstra, Pedro Rangel Henriques, José N. Oliveira, editors, Volume 1608 of Lecture Notes in Computer Science, Springer, 1999.

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]

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.

Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP 96, Aachen, Germany, September 24-27, 1996, ProceedingsHerbert Kuchen, S. Doaitse Swierstra, editors, Volume 1140 of Lecture Notes in Computer Science, Springer, 1996.

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

Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP 95, Utrecht, The Netherlands, September 20-22, 1995, ProceedingsManuel V. Hermenegildo, S. Doaitse Swierstra, editors, Volume 982 of Lecture Notes in Computer Science, Springer, 1995.

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.

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