A generalized net model of a material-processing reactor equipped with chromatic monitoring and control based on intuitionistic fuzzy evaluation of the chromaticity. - Krassimir T. Atanassov; Boyan E. Djakov; J. A. Alexieva; Trifon Trifonov; Gordon R. Jones (EUSFLAT Conf., 2003)

Fast computation of a gated dipole field. - George Mengov; Kalin Georgiev; Stefan Pulov; Trifon Trifonov; Krassimir T. Atanassov (Neural Networks, 2006)

Dialectica Interpretation with Fine Computational Control. - Trifon Trifonov (CiE, 2009)

Quasi-linear Dialectica Extraction. - Trifon Trifonov (CiE, 2010)

Light Dialectica revisited. - Mircea-Dan Hernest; Trifon Trifonov (Ann. Pure Appl. Log., 2010)

Dialectica Interpretation with Marked Counterexamples - Trifon Trifonov (CL&C, 2010)

Modal functional interpretations - Mircea-Dan Hernest; Trifon Trifonov (CoRR, 2012)

Exploring the Computational Content of the Infinite Pigeonhole Principle. - Diana Ratiu; Trifon Trifonov (J. Log. Comput., 2012)

Analysis of methods for extraction of programs from non-constructive proofs. - Trifon Trifonov (2012)

IP design for DIF, integrated in Nios II systems: averaging filter. - Trifon Trifonov (CompSysTech, 2014)

Modal Functional (Dialectica) Interpretation. - Mircea-Dan Hernest; Trifon Trifonov (Log. Methods Comput. Sci., 2021)