Follow
Adrian Craciun
Title
Cited by
Cited by
Year
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
2302006
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
532004
Algorithm synthesis by lazy thinking: Using problem schemes
B Buchberger, A Craciun
Proceedings of SYNASC, 90-106, 2004
202004
Lazy thinking algorithm synthesis in Gröbner bases theory
VA Crăciun
na, 2008
172008
Scheme-based systematic exploration of natural numbers
M Hodorog, A Craciun
2006 Eighth International Symposium on Symbolic and Numeric Algorithms for …, 2006
142006
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
132007
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
112018
Proof complexity and the Kneser-Lovász theorem
G Istrate, A Craciun
Theory and Applications of Satisfiability Testing–SAT 2014: 17th …, 2014
82014
Functional program verification with theorema
A Craciun, B Buchberger
CAVIS-03 (Computer Aided Verification of Information Systems), Institute e …, 2003
82003
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
72011
A case study in systematic exploration of tuple theory
I Dramnesc, T Jebelean, A Craciun
SCSS 2010 Symbolic Computation in Software Science, 82, 2010
52010
Kernelization, proof complexity and social choice
G Istrate, C Bonchis, A Craciun
arXiv preprint arXiv:2104.13681, 2021
42021
Algorithm synthesis case studies: sorting of tuples by lazy thinking
A Craciun, B Buchberger
RISC-Linz, Austria, 2004
42004
Preprocessed Lazy Thinking: Synthesis of sorting algorithms
A Craciun, B Buchberger
RiscTechnical Report, 04-17, 2004
42004
Factorizations of regular hedge languages
M Marin, A Craciun
2009 11th International Symposium on Symbolic and Numeric Algorithms for …, 2009
32009
A Case Study in Systematic Theory Exploration: Natural Numbers
M Hodorog, A Craciun
Technical Report 07-18, RISC–Linz, Austria, 2007
32007
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
12002
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
Gröbner Bases with Reduction Machines.
G Surlea, A Craciun
FROM, 61-75, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20