| Theorema: Towards computer-aided mathematical theory exploration B Buchberger, A Crǎciun, T Jebelean, L Kovács, T Kutsia, K Nakagawa, ... Journal of applied logic 4 (4), 470-504, 2006 | 232 | 2006 |
| Algorithm synthesis by lazy thinking: Examples and implementation in Theorema B Buchberger, A Crăciun Electronic Notes in Theoretical Computer Science 93, 24-59, 2004 | 53 | 2004 |
| Algorithm synthesis by lazy thinking: Using problem schemes B Buchberger, A Craciun Proceedings of SYNASC, 90-106, 2004 | 20 | 2004 |
| Lazy thinking algorithm synthesis in Gröbner bases theory VA Crăciun na, 2008 | 17 | 2008 |
| Scheme-based systematic exploration of natural numbers M Hodorog, A Craciun 2006 Eighth International Symposium on Symbolic and Numeric Algorithms for …, 2006 | 14 | 2006 |
| Decompositions of Natural Numbers: From A Case Study in Mathematical Theory Exploration A Craciun, M Hodorog Ninth International Symposium on Symbolic and Numeric Algorithms for …, 2007 | 13 | 2007 |
| Short proofs of the Kneser–Lovász coloring principle J Aisenberg, ML Bonet, S Buss, A Crăciun, G Istrate Information and Computation 261, 296-310, 2018 | 11 | 2018 |
| Proof complexity and the Kneser-Lovász theorem G Istrate, A Craciun Theory and Applications of Satisfiability Testing–SAT 2014: 17th …, 2014 | 8 | 2014 |
| Functional program verification with theorema A Craciun, B Buchberger CAVIS-03 (Computer Aided Verification of Information Systems), Institute e …, 2003 | 8 | 2003 |
| Trends in bacterial pathogens of lower respiratory tract infections in children. GF Brad, I Sabau, M Boia, T Marcovici, A Craciun, K Nilima, CM Popoiu | 7 | 2011 |
| A case study in systematic exploration of tuple theory I Dramnesc, T Jebelean, A Craciun SCSS 2010 Symbolic Computation in Software Science, 82, 2010 | 5 | 2010 |
| Kernelization, proof complexity and social choice G Istrate, C Bonchis, A Craciun arXiv preprint arXiv:2104.13681, 2021 | 4 | 2021 |
| Algorithm synthesis case studies: sorting of tuples by lazy thinking A Craciun, B Buchberger RISC-Linz, Austria, 2004 | 4 | 2004 |
| Preprocessed Lazy Thinking: Synthesis of sorting algorithms A Craciun, B Buchberger RiscTechnical Report, 04-17, 2004 | 4 | 2004 |
| Factorizations of regular hedge languages M Marin, A Craciun 2009 11th International Symposium on Symbolic and Numeric Algorithms for …, 2009 | 3 | 2009 |
| A Case Study in Systematic Theory Exploration: Natural Numbers M Hodorog, A Craciun Technical Report 07-18, RISC–Linz, Austria, 2007 | 3 | 2007 |
| ESSENTIAL OILS, A POSSIBLE SOLUTION TO OVERCOME ANTIMICROBIAL RESISTANCE CRISIS AV Craciun, D Chiru, O Marginean Romanian Medical Journal 62 (3), 2015 | 1 | 2015 |
| Proving the Correctness of the Merge-Sort Algorithm with Theorema A Craciun, B Buchberger, D Petcu, V Negru, D Zaharie, T Jebelean Proceedings of SYNASC 2002, 4th International Workshop on Symbolic and …, 2002 | 1 | 2002 |
| F 1302: THEOREMA: Proving, Solving and Computing in General Domains B Buchberger, T Jebelean, W Windsteiger, T Kutsia, K Nakagawa, J Robu, ... Special Research Program (SFB) F 13, 148-170, 0 | 1 | |
| Compositionality and Proof Complexity G Istrate, C Bonchiş, A Crãciun Structure Meets Power Workshop (Contributed Talks), 44, 2022 | | 2022 |
Laura KovacsTU Wien, Vienna, AustriaDirección de correo verificada de tuwien.ac.at
