The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alexander Bockmayr: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alexander Bockmayr
    Narrowing with Built-In Theories. [Citation Graph (0, 0)][DBLP]
    ALP, 1988, pp:83-92 [Conf]
  2. Andreas Werner, Alexander Bockmayr, Stefan Krischer
    How to Realize LSE Narrowing. [Citation Graph (0, 0)][DBLP]
    ALP, 1994, pp:59-76 [Conf]
  3. Alexander Bockmayr, Arnaud Courtois, Damien Eveillard, M. Vezain
    Building and Analysing an Integrative Model of HIV-1 RNA Alternative Splicing. [Citation Graph (0, 0)][DBLP]
    CMSB, 2004, pp:43-57 [Conf]
  4. Heike Siebert, Alexander Bockmayr
    Incorporating Time Delays into the Logical Analysis of Gene Regulatory Networks. [Citation Graph (0, 0)][DBLP]
    CMSB, 2006, pp:169-183 [Conf]
  5. Damien Eveillard, Delphine Ropers, Hidde de Jong, Christiane Branlant, Alexander Bockmayr
    Multiscale Modeling of Alternative Splicing Regulation. [Citation Graph (0, 0)][DBLP]
    CMSB, 2003, pp:75-87 [Conf]
  6. Abdelhalim Larhlimi, Alexander Bockmayr
    A New Approach to Flux Coupling Analysis of Metabolic Networks. [Citation Graph (0, 0)][DBLP]
    CompLife, 2006, pp:205-215 [Conf]
  7. Alexander Bockmayr, Nicolai Pisaruk, Abderrahmane Aggoun
    Network Flow Problems in Constraint Programming. [Citation Graph (0, 0)][DBLP]
    CP, 2001, pp:196-210 [Conf]
  8. Alexander Bockmayr, Stefan Krischer, Andreas Werner
    An Optimal Narrowing Strategy for General Canonical Systems. [Citation Graph (0, 0)][DBLP]
    CTRS, 1992, pp:483-497 [Conf]
  9. Alexander Bockmayr, Andreas Werner
    LSE Narrowing for Decreasing Conditional Term Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    CTRS, 1994, pp:51-70 [Conf]
  10. Alexander Bockmayr, Yannis Dimopoulos
    Integer Programs and Valid Inequalities for Planning Problems. [Citation Graph (0, 0)][DBLP]
    ECP, 1999, pp:239-251 [Conf]
  11. Alexander Bockmayr
    Constraint Programming in Computational Molecular Biology. [Citation Graph (0, 0)][DBLP]
    EPIA, 2003, pp:1- [Conf]
  12. Ernst Althaus, Alexander Bockmayr, Matthias Elf, Michael Jünger, Thomas Kasper, Kurt Mehlhorn
    SCIL - Symbolic Constraints in Integer Linear Programming. [Citation Graph (0, 0)][DBLP]
    ESA, 2002, pp:75-87 [Conf]
  13. Alexander Bockmayr, Friedrich Eisenbrand
    Combining Logic and Optimization in Cutting Plane Theory. [Citation Graph (0, 0)][DBLP]
    FroCos, 2000, pp:1-17 [Conf]
  14. Peter Barth, Alexander Bockmayr
    Finite Domain and Cutting Plane Techniques in CLP(PB). [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:133-147 [Conf]
  15. Alexander Bockmayr, Arnaud Courtois
    Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:85-99 [Conf]
  16. Alexander Bockmayr
    Algebraic and Logic Aspects of Unification. [Citation Graph (0, 0)][DBLP]
    IWWERT, 1990, pp:171-180 [Conf]
  17. Alexander Bockmayr
    Model-Theoretic Aspects of Unification. [Citation Graph (0, 0)][DBLP]
    IWWERT, 1990, pp:181-196 [Conf]
  18. Alexander Bockmayr, Arnaud Courtois
    Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2002, pp:167-0 [Conf]
  19. Alexander Bockmayr, Thomas Kasper
    Branch-and-Infer: an Unifying Framework for Integer Linear Programming and Finite Domain Constraint Programming. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1999, pp:141-142 [Conf]
  20. Alexander Bockmayr, Franz Josef Radermacher
    Künstliche Intelligenz und Operations Research. [Citation Graph (0, 0)][DBLP]
    KI, 1993, pp:249-254 [Conf]
  21. Stefan Krischer, Alexander Bockmayr
    Detecting Redundant Narrowing Derivations by the LSE-SL Reducability Test. [Citation Graph (0, 0)][DBLP]
    RTA, 1991, pp:74-85 [Conf]
  22. Alexander Bockmayr
    Logic Programming with Pseudo-Boolean Constraints. [Citation Graph (0, 0)][DBLP]
    WCLP, 1991, pp:327-350 [Conf]
  23. Peter Barth, Alexander Bockmayr
    Global Consistency in CLP(PB). [Citation Graph (0, 0)][DBLP]
    WLP, 1994, pp:130-133 [Conf]
  24. Andreas Werner, Alexander Bockmayr, Stefan Krischer
    A Concept for the Implementation of LSE Narrowing. [Citation Graph (0, 0)][DBLP]
    WLP, 1993, pp:104-107 [Conf]
  25. Alexander Bockmayr
    Conditional Narrowing Modulo of Set of Equations. [Citation Graph (0, 0)][DBLP]
    Appl. Algebra Eng. Commun. Comput., 1993, v:4, n:, pp:147-168 [Journal]
  26. Alexander Bockmayr, Nicolai Pisaruk
    Detecting infeasibility and generating cuts for mixed integer programming using constraint programming. [Citation Graph (0, 0)][DBLP]
    Computers & OR, 2006, v:33, n:10, pp:2777-2786 [Journal]
  27. Alexander Bockmayr, Nicolai Pisaruk
    Solving Assembly Line Balancing Problems by Combining IP and CP [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  28. Alexander Bockmayr, Friedrich Eisenbrand, Mark E. Hartmann, Andreas S. Schulz
    On the Chvátal Rank of Polytopes in the 0/1 Cube. [Citation Graph (0, 0)][DBLP]
    Discrete Applied Mathematics, 1999, v:98, n:1-2, pp:21-27 [Journal]
  29. Alexander Bockmayr, Stefan Krischer, Andreas Werner
    Narrowing Strategies for Arbitrary Canonical Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1995, v:24, n:1/2, pp:125-155 [Journal]
  30. Alexander Bockmayr, Christoph Brzoska, Peter Deussen, Igor Varsek
    KA-Prolog: Erweiterungen einer logischen Programmiersprache und ihre effiziente Implementierung. [Citation Graph (0, 0)][DBLP]
    Inform., Forsch. Entwickl., 1991, v:6, n:3, pp:128-140 [Journal]
  31. Alexander Bockmayr
    A Note on a Canonical Theory with Undecidable Unification and Matching Problem. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1987, v:3, n:4, pp:379-381 [Journal]
  32. Alexander Bockmayr, Christoph Brzoska
    Bericht über den Workshop TEGA - Terersetzung: Grundlagen und Anwendung. [Citation Graph (0, 0)][DBLP]
    KI, 1989, v:3, n:3, pp:17-19 [Journal]
  33. Alexander Bockmayr, Klaus Estenfeld, Ulrich Furbach, Claus Jäkel
    Ein Konstanzer Prolog-Workshop. [Citation Graph (0, 0)][DBLP]
    KI, 1989, v:3, n:4, pp:15- [Journal]
  34. Alexander Bockmayr
    Solving Pseudo-Boolean Constraints [Citation Graph (0, 0)][DBLP]
    , 1994, v:, n:, pp:22-38 [Journal]
  35. Alexander Bockmayr, Friedrich Eisenbrand
    Cutting Planes and the Elementary Closure in Fixed Dimension. [Citation Graph (0, 0)][DBLP]
    Math. Oper. Res., 2001, v:26, n:2, pp:304-312 [Journal]
  36. Egon Balas, Alexander Bockmayr, Nicolai Pisaruk, Laurence A. Wolsey
    On unions and dominants of polytopes. [Citation Graph (0, 0)][DBLP]
    Math. Program., 2004, v:99, n:2, pp:223-239 [Journal]
  37. Andreas Werner, Alexander Bockmayr, Stefan Krischer
    How to Realize LSE Narrowing. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1998, v:16, n:4, pp:397-434 [Journal]
  38. Damien Eveillard, Delphine Ropers, Hidde de Jong, Christiane Branlant, Alexander Bockmayr
    A multi-scale constraint programming model of alternative splicing regulation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:325, n:1, pp:3-24 [Journal]
  39. Heike Siebert, Alexander Bockmayr
    Context Sensitivity in Logical Modeling with Time Delays. [Citation Graph (0, 0)][DBLP]
    CMSB, 2007, pp:64-79 [Conf]
  40. Heike Siebert, Alexander Bockmayr
    Relating Attractors and Singular Steady States in the Logical Analysis of Bioregulatory Networks. [Citation Graph (0, 0)][DBLP]
    AB, 2007, pp:36-50 [Conf]

  41. On Inner and Outer Descriptions of the Steady-State Flux Cone of a Metabolic Network. [Citation Graph (, )][DBLP]


  42. Logic-Based Modeling in Systems Biology. [Citation Graph (, )][DBLP]


  43. A new constraint-based description of the steady-state flux cone of metabolic networks. [Citation Graph (, )][DBLP]


Search in 0.708secs, Finished in 0.711secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002