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