المؤلفون: Zhiany, Saeed, Ghassemi, Fatemeh, Abbasimoghadam, Nesa, Hodaei, Ali, Ataollahi, Ali, Kovács, József, Ábrahám, Erika, Sirjani, Marjan

مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory

URL الوصول: http://arxiv.org/abs/2411.03160

المؤلفون: Zarneshan, Mahsa, Ghassemi, Fatemeh, Khamespanah, Ehsan, Sirjani, Marjan, Hatcliff, John

المصدر: Logical Methods in Computer Science, Volume 18, Issue 2 (June 1, 2022) lmcs:6964

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2012.04025

المؤلفون: Riahi, Shahrzad, Khosravi, Ramtin, Ghassemi, Fatemeh

المصدر: JUCS - Journal of Universal Computer Science, 30((4)), 462-501, (2024-04-28)

مصطلحات موضوعية: Distributed systems, Knowledge, Inference, Privacy Policy, Formal Verification

Relation: https://doi.org/10.3897/jucs.103011; oai:zenodo.org:11090408

الاتاحة: https://doi.org/10.3897/jucs.103011

المؤلفون: Jahandideh, Iman, Ghassemi, Fatemeh, Sirjani, Marjan

مصطلحات موضوعية: Electrical Engineering and Systems Science - Systems and Control

URL الوصول: http://arxiv.org/abs/1901.02597

المؤلفون: Edalat, Ehsan, Sadeghiyan, Babak, Ghassemi, Fatemeh

مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Cryptography and Security

URL الوصول: http://arxiv.org/abs/1811.10448

المؤلفون: Abbasi, Rosa, Ghassemi, Fatemeh, Khosravi, Ramtin

مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science, Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/1709.03245

المؤلفون: Yousefi, Behnaz, Ghassemi, Fatemeh

مصطلحات موضوعية: Computer Science - Networking and Internet Architecture

URL الوصول: http://arxiv.org/abs/1709.01786

المؤلفون: Ghassemi, Fatemeh, Fokkink, Wan

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1705.02600

المؤلفون: Sabahi-Kaviani, Zeynab¹ (AUTHOR) z.sabahi@ut.ac.ir, Ghassemi, Fatemeh¹ (AUTHOR) fghassemi@ut.ac.ir

المصدر: Soft Computing - A Fusion of Foundations, Methodologies & Applications. Dec2024, Vol. 28 Issue 23, p13443-13460. 18p.

مصطلحات موضوعية: *ARTIFICIAL neural networks, *ARTIFICIAL intelligence, *MACHINE learning, *FEATURE extraction, *IMAGE processing

المؤلفون: Yousefi, Behnaz, Ghassemi, Fatemeh, Khosravi, Ramtin

مصطلحات موضوعية: Computer Science - Networking and Internet Architecture, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1604.07179

المؤلفون: Khosravi, Ramtin, Khamespanah, Ehsan, Ghassemi, Fatemeh, Sirjani, Marjan

المصدر: Lecture Notes in Computer Science ; Active Object Languages: Current Research Trends ; page C1-C1 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031510595 9783031510601

الاتاحة: https://doi.org/10.1007/978-3-031-51060-1_14
https://link.springer.com/content/pdf/10.1007/978-3-031-51060-1_14

المؤلفون: Farzandway, Mahdi, Ghassemi, Fatemeh

المصدر: 2024 IEEE International Conference on Artificial Intelligence Testing (AITest) ; page 81-86

الاتاحة: http://dx.doi.org/10.1109/aitest62860.2024.00018
http://xplorestaging.ieee.org/ielx8/10685158/10685183/10685187.pdf?arnumber=10685187

المؤلفون: Shabani, Peyman, Ghassemi, Fatemeh, Kargahi, Mehdi

المصدر: 2024 5th CPSSI International Symposium on Cyber-Physical Systems (Applications and Theory) (CPSAT) ; page 1-8

الاتاحة: http://dx.doi.org/10.1109/cpsat64082.2024.10745413
http://xplorestaging.ieee.org/ielx8/10745285/10745375/10745413.pdf?arnumber=10745413

المؤلفون: Moezkarimi, Zahra, Ghassemi, Fatemeh, Mousavi, Mohammad Reza

