Result 1 to 20 of 154 total
Inference of polynomial invariants for imperative programs: a farewell to Gröbner bases. (English)
Miné, Antoine (ed.) et al., Static analysis. 19th international symposium, SAS 2012, Deauville, France, September 11‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33124-4/pbk). Lecture Notes in Computer Science 7460, 58-74 (2012).
1
Implementation of an optimal first-order method for strongly convex total variation regularization. (English)
BIT 52, No. 2, 329-356 (2012).
2
Secure the clones. (English)
Log. Methods Comput. Sci. 8, No. 2, Paper No. 5, 30 p., electronic only (2012).
3
Control-flow analysis of function calls and returns by abstract interpretation. (English)
Inf. Comput. 211, 49-76 (2012).
4
Accelerated gradient methods for total-variation-based Ct image reconstruction. (English)
Comput. Res. Repos. 2011, Article No. 1105.4002 (2011).
5
Implementation of an optimal first-order method for strongly convex total variation regularization. (English)
Comput. Res. Repos. 2011, Article No. 1105.3723 (2011).
6
Secure the clones. Static enforcement of policies for secure object copying. (English)
Barthe, Gilles (ed.), Programming languages and systems. 20th European symposium on programming, ESOP 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 ‒ April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19717-8/pbk). Lecture Notes in Computer Science 6602, 317-337 (2011).
7
io-port 05892235 Taboureau, Olivier;
Nielsen, Sonny Kim;
Audouze, Karine;
Weinhold, Nils;
Edsgärd, Daniel;
Roque, Francisco S.;
Kouskoumvekaki, Irene;
Bora, Alina;
Curpan, Ramona;
Jensen, Thomas Skøt;
Brunak, Søren;
Oprea, Tudor I.
Chemprot: a disease chemical biology database. (English)
Nucleic Acids Res. 39, No. Database-Issue, 367-372 (2011).
8
Sawja: Static analysis workshop for Java. (English)
Beckert, Bernhard (ed.) et al., Formal verification of object-oriented software. International conference, FoVeOOS 2010, Paris, France, June 28‒30, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-18069-9/pbk). Lecture Notes in Computer Science 6528, 92-106 (2011).
9
Multiple-description $l_{1}$-compression (English)
IEEE Transactions on Signal Processing 59, No. 8, 3699-3711 (2011).
10
Building nation-wide information infrastructures in healthcare through modular implementation strategies (English)
J. Strategic Inf. Sys. 20, No. 2, 161-176 (2011).
11
Panel: from policy to practice: achieving nation-wide information systems in healthcare (English)
ECIS (2011).
12
Secure the clones - static enforcement of policies for secure object copying (English)
ESOP, 317-337 (2011).
13
Cyclebase.org: version 2.0, an updated comprehensive, multi-species repository of cell cycle experiments and derived analysis results. (English)
Nucleic Acids Res. 38, No. Database-Issue, 699-702 (2010).
14
A provably correct stackless intermediate representation for Java bytecode. (English)
Ueda, Kazunori (ed.), Programming languages and systems. 8th Asian symposium, APLAS 2010, Shanghai, China, November 28‒December 1, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-17163-5/pbk). Lecture Notes in Computer Science 6461, 97-113 (2010).
15
Certified result checking for polyhedral analysis of bytecode programs. (English)
Wirsing, Martin (ed.) et al., Trustworthly global computing. 5th international symposium, TGC 2010, Munich, Germany, February 24‒26, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-15639-7/pbk). Lecture Notes in Computer Science 6084, 253-267 (2010).
16
Splits of circuits. (English)
Discrete Math. 310, No. 21, 3026-3029 (2010).
17
Enforcing secure object initialization in Java. (English)
Gritzalis, Dimitris (ed.) et al., Computer security ‒ ESORICS 2010. 15th European symposium on research in computer security, Athens, Greece, September 20‒22, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15496-6/pbk). Lecture Notes in Computer Science 6345, 101-115 (2010).
18
Long-run cost analysis by approximation of linear operators over dioids. (English)
Math. Struct. Comput. Sci. 20, No. 4, 589-624 (2010).
19
Algorithms and software for total variation image reconstruction via first-order methods. (English)
Numer. Algorithms 53, No. 1, 67-92 (2010).
20
Result 1 to 20 of 154 total
Start
Contact
Print
General Help
