Identification of regulatory proteins that cooperate with the transcription factor Pax-5 in controlling gene expression

Identification of regulatory proteins that cooperate with the transcription factor Pax-5 in controlling gene expression

Meinrad Busslinger (ORCID: 0000-0002-9111-9351)

Wissenschaftsdisziplinen

Biologie (100%)

Keywords

    Pax-5 Transcriptional regulation Yeast genetic screen Pax-5 partner proteins, Pax-5, Pax-5 partner protei, Transcriptional regu, Yeast genetic screen

Forschungsstätte(n)

Research Output

  • 821 Zitationen
  • 31 Publikationen
Publikationen
  • 2020
    Titel The Proof Checkers Pacheck and Pastèque for the Practical Algebraic Calculus
    DOI 10.34727/2020/isbn.978-3-85448-042-6_34
    Typ Journal Article
    Autor Kaufmann D
    Journal 2020 Formal Methods in Computer Aided Design (FMCAD)
    Seiten 264-269
  • 2020
    Titel Duplex Encoding of Staircase At-Most-One Constraints for the Antibandwidth Problem
    DOI 10.1007/978-3-030-58942-4_13
    Typ Book Chapter
    Autor Fazekas K
    Verlag Springer Nature
    Seiten 186-204
  • 2020
    Titel Distributed Cube and Conquer with Paracooba
    DOI 10.1007/978-3-030-51825-7_9
    Typ Book Chapter
    Autor Heisinger M
    Verlag Springer Nature
    Seiten 114-122
    Link Publikation
  • 2019
    Titel A multiparametric view on answer set programming
    DOI 10.1007/s10472-019-09633-x
    Typ Journal Article
    Autor Fichte J
    Journal Annals of Mathematics and Artificial Intelligence
    Seiten 121-147
  • 2019
    Titel Verifying Large Multipliers by Combining SAT and Computer Algebra
    DOI 10.23919/fmcad.2019.8894250
    Typ Conference Proceeding Abstract
    Autor Kaufmann D
    Seiten 28-36
  • 2018
    Titel Improving and Extending the Algebraic Approach for Verifying Gate-Level Multipliers
    DOI 10.23919/date.2018.8342263
    Typ Conference Proceeding Abstract
    Autor Ritirc D
    Seiten 1556-1561
  • 2018
    Titel Implicit Hitting Set Algorithms for Maximum Satisfiability Modulo Theories
    DOI 10.1007/978-3-319-94205-6_10
    Typ Book Chapter
    Autor Fazekas K
    Verlag Springer Nature
    Seiten 134-151
  • 2016
    Titel SAT Race 2015
    DOI 10.1016/j.artint.2016.08.007
    Typ Journal Article
    Autor Balyo T
    Journal Artificial Intelligence
    Seiten 45-65
    Link Publikation
  • 2016
    Titel The first reactive synthesis competition (SYNTCOMP 2014)
    DOI 10.1007/s10009-016-0416-3
    Typ Journal Article
    Autor Jacobs S
    Journal International Journal on Software Tools for Technology Transfer
    Seiten 367-390
  • 2016
    Titel A Duality-Aware Calculus for Quantified Boolean Formulas
    DOI 10.1109/synasc.2016.038
    Typ Conference Proceeding Abstract
    Autor Fazekas K
    Seiten 181-186
    Link Publikation
  • 2016
    Titel Solution Validation and Extraction for QBF Preprocessing
    DOI 10.1007/s10817-016-9390-4
    Typ Journal Article
    Autor Heule M
    Journal Journal of Automated Reasoning
    Seiten 97-125
  • 2017
    Titel Challenges in Verifying Arithmetic Circuits Using Computer Algebra
    DOI 10.1109/synasc.2017.00010
    Typ Conference Proceeding Abstract
    Autor Biere A
    Seiten 9-15
  • 2015
    Titel Better Lemmas with Lambda Extraction
    DOI 10.1109/fmcad.2015.7542262
    Typ Conference Proceeding Abstract
    Autor Preiner M
    Seiten 128-135
  • 2017
    Titel Tagged BDDS: Combining Reduction Rules from Different Decision Diagram Types
    DOI 10.23919/fmcad.2017.8102248
    Typ Conference Proceeding Abstract
    Autor Van Dijk T
    Seiten 108-115
  • 2017
    Titel Column-Wise Verification of Multipliers Using Computer Algebra
    DOI 10.23919/fmcad.2017.8102237
    Typ Conference Proceeding Abstract
    Autor Ritirc D
    Seiten 23-30
  • 2017
    Titel Hardware Model Checking Competition 2017
    DOI 10.23919/fmcad.2017.8102233
    Typ Conference Proceeding Abstract
    Autor Biere A
    Seiten 9-9
  • 2017
    Titel Distributed binary decision diagrams for symbolic reachability
    DOI 10.1145/3092282.3092284
    Typ Conference Proceeding Abstract
    Autor Oortwijn W
    Seiten 21-30
    Link Publikation
  • 2018
    Titel Short proofs for some symmetric Quantified Boolean Formulas
    DOI 10.1016/j.ipl.2018.07.009
    Typ Journal Article
    Autor Kauers M
    Journal Information Processing Letters
    Seiten 4-7
    Link Publikation
  • 2018
    Titel Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives
    DOI 10.1007/978-3-319-96142-2_13
    Typ Book Chapter
    Autor Chatterjee K
    Verlag Springer Nature
    Seiten 178-197
    Link Publikation
  • 2018
    Titel Parameterized Complexity of Asynchronous Border Minimization
    DOI 10.1007/s00453-018-0442-5
    Typ Journal Article
    Autor Ganian R
    Journal Algorithmica
    Seiten 201-223
  • 2017
    Titel Propagation based local search for bit-precise reasoning
    DOI 10.1007/s10703-017-0295-6
    Typ Journal Article
    Autor Niemetz A
    Journal Formal Methods in System Design
    Seiten 608-636
    Link Publikation
  • 2019
    Titel A Survey on Applications of Quantified Boolean Formulas
    DOI 10.1109/ictai.2019.00020
    Typ Conference Proceeding Abstract
    Autor Shukla A
    Seiten 78-84
  • 2019
    Titel Backdoors to planning
    DOI 10.1016/j.artint.2018.10.002
    Typ Journal Article
    Autor Kronegger M
    Journal Artificial Intelligence
    Seiten 49-75
    Link Publikation
  • 2019
    Titel Incremental column-wise verification of arithmetic circuits using computer algebra
    DOI 10.1007/s10703-018-00329-2
    Typ Journal Article
    Autor Kaufmann D
    Journal Formal Methods in System Design
    Seiten 22-54
    Link Publikation
  • 2019
    Titel Incremental Inprocessing in SAT Solving
    DOI 10.1007/978-3-030-24258-9_9
    Typ Book Chapter
    Autor Fazekas K
    Verlag Springer Nature
    Seiten 136-154
  • 2012
    Titel Relax!
    DOI 10.1109/ictai.2012.28
    Typ Conference Proceeding Abstract
    Autor Grégoire É
    Seiten 146-153
  • 2014
    Titel Turbo-Charging Lemmas on Demand with Don't Care Reasoning
    DOI 10.1109/fmcad.2014.6987611
    Typ Conference Proceeding Abstract
    Autor Niemetz A
    Seiten 179-186
  • 2014
    Titel Partial Witnesses from Preprocessed Quantified Boolean Formulas
    DOI 10.7873/date2014.162
    Typ Conference Proceeding Abstract
    Autor Seidl M
    Seiten 1-6
  • 2015
    Titel Intra- and interdiagram consistency checking of behavioral multiview models
    DOI 10.1016/j.cl.2015.08.003
    Typ Journal Article
    Autor Kaufmann P
    Journal Computer Languages, Systems & Structures
    Seiten 72-88
  • 2014
    Titel Efficient Extraction of Skolem Functions from QRAT Proofs
    DOI 10.1109/fmcad.2014.6987602
    Typ Conference Proceeding Abstract
    Autor Heule M
    Seiten 107-114
  • 1999
    Titel twin of eyeless, a Second Pax-6 Gene of Drosophila, Acts Upstream of eyeless in the Control of Eye Development
    DOI 10.1016/s1097-2765(00)80457-8
    Typ Journal Article
    Autor Czerny T
    Journal Molecular Cell
    Seiten 297-307
    Link Publikation