Sergio Antoy - 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]

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, SpainSergio Antoy, Elvira Albert, editors, ACM, 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]

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]

Evaluation strategies for functional logic programmingSergio Antoy. JSC, 40(1):875-903, 2005. [doi]

Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005Sergio Antoy, Michael Hanus, editors, ACM, 2005.

Declarative Programming with Function PatternsSergio Antoy, Michael Hanus. LOPSTR 2006: 6-22 [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]

Evaluation Strategies for Functional Logic ProgrammingSergio Antoy. TCS, 57:1-16, 2001. [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]

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]

Non-Determinism and Lazy Evaluation in Logic ProgrammingSergio Antoy. LOPSTR 1991: 318-331

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