المساهمون: UKRI Trustworthy Autonomous Systems Node in Verifiability

المصدر: Journal of Logic and Computation ; volume 32, issue 6, page 1234-1271 ; ISSN 0955-792X 1465-363X

الاتاحة: http://dx.doi.org/10.1093/logcom/exac025
https://academic.oup.com/logcom/article-pdf/32/6/1234/45608643/exac025.pdf

المؤلفون: Samadi, Mahboubeh, Ghassemi, Fatemeh, Khosravi, Ramtin

المساهمون: Mahboubeh Samadi and Fatemeh Ghassemi and Ramtin Khosravi

مصطلحات موضوعية: Asynchronous Message Passing, Choreography-Based, Runtime Enforcement, Runtime Prevention, Message Ordering

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 184, 24th International Conference on Principles of Distributed Systems (OPODIS 2020); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2020.21

الاتاحة: https://doi.org/10.4230/LIPIcs.OPODIS.2020.21
https://nbn-resolving.org/urn:nbn:de:0030-drops-135069
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2020.21

المؤلفون: Moezkarimi, Zahra, Ghassemi, Fatemeh

المصدر: Journal of Logical and Algebraic Methods in Programming ; volume 141, page 101001 ; ISSN 2352-2208

الاتاحة: https://doi.org/10.1016/j.jlamp.2024.101001
https://api.elsevier.com/content/article/PII:S2352220824000555?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S2352220824000555?httpAccept=text/plain

المؤلفون: Samadi, Mahboubeh, Ghassemi, Fatemeh, Khosravi, Ramtin

المصدر: Journal of Computer and System Sciences ; volume 144, page 103544 ; ISSN 0022-0000

الاتاحة: http://dx.doi.org/10.1016/j.jcss.2024.103544
https://api.elsevier.com/content/article/PII:S0022000024000394?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0022000024000394?httpAccept=text/plain

المؤلفون: Sabahi-Kaviani, Zeynab, Ghassemi, Fatemeh, Alimadadi, Zahra

المساهمون: University of Tehran, Institute for Research in Fundamental Sciences Tehran (IPM), Luís S. Barbosa, Mohammad Ali Abam, TC 1, WG 1.8

المصدر: Lecture Notes in Computer Science ; 3rd International Conference on Topics in Theoretical Computer Science (TTCS) ; https://hal.inria.fr/hal-03165385 ; 3rd International Conference on Topics in Theoretical Computer Science (TTCS), Jul 2020, Tehran, Iran. pp.17-31, ⟨10.1007/978-3-030-57852-7_2⟩

مصطلحات موضوعية: Automata learning, Machine learning, Traffic classification, Model inference, [INFO]Computer Science [cs]

جغرافية الموضوع: Tehran, Iran

Relation: hal-03165385; https://hal.inria.fr/hal-03165385; https://hal.inria.fr/hal-03165385/document; https://hal.inria.fr/hal-03165385/file/495613_1_En_2_Chapter.pdf

الاتاحة: https://hal.inria.fr/hal-03165385
https://hal.inria.fr/hal-03165385/document
https://hal.inria.fr/hal-03165385/file/495613_1_En_2_Chapter.pdf
https://doi.org/10.1007/978-3-030-57852-7_2

المؤلفون: Zarneshan, Mahsa, Ghassemi, Fatemeh, Sirjani, Marjan

المصدر: Lecture Notes in Computer Science ; Coordination Models and Languages ; page 386-402 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030500283 9783030500290

الاتاحة: http://dx.doi.org/10.1007/978-3-030-50029-0_24
http://link.springer.com/content/pdf/10.1007/978-3-030-50029-0_24

المؤلفون: Ghassemi, Fatemeh, Mousavi, Mohammad Reza, 1978

المصدر: Effective Model-Based Testing of Concurrent Systems AUTO-CAAS eLLIIT – The Linköping – Lund Initiative on IT and Mobile Communication The Journal of logical and algebraic methods in programming. 85(1, part 2):200-226

مصطلحات موضوعية: Software product line, Process theory, Product line bisimulation, Strict strong bisimulation, mu-Calculus, Axiomatization

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-30174
https://doi.org/10.1016/j.jlamp.2015.09.008
https://hh.diva-portal.org/smash/get/diva2:894430/FULLTEXT01.pdf