Irina Aleksandrovna Lomazova

Irina Aleksandrovna Lomazova
Irina Aleksandrovna Lomazova
Izvirno ime	Ирина Александровна Ломазова
Rojstvo	12. avgust 1954 (72 let)
Bivališče	Sovjetska zveza; Rusija;
Narodnost	ruska
Področja	logika, računalništvo
Ustanove	NGU; NIU VŠE;
Alma mater	Ruska akademija znanosti; doktorat 1981;
Mentor doktorske; disertacije	Boris Avraamovič Trahtenbrot
Doktorski študenti	Ana Aleksejevna Kalenkova (2018); Aleksej Aleksandrovič Micjuk (2019);

Irina Aleksandrovna Lomazova (rusko Ирина Александровна Ломазова), ruska matematičarka in računalnikarka, * 12. avgust 1954.^[1]

Lomazova je priznana strokovnjakinja na področju formalne verifikacije programske opreme in profesorica na Oddelku za programsko inženirstvo na Fakulteti za računalništvo Višje ekonomske šole (NIU VŠE), kjer dela od leta 2010, kar je praktično od ustanovitve Oddelka.^[2] Tu je od leta 2018 redna profesorica.

Bibliografija

——— (1978), »О сложности индуктивных условий для верификации арифметических программ« [O kompleksnosti induktivnih pogojev za verifikacijo aritmetičnih programov], Материалы Всес. Студенческой конференции "Студент и научно-технический прогресс" (prispevek na konferenci), Novosibirsk, str. 85–94{{citat}}: Vzdrževanje CS1: lokacija brez založnika (povezava)
——— (1984), »Хоаровская логика для функциональных программ« [Hoareova logika za funkcionalne programe], Проблемы системного л теоретического программирования, Novosibirsk: NGU, str. 148–156
——— (1986), »Редуцирующие преобразования для функциональных программ с присваиванием« [Zmanjševanje transformacij za funkcionalne programe z dodelitvijo], Programmirovanie (3): 1724, ISSN 0132-3474
——— (1986), »Аксиоматическая семантика программ, не допускающая побочных эффектов« [Aksiomatska semantika programov, ki ne dovoljujejo stranskih učinkov], Прикладная логика (Вычислительные системы, вып. 116), Novosibirsk, str. 129–137{{citat}}: Vzdrževanje CS1: lokacija brez založnika (povezava)
——— (1986), »Пошаговая разработка корректных программ посредством процедурной реализации абстрактных типов данных« [Postopen razvoj pravilnih programov s proceduralno implementacijo abstraktnih podatkovnih tipov], Новые методы конструирования программ, Novosibirsk: NGU, str. 74–83
———; Lisenko, N. V. (1998), »Моделирование задачи разделенного доступа средствами модульных сетей Петри« [Modeliranje problema deljenega dostopa z uporabo modularnih Petrijevih mrež], Моделирование и анализ информационных систем. Вып. 5., Jaroslavelj: JarGU, str. 62–73
——— (1999), »Моделирование мультиагентных динамических систем вложенными сетями Петри« [Modeliranje večagentnih dinamičnih sistemov z vgnezdenimi Petrijevimi mrežami], Программные системы: Теоретические основы и приложения, Moskva: Nauka, Fizmatlit, str. 143–156
——— (1999), »Каузальная семантика для сетей Петри с контактами« [Vzročna semantika za Petrijeve mreže s stiki], Programmirovanie (4): 214–221, ISSN 0132-3474
- »Causal semantics for Petri nets with contacts«, Programming and Computer Software, 25 (4): 214–221, 1999, Zbl 0977.68062
Baškin, Vladimir Anatoljevič; ——— (1999), »О языках вложенных рекурсивных сетей Петри« [O vgnezdenih rekurzivnih jezikih Petrijevih mrež], Интеллектуальное управление: новые интеллектуальные технологии в задачах управления (ICIT’99). Труды международной конференции, Переславль-Залесский, 6–9 декабря 1999 (prispevek na konferenci), Moskva: Nauka, Fizmatlit, str. 9–13
——— (2000), »Некоторые алгоритмы анализа для многоуровневых вложенных сетей Петри« [Nekateri algoritmi za analizo večnivojskih vgnezdenih Petrijevih mrež], Izvestija RAN. Teorija i sistemy upravlenija (6): 965–974
———; Schnoebelen, Philippe (2000), »Some decidability results for nested Petri nets« [Nekateri rezultati odločljivosti za vgnezdene Petrijeve mreže], v Bjørner, Dines; idr (ur.), Perspectives of system informatics. 3rd international Andrei Ershov memorial conference, PSI ’99. Akademgorodik, Novosibirsk, Russia, July 6-9, 1999. Proceedings (prispevek na konferenci), (Lecture Notes in Computer Science), vol. 1755, Berlin: Springer, str. 208–220, Zbl 0964.68094
——— (2000), »Nested Petri nets – a formalism for specification and verification of multi-agent distributed systems« [Vgnezdene Petrijeve mreže – formalizem za specifikacijo in verifikacijo večagentnih porazdeljenih sistemov], Fundamenta Informaticae, 43 (1–4): 195–214, ISSN 0169-2968, Zbl 0965.68062
Baškin, Vladimir Anatoljevič; ——— (2000), »Reduction of Coloured Petri nets based on resource bisimulation« [Redukcija barvnih Petrijevih mrež na podlagi bisimulacije virov], Joint Bulletin of NCC & IIS, Comp. Science, 13: 12–17
——— (2001), Рекурсивные вложенные сети Петри: анализ семантических свойств и выразительность [Rekurzivne vgnezdene Petrijeve mreže: analiza semantičnih lastnosti in izraznosti], sprejeto za objavo v reviji Programmirovanie
——— (2001), Анализ семантических свойств некоторых классов программ и сетей Петри : Автореферат диссертации на соискание ученой степени доктора физико-математических наук [Analiza semantičnih lastnosti nekaterih razredov programov in Petrijevih mrež: Povzetek disertacije za doktorat fizikalnih in matematičnih znanosti], Moskva: VC RAN, str. 32
Farwer, Berndt; ——— (2001), »A systematic approach towards object-based Petri net formalisms« [Sistematični pristop k objektno usmerjenim formalizmom Petrijevih mrež], v Bjørner, Dines; idr (ur.), Perspectives of system informatics. 4th international Andrei Ershov memorial conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2–6, 2001. Revised papers (prispevek na konferenci), (Lecture Notes in Computer Science), vol. 2244, Berlin: Springer, str. 255–267, ISBN 3-540-43075-X, Zbl 1073.68692
——— (2001), »Nested Petri nets: Multi-level and recursive systems« [Vgnezdene Petrijeve mreže: Večnivojski in rekurzivni sistemi], Fundamenta Informaticae, 47 (3–4): 283–293, ISSN 0169-2968, Zbl 1052.68091
——— (2002), »Объектно-ориентированные сети Петри: формальная семантика и анализ« [Objektno usmerjene Petrijeve mreže: formalna semantika in analiza], Sistemnaja informatika (8), Novosibirsk: 60–61
——— (2002), »Modeling dynamic objects in distributed systems with nested Petri nets« [Modeliranje dinamičnih objektov v porazdeljenih sistemih z vgnezdenimi Petrijevimi mrežami], Fundamenta Informaticae, 51 (1–2): 121–133, ISSN 0169-2968, Zbl 1003.68104
Baškin, Vladimir Anatoljevič; ——— (2002), »Resource bisimulations in Nested Petri Nets« [Bisimulacije virov v vgnezdenih Petrijevih mrežah], Proc. of Concurrency, Specifcation and Programming (CS&P’2002). Informatik-Bericht 161. (prispevek na konferenci), vol. 1, Berlin: Humboldtova univerza v Berlinu, str. 39–52
Baškin, Vladimir Anatoljevič; ——— (2003), »Petri nets and resource bisimulation« [Petrijeve mreže in bisimulacija virov], Fundamenta Informaticae, 55 (2): 101–114, ISSN 0169-2968, Zbl 1111.68531
Baškin, Vladimir Anatoljevič; ——— (2003), »Resource Similarities in Petri Nets Models of Distributed Systems«, v Malyshkin, Victor E. (ur.), Parallel Computing Technologies. PaCT 2003 [Podobnosti virov v modelih Petrijevih mrež porazdeljenih sistemov] (prispevek na konferenci), (Lecture Notes in Computer Science), vol. 2763, Berlin; Heidelberg: Springer, str. 35–48, doi:10.1007/978-3-540-45145-7_4, ISBN 978-3-540-45145-7
——— (2004), Вложенные сети Петри: моделирование и анализ распределенных систем с обьектной структурой [Vgnezdene Petrijeve mreže: modeliranje in analiza porazdeljenih sistemov z objektno strukturo], Moskva: Mir, str. 208, ISBN 5-89176-247-1, Zbl 1105.68086
Baškin, Vladimir Anatoljevič; ——— (2005), »Similarity of generalized resources in Petri nets« [Podobnost posplošenih virov v Petrijevih mrežah], v Malyshkin, Victor E. (ur.), Parallel Computing Technologies, (Lecture Notes in Computer Science), vol. 3606, Berlin; Heidelberg: Springer, str. 27–, ISBN 978-3-540-31826-2{{citat}}: Vzdrževanje CS1: dodatno ločilo (povezava)
Baškin, Vladimir Anatoljevič; ——— (2005), »Подобие обобщенных ресурсов в сетях Петри« [Podobnost posplošenih virov v Petrijevih mrežah], Труды второй всероссийской конференции “Методы и средства обработки информации” (МСО-2005) (prispevek na konferenci), Moskva: Izd-vo VMK MGU, str. 330–336
——— (2005), »Универсальные сети Петри и системы переписывания процессов, дополненные процедурам« [Univerzalne Petrijeve mreže in sistemi za prepisovanje procesov, dopolnjeni s postopki], Doklady Akademmi nauk, 401 (1): 30–33, ISSN 0869-5652
Baškin, Vladimir Anatoljevič; ——— (2006), »Эквивалентность ресурсов в моделях потоков работ« [Ekvivalentnost virov v modelih delovnih procesov], Программные системы: теория и приложения. Труды международной конференции (prispevek na konferenci), vol. 1, Pereslavelj-Zaleski: IPS RAN, str. 323–338
Baškin, Vladimir Anatoljevič; ——— (2006), »О параметризованном построении подобия ресурсов в сетях Петри« [O parametrizirani konstrukciji podobnosti virov v Petrijevih mrežah], Интеллектуальные системы и компьютерные науки. Труды IX-ой Международной конференции (prispevek na konferenci), vol. 1, Moskva: Izd-vo mehmata MGU, str. 56–58
Baškin, Vladimir Anatoljevič; ——— (2006), »Resource equivalence in workfow nets« [Ekvivalentnost virov v omrežjih delovnih procesov], Proc. of Concurrency, Specifcation and Programming (CS&P’2006) (prispevek na konferenci), vol. 1, Berlin: Humboldtova univerza v Berlinu, str. 80–91
van Hee, Kees M.; ———; Oanea, Olivia; Serebrenik, Alexander; Sidorova, Natalia; Voorhoeve, Marc (2006), »Nested nets for adaptive systems« [Vgnezdene mreže za prilagodljive sisteme], v Donatelli; idr., Susanna (ur.), Petri nets and other models of concurrency – ICATPN 2006. 27th international conference on applications and theory of Petri nets and other models of concurrency, Turku, Finland, June 26–30, 2006. Proceedings (prispevek na konferenci), (Lecture Notes in Computer Science), vol. 4024, Berlin: Springer, str. 241–260, ISBN 978-3-540-34699-9, Zbl 1234.68314
van Hee, Kees M.; Oanea, Olivia; Serebrenik, Alexander; Sidorova, Natalia; Voorhoeve, Marc; ——— (2007), »Checking properties of adaptive workflow nets« [Preverjanje lastnosti prilagodljivih delovnih mrež], Fundamenta Informaticae, 79 (3–4): 347–362, ISSN 0169-2968, Zbl 1124.68062
——— (2008), »Nested Petri Nets for Adaptive Process Modeling« [Vgnezdene Petrijeve mreže za prilagodljivo modeliranje procesov], v Avron, Arnon; idr. (ur.), Pillars of computer science. Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday, (Lecture Notes in Computer Science), vol. 4800, Berlin: Springer, str. 460–474, doi:10.1007/978-3-540-78127-1_25, ISBN 978-3-540-78126-4, Zbl 1133.68385
Baškin, Vladimir Anatoljevič; ——— (2008), Эквивалентность ресурсов в сетях Петри [Ekvivalentnost virov v Petrijevih mrežah], Moskva: Naučnyj mir
Baškin, Vladimir Anatoljevič; ——— (2010), »Двухуровневое моделирование мультиагент-ных систем на основе обобщенных сетей активных ресурсов« [Dvonivojsko modeliranje večagentnih sistemov na podlagi posplošenih omrežij aktivnih virov], Труды семинара “Семантика, спецификация и верификация программ: теория и приложения” (prispevek na konferenci), Kazan, str. 32–36{{citat}}: Vzdrževanje CS1: lokacija brez založnika (povezava)
Baškin, Vladimir Anatoljevič; ——— (2010), »Resource Driven Automata Nets« [Mreže avtomatov, gnene z viri], Proc. of Concurrency, Specifcation and Programming (CS&P’2010) (prispevek na konferenci), vol. 1, Berlin: Humboldtova univerza v Berlinu, str. 37–48
Baškin, Vladimir Anatoljevič; ——— (2011), »Моделирование мультиагентных систем с помощью обобщенных сетей активных ресурсов« [Modeliranje večagentnih sistemov z uporabo posplošenih omrežij aktivnih virov], Кибернетика и системный анализ, str. 31–39
- »Modelling multiagent systems with the help of generalized nets of active resources«, Cybernetics and System Analyses, vol. 47, 2011, str. 202–209, Zbl 1298.68271
Baškin, Vladimir Anatoljevič; ——— (2011), »Resource driven automata nets« [Mreže avtomatov, gnane z viri], Fundamenta Informaticae, 109 (3): 223–236, ISSN 0169-2968, Zbl 1235.68107
Baškin, Vladimir Anatoljevič; ——— (2011), »Cellular resource-driven automata« [Celični avtomati, gnani z viri], v Czaja, L.; Szczuka, M.; Skowron, A.; Kacprzak, A. (ur.), Concurrency, Specifcation and Programming. Proc. of CS&P 2011 (prispevek na konferenci), Tehniška univerza v Białystoku, str. 29–41
Baškin, Vladimir Anatoljevič; ——— (2012), »Cellular resource driven automata nets« [Mreže avtomatov, gnane s celični viri], Fundamenta Informaticae, 120 (3–4): 245–259, ISSN 0169-2968, Zbl 1254.68269
Dworzański, Leonid W.; ——— (2012), »On compositionality of boundedness and liveness for nested Petri nets« [O kompozicijskosti omejenosti in živosti za vgnezdene Petrijeve mreže], Fundamenta Informaticae, 120 (3–4): 275–293, ISSN 0169-2968, Zbl 1277.68181
Baškin, Vladimir Anatoljevič; ——— (2013), »О разрешимости бездефектности для сетей потоков работ с неограниченным ресурсом« [O odločljivosti zanesljivosti za omrežja delovnih procesov z neomejenimi viri], Modelirovanie i analiz informacionnyh sistem, 20 (4): 23–40
Baškin, Vladimir Anatoljevič; ———; Novikova, Ja. A. (2013), »Timed resource driven automata nets for distributed real-time systems modelling« [Časovno vodene avtomatske mreže za modeliranje porazdeljenih sistemov v realnem času], v Malyshkin, Victor E. (ur.), Parallel Computing Technologies, (Lecture Notes in Computer Science), vol. 7979, Berlin; Heidelberg: Springer, str. 13–25
Baškin, Vladimir Anatoljevič; ——— (2013), »Soundness of workfow nets with an unbounded resource is decidable« [Zanesljivost delovnih mrež z neomejenim virom je odločljiva], Joint Proc. of Petri Nets and Software Engineering (PNSE’13) and Modeling and Business Environments (ModBE’13), vol. 989, CEUR, Milano, str. 61–75{{citat}}: Vzdrževanje CS1: lokacija brez založnika (povezava)
———; Romanov, Ivan V. (2013), »Analyzing compatibility of services via resource conformance« [Analiza združljivosti storitev prek skladnosti virov], Fundamenta Informaticae, 128 (1–2): 129–141, ISSN 0169-2968, Zbl 1285.68015
Baškin, Vladimir Anatoljevič; ——— (2014), »Decidability of k-soundness for workflow nets with an unbounded resource« [Odločljivost k-zanesljivosti za mreže delovnega toka z neomejenim virom], v Koutny, Maciej; idr. (ur.), Transactions on Petri Nets and Other Models of Concurrency IX., (Lecture Notes in Computer Science), vol. 8910, Berlin: Springer, str. 1–18, Zbl 1428.68195
Kalenkova, Anna A.; ———; van der Aalst, Wil M. P. (2014), »2014, Process model discovery: a method based on transition system decomposition« [Odkrivanje procesnega modela: metoda, ki temelji na dekompoziciji prehodnega sistema], v Ciardo, Gianfranco; idr. (ur.), Application and theory of Petri nets and concurrency. 35th international conference, PETRI NETS 2014, Tunis, Tunisia, June 23–27, 2014. Proceedings, (Lecture Notes in Computer Science), vol. 8489, Berlin: Springer, str. 71–90, Zbl 1410.68252
Kalenkova, Anna A.; ——— (2014), »Discovery of cancellation regions within process mining techniques« [Odkrivanje območij odpovedi znotraj tehnik procesnega rudarjenja], Fundamenta Informaticae, 133 (2–3): 197–209, ISSN 0169-2968, Zbl 1302.68202
Begičeva, Antonina Konstantinovna; ——— (31. julij 2015), »Соответствует ли Ваш журнал событий высокоуровневой модели процесса?«, Modelirovanie i analiz informacionnyh sistem, 22 (3): 392–403, doi:10.18255/1818-1015-2015-3-392-403, eISSN 2313-5417, ISSN 1818-1015
- »Does Your Event Log Fit the High-Level Process Model?«, Modeling and Analysis of Information Systems, 22 (3): 392–403, 31. julij 2015
Dworzański, Leonid W.; ——— (2016), »Structural place invariants for analyzing the behavioral properties of nested Petri nets« [Strukturne krajevne invariante za analizo vedenjskih lastnosti vgnezdenih Petrijevih mrež], v Kordon, Fabrice; idr. (ur.), Application and theory of Petri nets and concurrency. 37th international conference, PETRI NETS 2016, Toruń, Poland, June 19–24, 2016. Proceedings, (Lecture Notes in Computer Science), vol. 9698, Cham: Springer, str. 325–344, ISBN 978-3-319-39085-7, Zbl 1346.68130
———; Popova-Zeugmann, Louchka (2016), »Controlling Petri net behavior using priorities for transitions« [Nadzorovanje vedenja Petrijeve mreže z uporabo prioritet za prehode], Fundamenta Informaticae, 143 (1–2): 101–112, ISSN 0169-2968, Zbl 1358.68217
——— (2017), »Resource equivalences in Petri nets« [Ekvivalentnost virov v Petrijevih mrežah], v van der Aalst, Wil; idr. (ur.), Application and theory of Petri nets and concurrency. 38th international conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017. Proceedings, (Lecture Notes in Computer Science), vol. 10258, Cham: Springer, str. 19–34, ISBN 978-3-319-57860-6, Zbl 1393.68120
——— (2021), »О системах переписывания процессов высокого уровня« [O sistemih za prepisovanje procesov na visoki ravni], Всероссийская научная конференция «Математические основы информатики и информационно-коммуникационных систем». Сборник трудов (prispevek na konferenci), Tver: TvGu, str. 42–44, doi:10.26456/mfcsics-21-4
———; Baškin, Vladimir Anatoljevič; Jančar, Petr (2022), »Resource bisimilarity in Petri nets is decidable« [Bisimilarnost virov v Petrijevih mrežah je odločljiva], Fundamenta Informaticae, 186 (1–4): 175–194, ISSN 0169-2968, Zbl 1540.68155

Sklici

Viri

Krajneva, Irina Aleksandrovna (2019), »Женщины в программировании: власть и тщета гендера«, Idei i idealy, 11 (3 / 2): 350–374, doi:10.17212/2075-0862-2019-11.3.2-350-374, pridobljeno 15. decembra 2025 – prek cyberleninka.ru

Zunanje povezave

Irina Aleksandrovna Lomazova na Projektu Matematična genealogija (angleško)
»I Have Never Competed with Anyone«, hse.ru (v angleščini in ruščini)
»Ломазова Ирина Александровна«, hse.ru (v ruščini)

Ta članek o matematiku je škrbina. Pomagajte Wikipediji in ga razširite.

[kraj-2019-1] Krajneva (2019).

[spl00-2] »Ломазова Ирина Александровна, профессор департамента программной инженерии, заведующий лабораторией процессно-ориентированных информационных систем (ПОИС) факультета компьютерных наук (Москва)«, hse.ru (v ruščini), pridobljeno 15. novembra 2025^{[mrtva povezava]}

[1]

[2]