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
1922006
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
482004
Lazy thinking algorithm synthesis in Gröbner bases theory
VA Crăciun
na, 2008
172008
Algorithm synthesis by lazy thinking: Using problem schemes
B Buchberger, A Craciun
Proceedings of SYNASC, 90-106, 2004
172004
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
Functional program verification with theorema
A Craciun, B Buchberger
CAVIS-03 (Computer Aided Verification of Information Systems), Institute e …, 2003
82003
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
72018
Proof complexity and the Kneser-Lovász theorem
G Istrate, A Craciun
International Conference on Theory and Applications of Satisfiability …, 2014
62014
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
Timisoara Medical Journal 61 (3/4), 193-198, 2011
52011
A case study in systematic exploration of tuple theory
I Dramnesc, T Jebelean, A Craciun
SCSS 2010 1, 82-95, 2010
52010
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
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
Gröbner Bases with Reduction Machines.
G Surlea, A Craciun
FROM, 61-75, 2019
2019
THE GUT-KIDNEY CONNECTION IN PEDIATRIC IDIOPATHIC NEPHROTIC SYNDROME
AV Craciun, A Domnicu
PEDIATRIC NEPHROLOGY 30 (9), 1691-1691, 2015
2015
ESSENTIAL OILS, A POSSIBLE SOLUTION TO OVERCOME ANTIMICROBIAL RESISTANCE CRISIS
AV Craciun, D Chiru, O Marginean
Romanian Medical Journal 62 (3), 2015
2015
WHAT LIES BEHIND CHILDHOOD LIPOID NEPHROSIS?
AV Craciun, D Chiru, D Nicoara, O Marginean
Jurnalul Pediatrului 18, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–20