Ulf Norell - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged programming

Dependently typed programming in AgdaUlf Norell. tldi 2009: 1-2 [doi]

Dependently Typed Programming in AgdaUlf Norell. afp 2009: 230-266 [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]

Cyclic games and linear programmingSergei G. Vorobyov. DAM, 156(11):2195-2231, 2008. [doi]

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

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

A numerical study of an infeasible primal-dual path-following algorithm for linear programmingM. Achache, H. Roumili, A. Keraghel. amc, 186(2):1472-1479, 2007. [doi]

Extension of a projective interior point method for linearly constrained convex programmingZ. Kebbiche, A. Keraghel, A. Yassine. amc, 193(2):553-559, 2007. [doi]

Steepest descent method for solving zero-one nonlinear programming problemsM. Anjidani, S. Effati. amc, 193(1):197-202, 2007. [doi]

Weighting method for bi-level linear fractional programming problemsSavita Mishra. eor, 183(1):296-302, 2007. [doi]

Nautilus, a Concurrent Diagrammatic Specification and Programming LanguageCláudio Naoto Fuzitaki, Paulo Blauth Menezes, Júlio Henrique Araújo Pereira Machado, Fernando D Andrea. tjs, 36(1):51-81, 2006. [doi]

The strong conical hull intersection property for convex programmingV. Jeyakumar. mp, 106(1):81-92, 2006. [doi]

Iterative dynamic programming for solving linear and nonlinear differential equationsS. Effati, H. Roohparvar. amc, 175(1):247-257, 2006. [doi]

A decomposition algorithm for solving large-scale quadratic programming problemsHui-min Li, Ke-Cun Zhang. amc, 173(1):394-403, 2006. [doi]

Solving Irregular Strip Packing problems by hybridising simulated annealing and linear programmingA. Miguel Gomes, José F. Oliveira. eor, 171(3):811-829, 2006. [doi]

Answer Set Programming and Combinatorial VotingRafal Grabos. Dagstuhl 2005: [doi]

Prototyping Generic Programming in Template HaskellUlf Norell, Patrik Jansson. mpc 2004: 314-333 [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]

Robot trajectory planning with semi-infinite programmingeor, 153(3):607-617, 2004. [doi]

Option strategies with linear programmingChristos Papahristodoulou. eor, 157(1):246-256, 2004. [doi]

PROMISE/scenarios: An interactive method for multiobjective stochastic linear programming under partial uncertaintyBruno Urli, Raymond Nadeau. eor, 155(2):361-372, 2004. [doi]

Polytypic Programming in HaskellUlf Norell, Patrik Jansson. IFL 2004: 168-184 [doi]

Non-differentiable second order symmetric duality in mathematical programming with F-convexityX. M. Yang, X. Q. Yang, K. L. Teo. eor, 144(3):554-559, 2003. [doi]

Programming Prioritized AlernationIan R. East. pdpta 2002: 531-537

Storytelling in computer programmingChristine Prasad. ascilite 2002: 932

Towards A Discipline of Dynamic ProgrammingRobert Giegerich. gi 2002: 3-44

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 Framework for Decision Support System for Deterministic Programming Models in Air Pollution ManagementW. Mohamed. ecs, 22(2), 2000. [doi]

Visual Motion Estimation via Second Order Cone ProgrammingYao Jianchao. icip 2000: 604-607

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

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

From Programming by Demonstration to Programming by WYSIWYGJCL (JVLC), 8(5-6):621-640, 1997.

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

The structure of an integral monoid and integer programming feasibilityJennifer Ryan. DAM, 28(3):251-263, 1990. [doi]

Concurrent Programming in COBKaoru Hosokawa, Hiroaki Nakamura, Tsutomu Kamimura. concur 1991: 142-156

Programming a Closely Coupled Multiprocessor System with Hight Level Petri NetsGerog Hartung. apn 1988: 154-174

Which Way to Computer Literacy, Programming or Applications Experience?Barbee T. Mynatt, Kirk H. Smith, Anita L. Kamouri, Teresa A. Tykodi. ijmms, 25(5):557-572, 1986.

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

International Symposium on Programming, 6th Colloquium, Toulouse, April 17-19, 1984, ProceedingsManfred Paul, Bernard Robinet, editors, Volume 167 of Lecture Notes in Computer Science, Springer, 1984.

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

Programming of Fast Real-Time SystemsBernd Güsmann, Ronald Hansen. wi, 24(7):375-380, 1982.

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]

Recursive programming in Fortran IIJames A. Ayers. CACM, 6(11):667-668, 1963. [doi]

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

runs on WebDSL