Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Adrian Crăciun
Observed names:
Adrian Craciun,
Adrian Crãciun,
Adrian Crǎciun,
Crăciun, Adrian
Institution:
West University of Timişoara
Observed institutions:
Johannes Kepler University of Linz,
University of Tsukuba,
West University of Timişoara,
Institute e-Austria Timisoara
ORCID:
0000-0002-9553-4800
Observed ORCID:
0000-0002-9553-4800
OpenAlex ID:
A5038687845
Theorema: Towards computer-aided mathematical theory exploration
2005
·
Bruno Buchberger
, Adrian Crǎciun
, et al.
·
Journal of Applied Logic
·
130
PDF
Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema
2004
·
Bruno Buchberger
, Adrian Crăciun
·
Electronic Notes in Theoretical Computer Science
·
27
Algorithm Synthesis by Lazy Thinking: Using Problem Schemes
2004
·
Bruno Buchberger
, Adrian Crăciun
·
15
Scheme-Based Systematic Exploration of Natural Numbers
2006
·
Madalina Hodorog
, Adrian Craciun
·
International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
·
7
Proof Complexity and the Kneser-Lovász Theorem
2014
·
Gabriel Istrate
, Adrian Crãciun
·
Lecture notes in computer science
·
6
Short Proofs of the Kneser-Lovász Coloring Principle
2015
·
James Aisenberg
, Maria Luisa Bonet
, et al.
·
Information and Computation
·
5
PDF
Decompositions of Natural Numbers: From a Case Study in Mathematical Theory Exploration
2007
·
Adrian Craciun
, Madalina Hodorog
·
International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
·
5
Proceedings Third Symposium on Working Formal Methods
2019
·
Mircea Marin
, Adrian Crăciun
·
Electronic Proceedings in Theoretical Computer Science
·
2
Factorizations of Regular Hedge Languages
2009
·
Mircea Marin
, Adrian Craciun
·
International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
·
2
Kernelization, Proof Complexity and Social Choice
2021
·
Istrate, Gabriel
, Bonchiş, Cosmin
, et al.
·
arXiv (Cornell University)
·
1
PDF
Monitoring and Verification of Multitenant Kubernetes Clusters using TLA+ Trace Checking
2026
·
Ioana Silaş
, Adrian Crăciun
·
Electronic Proceedings in Theoretical Computer Science
PDF
Preface: Invited Presentation at the Tenth Symposium on Working Formal Methods
2026
·
Mircea Marin
, Adrian Crăciun
·
Electronic Proceedings in Theoretical Computer Science
Proceedings Tenth Symposium on Working Formal Methods
2026
·
Marin, Mircea
, Crăciun, Adrian
·
Electronic Proceedings in Theoretical Computer Science
Gröbner Bases with Reduction Machines
2019
·
Georgiana Şurlea
, Adrian Crăciun
·
Electronic Proceedings in Theoretical Computer Science
Proof Complexity and the Kneser-Lovász Theorem
2014
·
Istrate, Gabriel
, Crăciun, Adrian
·
arXiv (Cornell University)
PDF
Show more works
View as search
Works count:
16
Citation count:
200
H-index:
5
I10-index:
3
Year
Topic
Type
