Trifon Trifonov

Publication Activity (10 Years)

Years Active: 2003-2021
Publications (10 Years): 1

Top Topics

Building Blocks

Complex Engineering Systems

Image Interpretation

Top Venues

Log. Methods Comput. Sci.

Ludwig Maximilians University Munich (PHD)

Education History

Ludwig Maximilians University Munich

PHD

Publications

Mircea-Dan Hernest, Trifon Trifonov
Modal Functional (Dialectica) Interpretation. Log. Methods Comput. Sci. 17 (4) (2021)
Trifon Trifonov
IP design for DIF, integrated in Nios II systems: averaging filter. CompSysTech (2014)
Mircea-Dan Hernest, Trifon Trifonov
Modal functional interpretations CoRR (2012)
Diana Ratiu, Trifon Trifonov
Exploring the Computational Content of the Infinite Pigeonhole Principle. J. Log. Comput. 22 (2) (2012)
Mircea-Dan Hernest, Trifon Trifonov
Light Dialectica revisited. Ann. Pure Appl. Log. 161 (11) (2010)
Trifon Trifonov
Dialectica Interpretation with Marked Counterexamples CL&C (2010)
Trifon Trifonov
Quasi-linear Dialectica Extraction. CiE (2010)
Trifon Trifonov
Dialectica Interpretation with Fine Computational Control. CiE (2009)
George Mengov, Kalin Georgiev, Stefan Pulov, Trifon Trifonov, Krassimir T. Atanassov
Fast computation of a gated dipole field. Neural Networks 19 (10) (2006)
Krassimir T. Atanassov, Boyan E. Djakov, J. A. Alexieva, Trifon Trifonov, Gordon R. Jones
A generalized net model of a material-processing reactor equipped with chromatic monitoring and control based on intuitionistic fuzzy evaluation of the chromaticity. EUSFLAT Conf. (2003)