Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Alexander Bockmayr And NotCalifornie

List of bibliographic references

Number of relevant bibliographic references: 85.
Ident.Authors (with country if any)Title
005610 Alexander Bockmayr [France] ; Nicolai Pisaruk [France]Detecting infeasibility and generating cuts for mixed integer programming using constraint programming
006651 Alexander Bockmayr [France] ; Arnaud Courtois [France] ; Damien Eveillard [France] ; Myriam Vezain [France]Building and analysing an integrative model of HIV-1 RNA alternative splicing
006C98 Egon Balas [États-Unis] ; Alexander Bockmayr [France] ; Nicolai Pisaruk [France] ; Laurence Wolsey [Belgique]On unions and dominants of polytopes
006D26 Damien Eveillard [France] ; Delphine Ropers [France] ; Hidde De Jong [France] ; Christiane Branlant [France] ; Alexander Bockmayr [France]A multi-scale constraint programming model of alternative splicing regulation
006F34 Egon Balas [Suisse] ; Alexander Bockmayr [France] ; Nicolai Pisaruk [France] ; Laurence Wolsey [Belgique]On unions and dominants of polytopes
007500 Damien Eveillard ; Arnaud Courtois ; Alexander BockmayrHybrid concurrent constraint programming : A well-suited formalism for modelling alternative splicing regulation (Abstract)
007516 Damien Eveillard ; Delphine Ropers ; Hidde De Jong ; Christiane Branlant ; Alexander BockmayrA Multi-Site Constraint Programming Model of Alternative Splicing Regulation
007562 Alexander Bockmayr ; Vladimir Lunin ; Alexandre UrzhumtsevA binary integer programming approach for the determination of structures of biological macromolecules
007641 Damien Eveillard ; Delphine Ropers ; Hidde De Jong ; Christiane Branlant ; Alexander BockmayrMultiscale modeling of alternative splicing regulation
007652 Alexander Bockmayr ; Vladimir Lunin ; Natasha Lunina ; Alexandre UrzhumtsevMathematical methods for the direct solution of the phase problem in X-ray structural analysis of biological macromolecules
007681 Alexander Bockmayr ; Thomas KasperBranch-and-Infer : a Framework for Combining CP and IP
007685 Alexander Bockmayr ; Nicolai PisarukDetecting Infeasibility and Generating Cuts for MIP using CP
007A14 Egon Balas [États-Unis] ; Alexander Bockmayr [France] ; Nicolai Pisaruk [France] ; Laurence Wolsey [Belgique]On unions and dominants of polytopes
007A22 Damien Eveillard [France] ; Delphine Ropers [France] ; Hidde De Jong [France] ; Christiane Branlant [France] ; Alexander Bockmayr [France]Multiscale Modeling of Alternative Splicing Regulation
007A82 Alexander Bockmayr [France]Constraint Programming in Computational Molecular Biology
007C20 Emmanuel Gothié [France] ; Yann Guermeur [France] ; Sébastien Muller ; Christiane Branlant ; Alexander Bockmayr [France]Recherche des gènes d'ARN non codant
007D81 Damien Eveillard [France] ; Delphine Ropers [France] ; Hidde De Jong [France] ; Christiane Branlant [France] ; Alexander Bockmayr [France]Multiscale modeling of alternative splicing regulation
007D90 Alexander Bockmayr [France] ; Vladimir Y. Lunin ; Natasha Lunina ; Alexandre UrzhumtsevMathematical methods for the direct solution of the phase problem in X-ray structural analysis of biological macromolecules
007E14 Damien Eveillard [France] ; Arnaud Courtois [France] ; Alexander Bockmayr [France]Hybrid concurrent constraint programming: A well-suited formalism for modelling alternative splicing regulation (Abstract)
007E33 Alexander Bockmayr [France] ; Nicolai Pisaruk [France]Detecting Infeasibility and Generating Cuts for MIP using CP
007E57 Alexander Bockmayr [France] ; Thomas KasperBranch-and-Infer: a Framework for Combining CP and IP
007E91 Alexander Bockmayr [France] ; Vladimir Y. Lunin ; Alexandre UrzhumtsevA binary integer programming approach for the determination of structures of biological macromolecules
007E96 Damien Eveillard [France] ; Delphine Ropers [France] ; Hidde De Jong ; Christiane Branlant ; Alexander Bockmayr [France]A Multi-Site Constraint Programming Model of Alternative Splicing Regulation
007F39 Emmanuel Gothié [France] ; Yann Guermeur [France] ; Fabrice Leclerc [France] ; Christiane Branlant [France] ; Alexander Bockmayr [France]Analyse des Séquences InterORF chez les Levures - Application à la Recherche des petits ARN
008154 Emmanuel Gothié ; Yann Guermeur ; Fabrice Leclerc ; Christiane Branlant ; Alexander BockmayrAnalyse des Séquences InterORF chez les Levures - Application à la Recherche des petits ARN
008325 Alexander Bockmayr ; Arnaud CourtoisUsing hybrid concurrent constraint programming to model dynamic biological systems
008326 Alexander Bockmayr ; Arnaud CourtoisUsing hybrid concurrent constraint programming to model dynamic biological systems
008376 Ernst Althaus ; Alexander Bockmayr ; Matthias Elf ; Thomas Kasper ; Michael Jünger ; Kurt MehlhornSCIL - Symbolic Constraints in Integer Linear Programming
008390 Vladimir. Y. Lunin ; N. Lunina ; A. Podjarny ; Alexander Bockmayr ; Alexandre UrzhumtsevAb initio phasing starting from low resolution
008457 Vladimir Y. Lunin ; Alexandre Urzhumtsev ; Alexander BockmayrDirect phasing by binary integer programming
008468 Vladimir Y. Lunin ; Alexandre Urzhumtsev ; Alexander BockmayrBinary integer programming and its use for envelope determination
008489 Egon Balas ; Alexander Bockmayr ; Nicolai Pisaruk ; Laurence WolseyOn unions and dominants of polytopes
008491 Damien Eveillard ; Delphine Ropers ; Hidde De Jong ; Christiane Branlant ; Alexander BockmayrModeling the effects of SR proteins on alternative splicing
008572 Alexander Bockmayr ; Arnaud CourtoisModélisation de systèmes biologiques en programmation concurrente par contraintes hybrides
008724 Alexander Bockmayr [France] ; Arnaud Courtois [France]Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems
008875 Alexander Bockmayr [France] ; Arnaud Courtois [France]Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides
008916 Vladimir Y. Lunin [Russie, France] ; Alexandre Urzhumtsev [France] ; Alexander Bockmayr [France]Direct phasing by binary integer programming
008983 Alexander Bockmayr [France] ; Arnaud Courtois [France]Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides
008A35 Alexander Bockmayr [France] ; Arnaud Courtois [France]Using hybrid concurrent constraint programming to model dynamic biological systems
008A36 Alexander Bockmayr [France] ; Arnaud Courtois [France]Using hybrid concurrent constraint programming to model dynamic biological systems
008A72 Ernst Althaus ; Alexander Bockmayr [France] ; Matthias Elf ; Thomas Kasper ; Michael Jünger ; Kurt MehlhornSCIL - Symbolic Constraints in Integer Linear Programming
008A98 Egon Balas [Suisse] ; Alexander Bockmayr [France] ; Nicolai Pisaruk [France] ; Laurence Wolsey [Belgique]On unions and dominants of polytopes
008B09 Damien Eveillard [France] ; Delphine Ropers [France] ; Hidde De Jong [France] ; Christiane Branlant [France] ; Alexander Bockmayr [France]Modeling the effects of SR proteins on alternative splicing
008B52 Vladimir Y. Lunin ; Alexandre Urzhumtsev ; Alexander Bockmayr [France]Direct phasing by binary integer programming
008B76 Vladimir Y. Lunin ; Alexandre Urzhumtsev ; Alexander Bockmayr [France]Binary integer programming and its use for envelope determination
008B90 Vladimir Y. Lunin ; Natasha Lunina ; A. Podjarny [France] ; Alexander Bockmayr [France] ; Alexandre UrzhumtsevAb initio phasing starting from low resolution
008C32 Alexander Bockmayr [France] ; Arnaud Courtois [France]Modeling biological systems in hybrid concurrent constraint programming (Poster abstract)
008E86 Alexander Bockmayr ; Nicolai PisarukSolving Assembly Line Balancing Problems by Combining IP and CP
008E91 Alexander Bockmayr ; Arnaud CourtoisModeling biological systems in hybrid concurrent constraint programming (Poster abstract)
008F86 Alexander Bockmayr ; Nicolai Pisaruk ; Abderrahmane AggounNetwork flow problems in constraint programming
008F98