| Дипломна работа |
|
|
Трифон Анчев Трифонов, Нормализация на бимашини, Факултет по математика и информатика, Софийски Университет "Св. Климент Охридски", Ръководител:Стоян Михов
|
2006
|
| Дисертация д-р |
|
|
Трифон Анчев Трифонов, Analysis of methods for extraction of programs from non-constructive proofs, Ludwig-Maximilians-Universität, München, Germany, Ръководител:Helmut Schwichtenberg
|
2012
|
| Друго (научно-популярни и др. под.) |
|
|
T. A. Trifonov, 4MOST - 4-metre Multi-Object Spectroscopic Telescope,
|
2012
|
| Научен проект |
|
1
|
Трифон Трифонов, Интегриране на нови практики и знания в обучението по компютърна лингвистика, Член, Европейски социален фонд, Номер на договора:BG051PO001-3.3.06-0022/19.03.2012 г.
|
2012
|
|
2
|
Трифон Трифонов, Разработване на програми за електронни форми на дистанционно обучение във ФМИ на СУ, Член, Европейски социален фонд, Номер на договора:BG051PO001-4.3.04-0018
|
2012
|
|
3
|
Трифон Трифонов, Съвременни езици, среди и технологии за програмиране и прилагането им при подготовка на софтуерни специалисти, Член, Национален фонд „Научни изследвания“, Номер на договора:ДФНИ-И01/12
|
2012
|
|
4
|
Трифон Трифонов, Формиране на нова генерация от изследователи в областта на математиката, информатиката и компютърните науки чрез подкрепа на творческия и иновативен потенциал на докторанти, постодокторанти и млади учени във Факултета по математика и информатика на Софийски университет „Св. Климент Охридски“, Член, Европейски социален фонд, Номер на договора:BG051PO001-3.3.06-0052
|
2012
|
|
5
|
Трифон Трифонов, Автоматизирани инструменти за подпомагане на учебния процес по информатика, Член,
|
2011
|
|
6
|
Трифон Трифонов, Автоматизирано извличане на бизнес правила и процеси от софтуерен код, Член, Национален фонд „Научни изследвания“, Номер на договора:ДТК 02-69
|
2009
|
|
7
|
Трифон Трифонов, Изследване на автоматизирани трансформации на приложения за създаване на интелигентна среда за софтуерни разработки, Член, , Номер на договора:ДО 02-102/23.04.2009 г.
|
2009
|
|
8
|
Трифон Трифонов, Математическа логика и компютърна лингвистика: развитие и взаимно проникване , Член, Европейски социален фонд, Номер на договора:BG051PO001-3.3.04/27/28.08.2009
|
2009
|
|
9
|
Трифон Трифонов, MATHLOGAPS - Early Stage Research Training Site in MATHematical LOGic and APplicationS, Член, Европейска комисия
|
2004
|
|
10
|
Трифон Трифонов, Multimedia Technology for Mathematics and Computer Science Education, Член, DAAD
|
2004
|
| Научно ръководство |
|
1
|
Трифон Трифонов, TeamHub — смарт тв система за вътрешнофирмена комуникация, СУ "Св. Климент Охридски" дипломна работа:Георги Иванов
|
2018
|
|
2
|
Трифон Трифонов, Уеб платформа за колаборативно създаване на изисквания за потребителски интерфейс, СУ "Св. Климент Охридски" дипломна работа:Георги Тодоров
|
2016
|
|
3
|
Трифон Трифонов, Разработване на Time-Stamp authority сървър, ФМИ дипломна работа:Таня Лилянова
|
2015
|
|
4
|
Трифон Трифонов, Електронен магазин за декорация и поръчка
на сладкарски изделия, СУ "Св. Климент Охридски" дипломна работа:Виолина Дублекова
|
2013
|
|
5
|
Трифон Трифонов, Автоматизирано изпращане на имейли с помощта на COM-обект (DLL), ФМИ, СУ дипломна работа:Мария Дигбазова
|
2012
|
|
6
|
Трифон Трифонов, Разработване на Eclipse plug-in за aвтоматизиране и изследване на процеса по изграждане на обектно-ориентиран софтуерен дизайн – критерии, шаблони и дизайн решения, ФМИ, СУ дипломна работа:Владимир Великов
|
2012
|
|
7
|
Трифон Трифонов, Разработка на уеб сайт за магистърска програма „Информационно-технологични услуги”, ФМИ, СУ дипломна работа:Диян Пенков
|
2012
|
| Статия в научно списание |
|
1
|
Heidari, N., Hébrard, G., ..., Trifonov, T., Characterization of seven transiting systems, including four warm Jupiters from SOPHIE and TESS , Astronomy & Astrophysics, issue:Volume 694, id.A36, 31 pp., 2025, doi:10.1051/0004-6361/202451519, Ref, Web of Science, IF (6.24 - 2024), Web of Science Quartile: Q1 (2025), SCOPUS, SJR (1.896 - 2023), SCOPUS Quartile: Q1 (2025), International
|
2025
|
|
2
|
Saunders, Nicholas, Grunblatt, Samuel K., ..., Trifonov, T., TESS Giants Transiting Giants. VII. A Hot Saturn Orbiting an Oscillating Red Giant Star , The Astronomical Journal, issue:Volume 169, Issue 2, id.75, 13 pp., 2025, Ref, Web of Science, IF (5.1 - 2023), Web of Science Quartile: Q1 (2025), SCOPUS, SJR (1.953 - 2023), SCOPUS Quartile: Q1 (2025), International
|
2025
|
|
3
|
Henderson, Beth A., Casewell, Sarah L. search by orcid, ..., Trifonov, T., TOI-2490b - the most eccentric brown dwarf transiting in the brown dwarf desert , Monthly Notices of the Royal Astronomical Society, issue:Volume 533, Issue 3, pp.2823-2842, 2024, doi: 10.1093/mnras/stae1940, Ref, Web of Science, IF (4.8 - 2023), Web of Science Quartile: Q1 (2024), SCOPUS, SJR (1.621 - 2023), SCOPUS Quartile: Q1 (2024), International
|
2024
|
|
4
|
Perdelwitz, V., Trifonov, T., Teklu, J. T., Sreenivas, K. R., Tal-Or, L., Analysis of the public HARPS/ESO spectroscopic archive. Ca II H&K time series for the HARPS radial velocity database, Astronomy & Astrophysics, vol:683, issue:125, 2024, pages:6-0, ISSN (online):1432-0746, doi:10.1051/0004-6361/202348263, Ref, Web of Science, IF (6.5 - 2024), Web of Science Quartile: Q1 (2024), SCOPUS, SJR (1.896 - 2023), SCOPUS Quartile: Q1 (2024), International
|
2024
|
|
5
|
Gill, Samuel, Bayliss, Daniel, ..., Trifonov, T., Correction to: TOI-2447 b / NGTS-29 b: a 69-day Saturn around a Solar analogue , Monthly Notices of the Royal Astronomical Society, issue:Volume 533, Issue 1, pp.109-109, 2024, doi:10.1093/mnras/stae1804, Ref, Web of Science, IF (4.8 - 2024), Web of Science Quartile: Q1 (2024), SCOPUS, SJR (1.621 - 2023), SCOPUS Quartile: Q1 (2024), International
|
2024
|
|
6
|
Gill, Samuel, Bayliss, Daniel, ..., Trifonov, T., Correction to: TOI-2447 b / NGTS-29 b: a 69-day Saturn around a Solar analogue , Monthly Notices of the Royal Astronomical Society, issue:Volume 533, Issue 1, pp.109-109, 2024, doi:10.1093/mnras/stae1804, Ref, Web of Science, IF (4.8 - 2024), Web of Science Quartile: Q1 (2024), SCOPUS, SJR (1.621 - 2023), SCOPUS Quartile: Q1 (2024), International
|
2024
|
|
7
|
Minev M., Trifonov T., Ivanov V., Ovcharov E., Bozhilov V., Valcheva A., Kostov A., Nedialkov P., Results of a long-term optical variability study of 11 quasars and VRI photometry of comparison stars , MNRAS, vol:531, 2024, pages:4746-4761, ISSN (print):0035-8711, ISSN (online):1365-2966, doi:10.1093/mnras/stae1479, Ref, IF, IF (4.8 - 2023), Web of Science Quartile: Q1 (2024), др.(ADS)
|
2024
|
|
8
|
Minev, M., Trifonov, T., Ivanov, V., Ovcharov, E., Bozhilov, V., Valcheva, A., Kostov, A., Nedialkov, P., Results of a long-term optical variability study of 11 quasars and VRI photometry of comparison stars , Monthly Notices of the Royal Astronomical Society, vol:531, issue:4, 2024, pages:4746-4761, doi:10.1093/mnras/stae1479, Ref, Web of Science, IF (4.8 - 2022), Web of Science Quartile: Q1 (2024), SCOPUS, SJR (1.62 - 2023), SCOPUS Quartile: Q1 (2024), др.(https://ui.adsabs.harvard.edu), International
|
2024
|
|
9
|
von Stauffenberg, A., Trifonov, T., ..., The CARMENES search for exoplanets around M dwarfs. Revisiting the GJ 581 multi-planetary system with new Doppler measurements from CARMENES, HARPS, and HIRES , Astronomy & Astrophysics, issue:Volume 688, id.A112, 21 pp., 2024, Ref, Web of Science, IF (6.24 - 2024), Web of Science Quartile: Q1 (2024), SCOPUS, SJR (1.896 - 2023), SCOPUS Quartile: Q1 (2024), International
|
2024
|
|
10
|
Gill, Samuel, Bayliss, Daniel, ..., Trifonov, T., TOI-2447 b / NGTS-29 b: a 69-day Saturn around a Solar analogue, Monthly Notices of the Royal Astronomical Society, issue:Volume 532, Issue 2, pp.1444-1458, 2024, doi: 10.1093/mnras/stae1256, Ref, Web of Science, IF (4.8 - 2023), Web of Science Quartile: Q1 (2024), SCOPUS, SJR (1.621 - 2023), SCOPUS Quartile: Q1 (2024), International
|
2024
|
|
11
|
Kossakowski, D., Kürster, M., Trifonov, T., ..., et al., The CARMENES search for exoplanets around M dwarfs. Wolf 1069 b: Earth-mass planet in the habitable zone of a nearby, very low-mass star, Astronomy & Astrophysics, vol:670, issue:А84, 2023, pages:25-0, ISSN (print): 0004-6361, ISSN (online): 1432-0746, doi: 10.1051/0004-6361/202245322 , Ref, Web of Science, IF (65 - 2023), Web of Science Quartile: Q1 (2023), SCOPUS, SJR (1.896 - 2023), SCOPUS Quartile: Q1 (2023), International
|
2023
|
|
12
|
Mircea-Dan Hernest, Trifon Trifonov, Modal Functional (Dialectica) Interpretation, Logical Methods in Computer Science, vol:17, issue:4, 2021, pages:1-29, ISSN (print):1860-5974, ISSN (online):1860-5974, doi:10.46298/LMCS-17(4:3)2021, Ref, IF, IF (0.438 - 2020), Web of Science Quartile: Q3 (Logic), International
|
2021
|
|
13
|
George Mengov, Trifon Trifonov, Kalin Georgiev, Solving an emotional memory equation, Proceedings of the Bulgarian Academy of Sciences (Comptes Rendus), vol:71, issue:12, 2018, pages:1672-1678, ISSN (print):1310–1331, ISSN (online):2367–5535, doi:10.7546/CRABS.2018.12.12, Ref, Web of Science, IF (0.321 - 2018), Web of Science Quartile: Q4 (Multidisciplinary: Q4, 68/69, 2.174%), SCOPUS, SJR (0.205 - 2018), SCOPUS Quartile: Q2 (2018)
|
2018
|
|
14
|
Petar Armyanov, Atanas Semerdzhiev, Trifon Trifonov, Magdalina Todorova, Maria Nisheva-Pavlova, Georgi Penchev, C++11: C++ As Contemporary Programming Language
, Annual of "Informatics" Section of the Union of Scientists in Bulgaria, vol:6, 2013, pages:111-119, ISSN (print):1313-6852, ISSN (online):1313-6852
|
2013
|
|
15
|
Trifon Trifonov, Atanas Semerdzhiev, Georgi Penchev, Magdalina Todorova, Maria Nisheva-Pavlova, Petar Armyanov, Dependently-typed Programming
, Annual of “Informatics” Section Union of Scientists in Bulgaria, vol:6, 2013, pages:86-94, ISSN (print):1313-6852, ISSN (online):1313-6852
|
2013
|
|
16
|
Maria Nisheva-Pavlova, Magdalina Todorova, Pavel Pavlov, Atanas Semerdzhiev, Trifon Trifonov, Georgi Penchev, Petar Armyanov, Key Features and Some Application Areas of ERLANG Programming Language , Annual of "Informatics" Section of the Union of Scientists in Bulgaria, vol:6, 2013, pages:103-110, ISSN (print):1313-6852, ISSN (online):1313-6852
|
2013
|
|
17
|
Magdalina Todorova, Maria Nisheva-Pavlova, Georgi Penchev, Trifon Trifonov, Petar Armyanov, Atanas Semerdzhiev, The GO Programming Language – Characteristics and Capabilities
, Annual of "Informatics" Section of the Union of Scientists in Bulgaria, vol:6, 2013, pages:76-85, ISSN (print):1313-6852, ISSN (online):1313-6852
|
2013
|
|
18
|
Diana Ratiu, Trifon Trifonov, Exploring the Computational Content of the Infinite Pigeonhole Principle, Journal of Logic and Computation, vol:22, issue:2, 2012, pages:329-350, ISSN (print):0955-792X, ISSN (online):1465-363X, doi:10.1093/logcom/exq011, Ref, Web of Science, IF (0.647 - 2012), Web of Science Quartile: Q1 (Logic [SCIE]: Q1, 5/20, 77.500%), SCOPUS, SJR (0.844 - 2012), SCOPUS Quartile: Q1 (Q1: Software, Q2: Logic, Q2: TCS), International, PhD
|
2012
|
|
19
|
Mircea-Dan Hernest, Trifon Trifonov, Modal Functional (`Dialectica') Interpretation, CoRR, vol:abs/1212.0020, 2012, ISSN (online):2331-8422, International
|
2012
|
|
20
|
Trifon Trifonov, Automatic verification of properties of intuitionistic fuzzy connectives via Mathematica
, Notes in Intuitionistic Fuzzy Sets, vol:17, issue:4, 2011, pages:11-15, ISSN (print):1310-4926, ISSN (online):2367-8283, PhD
|
2011
|
|
21
|
Mircea-Dan Hernest, Trifon Trifonov, Light Dialectica Revisited, Annals of Pure and Applied Logic, vol:161, issue:11, 2010, pages:1379-1389, ISSN (print):0168-0072, doi:10.1016/j.apal.2010.04.008, Ref, Web of Science, IF (0.646 - 2010), Web of Science Quartile: Q2 (2010, Mathematics, 116/279, 58.602%), SCOPUS, SJR (0.8 - 2010), SCOPUS Quartile: Q1 (Logic), International, PhD
|
2010
|
|
22
|
Trifon Trifonov, Kalin Georgiev, Georgi Mengov, Interactions In An Art Neural System, Advanced Studies in Contemporary Mathematics, vol:16, issue:1, 2008, pages:105-114, ISSN (print):1229-3067, Ref, IR , SCOPUS, SJR (0.269 - 2017)
|
2008
|
|
23
|
Trifon Trifonov, Kalin Georgiev, Krassimir Atanassov, Software for Modeling with Generalized Nets, Issues in Intuitionistic Fuzzy Sets and Generalized Nets, vol:6, 2008, pages:96-110, ISBN:978-83-88311-91-8, Ref, Zentralblatt(Zbl 1148.68414)
|
2008
|
|
24
|
Krassimir Atanassov, Violeta Tasseva, Trifon Trifonov, Modification of the Algorithm for Token Transfer in Generalized Nets, Cybernetics And Information Technologies, vol:7, issue:1, 2007, pages:62-66, ISSN (print):1311-9702
|
2007
|
|
25
|
Georgi Mengov, Kalin Georgiev, Stephan Pulov, Trifon Trifonov, Krassimir Atanassov, Fast Computation of a Gated Dipole Field, Neural Networks, vol:19, issue:10, 2006, pages:1636-1647, ISSN (print):0893-6080, doi:10.1016/j.neunet.2006.05.031, Ref, Web of Science, IF (2 - 2006), Web of Science Quartile: Q1 (Computer Science, AI, 16/85, 81.765%), SCOPUS, SJR (0.757 - 2006), SCOPUS Quartile: Q1 (Q1: AI, Q3: Cognitive Neurosc)
|
2006
|
|
26
|
Svetla Vassileva, Trifon Trifonov, Kalin Nikolov, Fuzzy Regression Algorithm for the Multi-Modeling Approach, Proceedings of the Jangjeon Mathematical Society, vol:9, issue:1, 2006, pages:83-89, ISSN (print):1598-7264, ISSN (online):2508-7916, Ref, IR , SCOPUS, SJR (0.239 - 2009), SCOPUS Quartile: Q4 (Mathematics)
|
2006
|
|
27
|
Krassimir Atanassov, Trifon Trifonov, Two new intuitionistic fuzzy implications, Advanced Studies in Contemporary Mathematics, vol:13, issue:1, 2006, pages:69-74, ISSN (print):1229-3067, Ref, IR , SCOPUS, SJR (0.711 - 2009), SCOPUS Quartile: Q2 (Mathematics (misc), Zentralblatt(Zbl 1132.03329)
|
2006
|
|
28
|
Kalin Georgiev, Trifon Trifonov, Georgi Mengov, Efficient Orienting Subsystem in an Adaptive Resonance Theory (ART) Neural Network, Proceedings of the Bulgarian Academy of Sciences, vol:56, issue:5, 2005, pages:531-536, ISSN (print):1310–1331, ISSN (online):2367–5535, Ref, Web of Science, IF (0.106 - 2007), Web of Science Quartile: Q4 (Multidisciplinary, 46/50, 9.000%), SCOPUS, SJR (0.122 - 2005), SCOPUS Quartile: Q3 (Multidisciplinary)
|
2005
|
|
29
|
Kalin Georgiev, Trifon Trifonov, Intuitionistic Fuzzy Logical Programming. Syntax And Procedural Semantics, Notes in Intuitionistic Fuzzy Sets, vol:11, issue:6, 2005, pages:29-34, ISSN (print):1310-4926, ISSN (online):2367-8283
|
2005
|
|
30
|
Krassimir Atanassov, Trifon Trifonov, On A New Intuitionistic Fuzzy Implication From Gödel’s Type, Proceedings of the Jangjeon Mathematical Society, vol:8, issue:2, 2005, pages:147-152, ISSN (print):1598-7264, ISSN (online):2508-7916, Ref, IR , SCOPUS, SJR (0.239 - 2009), SCOPUS Quartile: Q4 (Mathematics)
|
2005
|
|
31
|
Krassimir Atanassov, Trifon Trifonov, Towards Combining Two Kinds Of Intuitionistic Fuzzy Sets, Notes in Intuitionistic Fuzzy Sets, vol:11, issue:2, 2005, pages:1-11, ISSN (print):1310-4926, ISSN (online):2367-8283
|
2005
|
|
32
|
George Mengov, Stephan Pulov, Krassimir Atanassov, Kalin Georgiev, Trifon Trifonov, Modelling Neural Signals With a Generalized Net, Advanced Studies in Contemporary Mathematics, vol:7, issue:2, 2003, pages:155-166, ISSN (print):1229-3067, Ref, IR , SCOPUS, SJR (0.771 - 2009), SCOPUS Quartile: Q2 (Mathematics), Zentralblatt(Zbl 1029.92008), PhD
|
2003
|
| Статия в поредица |
|
1
|
Trifon Trifonov, Dialectica Interpretation with Marked Counterexamples, Electronic Proceedings in Theoretical Computer Science, vol:Proceedings of the Third International Workshop on Classical Logic and Computation, issue:47, editor/s:Steffen van Bakel, Stefano Berardi, Ulrich Berger, 2011, pages:73-84, ISSN (print):2075-2180, ISSN (online):2075-2180, doi:10.4204/EPTCS.47.8, Ref, PhD
|
2011
|
|
2
|
Trifon Trifonov, Quasi-linear Dialectica Extraction, Lecture Notes in Computer Science, vol:Programs, Proofs, Processes, 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010. Proceedings, issue:6158, editor/s:Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Lus Mendes Gomes, Publisher:Springer, 2010, pages:417-426, ISSN (print):0302-9743, ISBN:3642139612;978-364213961-1, doi:10.1007/978-3-642-13962-8_46, Ref, IR , SCOPUS, SJR (0.322 - 2010), SCOPUS Quartile: Q2 (Q2: Computer Science, Q3: Theoretical CS), PhD
|
2010
|
|
3
|
Trifon Trifonov, Dialectica interpretation with fine computational control, Lecture Notes in Computer Science, vol:Mathematical Theory and Computational Practice, 5th Conference on Computability in Europe, CiE 2009, Heidelberg, July 19-24, 2009. Proceedings, issue:5635, editor/s:Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle, Publisher:Springer, 2009, pages:467-477, ISSN (print):0302-9743, ISBN:3642030726;978-364203072-7, doi:10.1007/978-3-642-03073-4_48, Ref, IR , SCOPUS, SJR (0.302 - 2009), SCOPUS Quartile: Q2 (Q2: Computer Science, Q4: Theoretical CS), PhD
|
2009
|
|
4
|
Krassimir Atanassov, Trifon Trifonov, On Some Intuitionistic Properties of Intuitionistic Fuzzy Implications and Negations, Advances in Soft Computing, vol:Computational Intelligence, Theory and Applications, issue:6, editor/s:Bernd Reusch, Publisher:Springer, 2006, pages:151-158, ISSN (print):1615-3871, ISBN:978-3-540-34780-4, doi:10.1007/3-540-34783-6_16, Ref, IR , SCOPUS, SJR (0.132 - 2006), SCOPUS Quartile: Q3 (Computer Science (misc)
|
2006
|
| Статия в сборник (на конференция и др.) |
|
1
|
Trifon Trifonov, ..., Evelina Zaharieva, The EXO-RESTART Project, AAS/Division for Extreme Solar Systems Abstracts, 2024
|
2024
|
|
2
|
Filomeno, Simone, Trifonov, T., Biazzo, Katia, Mancini, Luigi, Two nearby young exoplanet systems hosting warm transiting super-Earths , EAS2024/, European Astronomical Society Annual Meeting, Publisher: EAS2024/, European Astronomical Society Annual Meeting, held 1-5 July, 2024 in Padova, Italy. Online at https://eas.unige.ch/EAS2024/. Session SS13 : Young and Mischievous: close-in exoplanets around young stars, Contributed talk, id. 2045, 2024, International
|
2024
|
|
3
|
Atanas Semerdzhiev, Petar Armyanov, Trifon Trifonov, Kalin Georgiev, Applications of Unit Tests in Computer Science and Software Engineering Education, CEUR Workshop Proceedings, editor/s:Vladimir Dimitrov, Vasil Georgiev, 2021, pages:63-77, ISSN (online):1613-0073, Ref, SCOPUS, SJR (0.177 - 2020)
|
2021
|
|
4
|
A. Semerdzhiev, D. Dimitrov, N. Angelova, P. Armyanov, T. Trifonov, K. Georgiev, Performing Computer Science Examinations in a Fully Online Environment, CEUR Workshop Proceedings, editor/s:Vladimir Dimitrov, Vasil Georgiev, 2021, pages:9-21, ISSN (online):1613-0073, Ref, SCOPUS, SJR (0.288 - 2021)
|
2021
|
|
5
|
Petar Armyanov, Atanas Semerdzhiev, Kalin Georgiev, Trifon Trifonov, The effects of incremental grading and optional homeworks on student motivation, INTED2018 (12th annual International Technology, Education and Development Conference), editor/s:L. Gómez Chova and A. López Martínez and I. Candel Torres, 2018, pages:618-625, ISSN (print):2340-1079, ISBN:978-84-616-3847-5, doi:10.21125/inted.2018.1112, Ref
|
2018
|
|
6
|
Trifon Trifonov, On Extraction of Declarative Semantics of Procedural Programs, Proceedings of the 11th Annual International Conference on Computer Science and Education in Computer Science, editor/s:Vijay Kanabar, Petya Assenova, Rumen Stainov, 2015, pages:140-153, ISSN (print):1313-8624, ISSN (online):2603-4794
|
2015
|
|
7
|
Trifon Trifonov, Practical aspects of loop semantics recovery, Proceedings of the 10th Annual International Conference on Computer Science and Education in Computer Science, editor/s:Rumen Stainov, Petya Assenova, Vijay Kanabar, Ivan Christov, 2014, pages:73-92, ISSN (print):1313-8624, ISSN (online):2603-4794
|
2014
|
|
8
|
Magdalina Todorova, Maria Nisheva-Pavlova, Trifon Trifonov, Georgi Penchev, Petar Armyanov, Atanas Semerdzhiev, Contemporary Concurrent Programming Languages Based on the Actor Model, Proceedings of the 7th International Conference Information Systems & Grid Technologies, editor/s:Vladimir Dimitrov, Vasil Georgiev, Publisher:St. Kliment Ohridski University Press, 2013, pages:238-250, ISSN (print):1314-4855
|
2013
|
|
9
|
Magdalina Todorova, Maria Nisheva-Pavlova, Atanas Semerdzhiev, Trifon Trifonov, Petar Armyanov, Georgi Penchev, Contemporary Concurrent Programming Languages Based on the Communicating sequential processes, Proceedings of the 7th International Conference Information Systems & Grid Technologies, editor/s:Vladimir Dimitrov, Vasil Georgiev, Publisher:St. Kliment Ohridski University Press, 2013, pages:267-278, ISSN (print):1314-4855
|
2013
|
|
10
|
A. Semerdzhiev, T. Trifonov, Practical Aspects of Plagiarism Detection in Computer Science e-Learning, ICERI2013 Proceedings: 6th International Conference of Education, Research and Innovation, 18-20 Nov. 2013, Seville, Spain, editor/s:L. Gómez Chova and A. López Martínez and I. Candel Torres, Publisher:IATED, 2013, pages:3953-3961, ISSN (print):2340-1095, ISBN:978-84-616-3847-5, Ref
|
2013
|
|
11
|
Trifon Trifonov, Towards application of verification methods for extraction of loop semantics, Proceedings of the Seventh International Conference "Information Systems & Grid Technologies", editor/s:Vladimir Dimitrov, Vasil Georgiev, Publisher:St. Kliment Ohridski University Press, 2013, pages:202-212, ISSN (print):1314-4855
|
2013
|
|
12
|
Georgiev, K., Trifonov, T., Verification of Java programs and applications of the Java Modelling Language in computer science education, Information Systems & Grid Technologies, Seventh International Conference, ISGT’13, editor/s:Vladimir Dimitrov and Vasil Georgiev, Publisher:St. Kliment Ohridski University Press, 2013, pages:288-296, ISSN (print):1314-4855
|
2013
|
|
13
|
Krassimir Manev, Trifon Trifonov, Declarative Semantics of the Program Loops, Information Systems & Grid Technologies: Sixth International Conference ISGT’2012, editor/s:Vladimir Dimitrov, Publisher:St. Kliment Ohridski University Press, 2012, pages:326-337, ISSN (print):1314-4855
|
2012
|
|
14
|
Атанас Семерджиев, Трифон Трифонов, Мария Нишева, Автоматизирани инструменти за подпомагане на учебния процес по информатика, Сборник доклади от международна научна конференция „Приложение на информационните и комуникационни технологии в икономиката и образованието“, 2-3 декември, 2011 г., УНСС, София, редактор/и:Димитър Г. Велев, издателство:Университет за национално и световно стопанство, 2011, стр.:429-434, ISBN:978-954-92247-3-3
|
2011
|
|
15
|
Трифон Трифонов, Извличане на програми от неконструктивни доказателства, Сборник 120 години Факултет по математика и информатика на Софийския университет, издателство:Издателство но СУ ``Св. Климент Охридски'', 2011, стр.:166-173, ISSN (print):1313-9045
|
2011
|
|
16
|
Sredkov, M., Georgiev, K., Trifonov, T., Sophie 2.0 - a platform for reading, writing and publishing of electronic books in a network environment, Information Systems \& Grid Technologies: Fourth International Conference ISGT’2010, 2010, pages:145-152, ISBN:978-954-07-3168-1
|
2010
|
|
17
|
Miloslav Srekdov, Kalin Georgiev, Sophie 2.0 — a platform for reading, writing and publishing of electronic books in a network environment, Publishing in the networked world: transforming the nature of communication, 14th International Conference on Electronic Publishing, 2010, pages:437-444, ISBN:978-952-232-085-8 , International, PhD
|
2010
|
|
18
|
Kalin Georgiev, Trifon Trifonov, GNTicker — A software tool for efficient interpretation of generalized net models, Issues in Intuitionistic Fuzzy Sets and Generalized Nets, editor/s:Krassimir Atanassov and Janusz Kacprzyk and Maciej Krawczak and Eulalia Szmidt, Publisher:Warsaw School of Information Technology, 2006, pages:71-78, ISBN:83-88311-82-4, Ref, Zentralblatt(Zbl 1147.68600)
|
2006
|
|
19
|
Kalin Georgiev, Trifon Trifonov, A Generalized Net Model Of A Multiagent Distributed Search Engine, Issues in the Representation and Processing of Uncertain and Imprecise Information, editor/s:Krassimir T. Atanassov and Janusz Kacprzyk and Maciej Krawczak and Eulalia Szmidt, Publisher:Akademicka Oficyna Wydawnicza EXIT, 2005, pages:117-126, ISBN:83-60434-01-8
|
2005
|
|
20
|
Svetla Vassileva, Trifon Trifonov, Kalin Georgiev, Ecological Variable Prediction By Fuzzy Regression, Int. Conf. ECOLOGY ' 2005, 2005, pages:203-215, ISBN:954-9368-07-6
|
2005
|
|
21
|
Трифон Трифонов, Калин Георгиев, Интерактивни визуализации в обучението по математика и информатика, Proceedings on the XXXIV conference of the Union of Bulgarian Mathematicians, 2005, стр.:39-40
|
2005
|
|
22
|
Kalin Georgiev, Stefan Hadjitodorov, Trifon Trifonov, A Generalized Net Model Of A Client/Server Multiagent System With Agent Tracking, International IEEE Symposium on Intelligent Systems, Publisher:IEEE, 2004, pages:81-85, ISBN:978-078038278-7, doi:10.1109/IS.2004.1344857, Ref, IEEE Xplore
|
2004
|
|
23
|
Joanna Alexieva, Boyan Djakov, Trifon Trifonov, Generalized Nets Modelling Of A Chromatically Controlled, Industrial Plasma Process, 4th IFAC Workshop DECOM-TT 2004: Automatic Systems for Building the Infrastructure in Developing Countries, Bansko, Bulgaria, October 3-5, 2004, 2004, pages:119-123, ISSN (print):1474-6670, doi:10.1016/S1474-6670(17)30669-9
|
2004
|
|
24
|
Trifon Trifonov, Krassimir Atanassov, On Some Generalized Net Models Of Multiagent Systems. Part 1, Issues in Intuitionistic Fuzzy Sets and Generalized Nets, editor/s:Krassimir Atanassov and Janusz Kacprzyk and Maciej Krawczak, Publisher:Warsaw School of Information Technology, 2004, pages:59-66, ISBN:83-88311-75-1, Ref, Zentralblatt(Zbl 1160.68476)
|
2004
|
|
25
|
Krassimir Atanassov, Boyan Djakov, Joanna Alexieva, Trifon Trifonov, Gordon Jones, A Generalized Net Model Of A Material-Processing Reactor Equipped With Chromatic Monitoring And Control Based On Intuitionistic Fuzzy Evaluation Of The Chromaticity, Third Conference of European Society for Fuzzy Logic and Technology, editor/s:Michael Wagenknecht and Rainer Hampel, Publisher:University of Applied Sciences at Zittau/Görlitz, Germany, 2003, pages:214-217, ISBN:3-9808089-4-7, International, PhD
|
2003
|
|
26
|
Anthony Shannon, Eulalia Szmidt, Maciej Krawczak, Daniela Orozova, Evdokia Sotirova, Nikolai Ralev, Ilias Petrounias, Krassimir Atanassov, Trifon Trifonov, Pedro Melo-Pinto et al., A generalized net model of a multiagent system for the supplying and servicing of sections of a university, Proceedings of the 4th International Workshop on Generalized Nets, 2003, pages:1-7, International
|
2003
|
|
27
|
Trifon Trifonov, Valentina Radeva, Implementation Of Generalized Nets With External Modules, Proceedings of the Third International Workshop on Generalized Nets, 2002, pages:59-64
|
2002
|
|
28
|
Evelina Koycheva, Trifon Trifonov, Hristo Aladjov, Modelling of UML sequence diagrams with generalized nets, International IEEE Symposium on Intelligent Systems, Publisher:IEEE, 2002, pages:79-84, ISBN:0-7803-7134-8, doi:10.1109/IS.2002.1042592, Ref, IEEE Xplore, PhD
|
2002
|
|
29
|
Trifon Trifonov, Krassimir Atanassov, On Some Generalized Net Models of Multiagent Systems, Proceedings of ECIT 2002, July 18, Bucharest, Romania, Publisher:Ministerului Educatiei si Cercetarii, 2002, pages:49-52
|
2002
|
|
30
|
Trifon Trifonov, Krassimir Atanassov, On Some Generalized Net Models Of Multiagent Systems. Part 2, Proceedings of the Third International Workshop on Generalized Nets, 2002, pages:49-58
|
2002
|
| Участие в конференция |
|
1
|
Секционен доклад, Трифон Трифонов, On Extraction of Declarative Semantics of Procedural Programs
|
2015
|
|
2
|
Секционен доклад, Трифон Трифонов, Practical aspects of loop semantics recovery
|
2014
|
|
3
|
Секционен доклад, Трифон Трифонов, Interactive Visualizations In Mathematics And Computer Science Education
|
2005
|
|