Follow
Trifon Trifonov
Trifon Trifonov
Verified email at fmi.uni-sofia.bg
Title
Cited by
Cited by
Year
GNTicker–A software tool for efficient interpretation of generalized net models
T Trifonov, K Georgiev
Issues in Intuitionistic Fuzzy Sets and Generalized Nets 3, 71-78, 2005
232005
Software for modelling with Generalised Nets
T Trifonov, K Georgiev, K Atanassov
Issues in intuitionistic fuzzy sets and generalized nets 6, 36-42, 2008
192008
Exploring the computational content of the infinite pigeonhole principle
D Ratiu, T Trifonov
Journal of Logic and Computation 22 (2), 329-350, 2012
182012
Modification of the algorithm for token transfer in generalized nets
K Atanassov, V Tasseva, T Trifonov
Cybernetics and Information Technologies 7 (1), 62-66, 2007
82007
Modeling neural signals with a generalized net
G Mengov
Advanced Studies in Contemporary Mathematics 7 (2), 155-166, 2003
82003
Modelling of UML sequence diagrams with generalized nets
EN Koycheva, TA Trifonov, HT Aladjov
Proceedings First International IEEE Symposium Intelligent Systems 3, 79-84, 2002
82002
Light dialectica revisited
MD Hernest, T Trifonov
Annals of Pure and Applied Logic 161 (11), 1379-1389, 2010
72010
Two new intuitionistic fuzzy implications
K Atanassov, T Trifonov
Advanced Studies in Contemporary Mathematics 13 (1), 69-74, 2006
72006
Analysis of methods for extraction of programs from non-constructive proofs
T Trifonov
lmu, 2012
62012
Dialectica interpretation with fine computational control
T Trifonov
Conference on Computability in Europe, 467-477, 2009
62009
Towards combining two kinds of intuitionistic fuzzy sets
K Atanassov, T Trifonov
Notes on Intuitionistic Fuzzy Sets 11 (2), 1-11, 2005
62005
On some intuitionistic properties of intuitionistic fuzzy implications and negations
TA Trifonov, KT Atanassov
Computational Intelligence, Theory and Applications: International …, 2006
52006
The Effects of Incremental Grading and Optional Homeworks on Student Motivation
P Armyanov, A Semerdzhiev, K Georgiev, T Trifonov
INTED2018 Proceedings, 618-625, 2018
42018
The Go Programming Language: Characteristics and Capabilities
M Todorova, M Nisheva-Pavlova, G Penchev, T Trifonov, P Armyanov, ...
Annual of “Informatics” Section Union of Scientists in Bulgaria 6, 76-85, 2013
42013
Quasi-linear Dialectica extraction
T Trifonov
Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE …, 2010
42010
Fast computation of a gated dipole field
G Mengov, K Georgiev, S Pulov, T Trifonov, K Atanassov
Neural networks 19 (10), 1636-1647, 2006
42006
On some generalized net models of multiagent systems (part 1)
T Trifonov, K Atanassov
Issues in Intuitionistic Fuzzy Sets and Generalized Nets (K. Atanassov, J …, 2002
42002
Practical aspects of plagiarism detection in computer science e-learning
A Semerdzhiev, T Trifonov
ICERI2013 Proceedings, 3953-3961, 2013
32013
Sophie 2.0—A Platform for Reading, Writing and Publishing of Electronic Books in a Network Environment
M Sredkov, T Trifonov, K Georgiev12
Information Systems & Grid Technologies, 2010
32010
A generalized net model of a multiagent system for the supplying and servicing of sections of a university
A Shannon, E Sotirova, N Ralev, I Petrounias, K Atanassov, M Krawczak, ...
Proc. of the International Workshop on Generalized nets, Sofia, 1-7, 2003
32003
The system can't perform the operation now. Try again later.
Articles 1–20