Luca Aceto - 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]

Low-latency time-portable real-time programming with ExotasksJoshua S. Auerbach, David F. Bacon, Daniel T. Iercan, Christoph M. Kirsch, V. T. Rajan, Harald Röck, Rainer Trummer. tecs, 8(2), 2009. [doi]

Inexact de Novo programming for water resources systems planningY. M. Zhang, G. H. Huang, X. D. Zhang. eor, 199(2):531-541, 2009. [doi]

Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I: Tack A: Algorithms, Automata, Complexity, and GamesLuca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz, editors, Volume 5125 of Lecture Notes in Computer Science, Springer, 2008.

Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography FoundationsLuca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz, editors, Volume 5126 of Lecture Notes in Computer Science, Springer, 2008.

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

Disjunctive cuts for continuous linear bilevel programmingCharles Audet, Jean Haddad, Gilles Savard. ol, 1(3):259-267, 2007. [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]

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]

Eventrons: a safe programming construct for high-frequency hard real-time applicationsDaniel Spoonhower, Joshua S. Auerbach, David F. Bacon, Perry Cheng, David Grove. PLDI 2006: 283-294 [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]

Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 2nd Intl. ASP 03 Workshop, Messina, Italy, September 26-28, 2003Marina De Vos, Alessandro Provetti, editors, Volume 78 of CEUR Workshop Proceedings, CEUR-WS.org, 2003.

Multistage programming support in CLIGiuseppe Attardi, Antonio Cisternino. iee, 150(5):275-282, 2003. [doi]

Programming Autonomous Robots in CurryMichael Hanus, Klaus Höppner. ENTCS, 76:178-196, 2002. [doi]

Quantitative Stability in Stochastic Programming: The Method of Probability MetricsSvetlozar T. Rachev, Werner Römisch. mor, 27(4):792-818, 2002. [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]

Coordinate free programming of computational fluid dynamics problemsPhilip W. Grant, Magne Haveraaen, Michael F. Webster. sp, 8(4):211-230, 2000.

A Choice-Point Library for Backtrack ProgrammingPierre-Etienne Moreau. ICLP 1998: 16-31

Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET 98) 8-12 June 1998, Shelter Island, New York, USADavid Gries, Willem P. de Roever, editors, Volume 125 of IFIP Conference Proceedings, Chapman and Hall, 1998.

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]

1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE 98, A Coruña, Spain, July 20-23, 1998José Luis Freire-Nistal, Moreno Falaschi, Manuel Vilares Ferro, editors, 1998.

A Unified Computation Model for Declarative ProgrammingMichael Hanus. agp 1997: 9-24

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.

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.

Programming with ASN.1 Using Polymorphic Types and Type SpecializationR. Greg Lavender, Dennis G. Kafura, R. W. Mullins. ulpaa 1994: 151-166

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

Relational Programming Laws in the Tree, List, Bag, Set HierarchyPaul F. Hoogendijk, Roland Carl Backhouse. SCP, 22(1-2):67-105, 1994.

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]

Improved Neural Networks For Linear and Nonlinear ProgrammingJiahan Chen, Michael A. Shanblatt, Chia-Yiu Maa. IJNS, 2(4):331-339, 1991. [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.

Parameterized Programming in OBJ2Kokichi Futatsugi, Joseph A. Goguen, José Meseguer, K. Okada. ICSE 1987: 51-60

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

Formalization of Programming Concepts, International Colloquium, Peniscola, Spain, April 19-25, 1981, ProceedingsJosep Díaz, Isidro Ramos, editors, Volume 107 of Lecture Notes in Computer Science, Springer, 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]

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

runs on WebDSL