Concepedia

Tanel Tammet

TT

Statistics

Publications

15

Citations

345

H-Index

12

Active since

1991

Affiliations

Tallinn University of Technology(Current)

Chalmers University of Technology

Vähiuuringute Tehnoloogia Arenduskeskus

Cybernetica (Estonia)

Graz University of Technology

Tanel Tammet is an author at Tallinn University of Technology specializing in computer science, computing, and automated reasoning.

Publications per year

1991–2023

15

Publications

15

Proof strategies in linear logic

Tanel Tammet · Journal of Automated Reasoning · 1994 · 50 citations

Computing, Computer Science, Logic +11

Tanel Tammet · Journal of Automated Reasoning · 1997 · 48 citations

Humanities, Literature, Film Theory +1

An Ultra-Scalable Blockchain Platform for Universal Asset Tokenization: Design and Implementation

Ahto Buldas, Dirk Draheim, Mike Gault et al. · IEEE Access · 2022 · 44 citations · Full text

Business, Computer Systems, Information Technology +13

Darwin: A Theorem Prover for the Model Evolution Calculus

Peter Baumgartner, Alexander Fuchs, Cesare Tinelli et al. · 2004 · 34 citations

Computing, Computer Science, Algorithms +11

10th international conference on automated deduction

Tanel Tammet · Engineering Applications of Artificial Intelligence · 1991 · 29 citations

Computing, Computer Science, Formal Methods +11

1–5 of 15