Jan Vitek - 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]

ECOOP 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, ProceedingsJan Vitek, editor, Volume 5142 of Lecture Notes in Computer Science, Springer, 2008.

Flexible task graphs: a unified restricted thread programming model for javaJoshua S. Auerbach, David F. Bacon, Rachid Guerraoui, Jesper Honig Spring, Jan Vitek. lctrts 2008: 1-11 [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]

Streamflex: high-throughput stream programming in javaJesper Honig Spring, Jean Privat, Rachid Guerraoui, Jan Vitek. OOPSLA 2007: 211-228 [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]

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.

Secure Internet Programming, Security Issues for Mobile and Distributed ObjectsJan Vitek, Christian Damsgaard Jensen, editors, Volume 1603 of Lecture Notes in Computer Science, Springer, 1999.

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]

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