المؤلفون: Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen

المصدر: Logical Methods in Computer Science, Vol Volume 20, Issue 1 (2024)

مصطلحات موضوعية: computer science - programming languages, computer science - logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/10440/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/de5ab92fd7694c31a8e4a830eb284383

المؤلفون: Claudio Antares Mezzina, Jorge A. Pérez

المصدر: Logical Methods in Computer Science, Vol Volume 17, Issue 4 (2021)

مصطلحات موضوعية: computer science - logic in computer science, d.3.1, f.3.2, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/6997/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/89a7c7f5dcf14789af5fb509029036b6

المؤلفون: Hernán Melgratti, Claudio Antares Mezzina, Irek Ulidowski

المصدر: Logical Methods in Computer Science, Vol Volume 16, Issue 4 (2020)

مصطلحات موضوعية: computer science - logic in computer science, computer science - formal languages and automata theory, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/5831/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/0c426f1da0b44a06ab2bc8a7b295ac93

المؤلفون: Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 276, Iss Proc. EXPRESS/SOS 2018, Pp 87-103 (2018)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1808.08655v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/e57a32b6d4c645b1b98dfb6f74387899

المؤلفون: Ian Cassar, Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 254, Iss Proc. PrePost 2017, Pp 69-80 (2017)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1708.07233v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/68e6f6c3a00e438f8617d17d453dd105

المؤلفون: Federico Dal Pio Luogo, Claudio Antares Mezzina, G. Michele Pinna

المساهمون: Dal Pio Luogo, Federico, Mezzina, CLAUDIO ANTARES, Michele Pinna, G.

Relation: info:eu-repo/semantics/altIdentifier/isbn/9783031620751; info:eu-repo/semantics/altIdentifier/isbn/9783031620768; ispartofbook:Reversible Computation - 16th International Conference, RC 2024; volume:14680; firstpage:218; lastpage:237; numberofpages:20; serie:LECTURE NOTES IN COMPUTER SCIENCE; https://hdl.handle.net/11576/2739651; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85195833380

الاتاحة: https://hdl.handle.net/11576/2739651
https://doi.org/10.1007/978-3-031-62076-8_14

المؤلفون: Bogdan Aman, Gabriel Ciobanu, Robert Gl(, Robin Kaarsgaard, Jarkko Kari, Martin Kutrib, Ivan Lanese, Claudio Antares Mezzina (L)ukasz Mikulski, Rajagopal Nagarajan, Iain Phillips, G. Michele Pinna, Luca Prigioniero, Irek Ulidowski, Germ('a)n Vidal

المساهمون: Bogdan Aman, Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira, Aman, Bogdan, Ciobanu, Gabriel, Gl(, Robert, Kaarsgaard, Robin, Kari, Jarkko, Kutrib, Martin, Lanese, Ivan, Antares Mezzina (L)ukasz Mikulski, Claudio, Nagarajan, Rajagopal, Phillips, Iain, Michele Pinna, G., Prigioniero, Luca, Ulidowski, Irek, Vidal, Germ('a)n

مصطلحات موضوعية: Reversibility, Computability

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-030-47361-7; info:eu-repo/semantics/altIdentifier/wos/WOS:000719283800023; ispartofbook:Reversible Computation: Extending Horizons of Computing. Selected Results of the COST Action IC1405; volume:12070; firstpage:1; lastpage:40; numberofpages:40; serie:LECTURE NOTES IN COMPUTER SCIENCE; alleditors:Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira; http://hdl.handle.net/11584/289972; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85085494583; https://doi.org/10.1007/978-3-030-47361-7_1

الاتاحة: http://hdl.handle.net/11584/289972
https://doi.org/10.1007/978-3-030-47361-7_1

المؤلفون: Claudio Antares Mezzina, Adrian Francalanza, Emilio Tuosto

Relation: url:https://www.openaccessrepository.it/communities/itmirror; https://www.openaccessrepository.it/record/78883

الاتاحة: https://www.openaccessrepository.it/record/78883
https://doi.org/10.1007/978-3-030-47361-7_6

المؤلفون: Ivan Lanese, Doriana Medic, Claudio Antares Mezzina

المساهمون: Ivan Lanese, Doriana Medic, Claudio Antares Mezzina

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000494792800001; volume:58; issue:1-2; firstpage:1; lastpage:34; numberofpages:34; journal:ACTA INFORMATICA; https://hdl.handle.net/2318/1891802; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85074843683

الاتاحة: https://hdl.handle.net/2318/1891802
https://doi.org/10.1007/s00236-019-00346-6

المؤلفون: Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto

Relation: https://doi.org/10.5281/zenodo.2600303; https://doi.org/10.5281/zenodo.2600304; oai:zenodo.org:2600304

الاتاحة: https://doi.org/10.5281/zenodo.2600304

المؤلفون: Hernán Melgratti, Claudio Antares Mezzina, G. Michele Pinna

المساهمون: Melgratti, Hernán, Antares Mezzina, Claudio, Pinna, G. Michele.

مصطلحات موضوعية: Petri nets Bonds Calculus of covalent bonding Natural computing

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000760279800008; volume:908; firstpage:89; lastpage:119; numberofpages:31; journal:THEORETICAL COMPUTER SCIENCE; https://hdl.handle.net/11584/348630; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85123855392

الاتاحة: https://hdl.handle.net/11584/348630
https://doi.org/10.1016/j.tcs.2022.01.013

المؤلفون: Claudio Antares Mezzina, G. Michele Pinna, Hernán Melgratti

المساهمون: Universidad de Buenos Aires [Buenos Aires] (UBA), Consejo Nacional de Investigaciones Científicas y Técnicas [Buenos Aires] (CONICET), Università degli Studi di Urbino 'Carlo Bo', Universita degli Studi di Cagliari [Cagliari]

المصدر: 13th Conference on Reversible Computation
13th Conference on Reversible Computation, Jul 2021, Kyoto, Japan
Reversible Computation ISBN: 9783030798369
RC

مصطلحات موضوعية: Theoretical computer science, Event (computing), Computer science, Semantics (computer science), Process (engineering), Concurrency, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, Term (logic), Petri net, 01 natural sciences, 010201 computation theory & mathematics, Reversible CCS, Encoding (memory), 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], Calculus of communicating systems, Petri Nets, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c3b3d7902315d6727db210ee666087a8
https://hal.archives-ouvertes.fr/hal-03242858

المؤلفون: Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida

المساهمون: Doriana Medic, Claudio Antares Mezzina, Iain Phillip, Nobuko Yoshida

مصطلحات موضوعية: Causal semantic, pi-Calculu, Causally-consistent reversibility

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000595367200007; volume:275; issue:104644; firstpage:1; lastpage:57; numberofpages:57; journal:INFORMATION AND COMPUTATION; https://hdl.handle.net/2318/1891808; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85096928196

الاتاحة: https://hdl.handle.net/2318/1891808
https://doi.org/10.1016/j.ic.2020.104644

المؤلفون: Doriana Medić, Ivan Lanese, Claudio Antares Mezzina

المساهمون: Lanese I., Medic D., Mezzina C.A., Foundations of Component-based Ubiquitous Systems (FOCUS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria [Bologna] (DISI), Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO)-Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO), Dipartimento di Scienze Pure e Applicate, Urbino University 'Carlo Bo', ANR-18-CE25-0007,DCore,Debogage causal pour systèmes concurrents(2018), Università degli Studi di Urbino 'Carlo Bo'

المصدر: Acta Informatica
Acta Informatica, Springer Verlag, 2021, 58 (1-2), pp.1-34. ⟨10.1007/s00236-019-00346-6⟩
Acta Informatica, Springer Verlag, 2021
Acta Informatica, 2021, ⟨10.1007/s00236-019-00346-6⟩

مصطلحات موضوعية: Computational model, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Theoretical computer science, Exploit, Computer Networks and Communications, Computer science, Process calculus, Computation, Reversibility, process calculi, CCS, encoding, 020207 software engineering, Fault tolerance, 0102 computer and information sciences, 02 engineering and technology, Thread (computing), 01 natural sciences, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], 010201 computation theory & mathematics, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Theory of computation, 0202 electrical engineering, electronic engineering, information engineering, Reversible computing, [INFO]Computer Science [cs], ComputingMilieux_MISCELLANEOUS, Software, Information Systems

وصف الملف: STAMPA

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4f4b8962a8288a318dac785691e7b062
http://hdl.handle.net/11585/739195

المؤلفون: Ivan Lanese, Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.unibo.it/~lanese/publications/hal/esop2013.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.641.8490; http://www.cs.unibo.it/~lanese/publications/hal/esop2013.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.641.8490
http://www.cs.unibo.it/~lanese/publications/hal/esop2013.pdf

المؤلفون: Ivan Lanese, Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-bernard Stefani

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://hal.inria.fr/docs/00/81/16/29/PDF/crop.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.373.1127; http://hal.inria.fr/docs/00/81/16/29/PDF/crop.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.373.1127
http://hal.inria.fr/docs/00/81/16/29/PDF/crop.pdf

المؤلفون: Claudio Antares Mezzina, Marco Bernardo

المساهمون: Università degli Studi di Urbino 'Carlo Bo', Alexey Gotsman, Ana Sokolova, TC 6, WG 6.1

المصدر: Lecture Notes in Computer Science
40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.22-38, ⟨10.1007/978-3-030-50086-3_2⟩
Formal Techniques for Distributed Objects, Components, and Systems ISBN: 9783030500856
FORTE
Formal Techniques for Distributed Objects, Components, and Systems

مصطلحات موضوعية: Bridging (networking), Markov chain, Computer science, 020207 software engineering, 02 engineering and technology, Article, Time reversibility, Causality (physics), [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Action (philosophy), Stochastic process algebra, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, [INFO]Computer Science [cs], Mathematical economics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a6be31aede70a3ee2561fa62835517d8
https://hal.inria.fr/hal-03283233

المؤلفون: Claudio Antares Mezzina, Krzysztof Podlaski

Resource Type: eBook.

الموضوعات: Logic design, Software engineering, Machine theory, Computer systems

Categories: COMPUTERS / Logic Design, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

المؤلفون: James Hoey, Harun Siljak, Torben Æ. Mogensen, Irek Ulidowski, Rudolf Schlatte, Robert Glück, Martin Holm Cservenka, Tue Haulund, Ulrik Pagh Schultz, Claudio Antares Mezzina, Ivan Lanese

المساهمون: Università degli Studi di Urbino 'Carlo Bo', University of Oslo (UiO), Department of Computer Science [Copenhagen] (DIKU), Faculty of Science [Copenhagen], University of Copenhagen = Københavns Universitet (KU)-University of Copenhagen = Københavns Universitet (KU), MAERSK, University of Leicester, Practio ApS [Copenhagen], Foundations of Component-based Ubiquitous Systems (FOCUS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria [Bologna] (DISI), Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO)-Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO), Alma Mater Studiorum University of Bologna (UNIBO), Trinity College Dublin, University of Southern Denmark (SDU), European Project: COST Action IC1405,COST - European Cooperation in Science and Technology,IC1405(2015), University of Copenhagen = Københavns Universitet (UCPH)-University of Copenhagen = Københavns Universitet (UCPH), Mezzina C.A., Schlatte R., Gluck R., Haulund T., Hoey J., Holm Cservenka M., Lanese I., Mogensen T.AE., Siljak H., Schultz U.P., Ulidowski I.

المصدر: Reversible Computation: Extending Horizons of Computing-Selected Results of the COST Action IC1405
Reversible Computation: Extending Horizons of Computing-Selected Results of the COST Action IC1405, pp.41-59, 2020, ⟨10.1007/978-3-030-47361-7_2⟩
Reversible Computation: Extending Horizons of Computing ISBN: 9783030473600
Selected Results of the COST Action IC1405

مصطلحات موضوعية: Reversible computation, programming languages, recovery, 021103 operations research, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Computer science, business.industry, media_common.quotation_subject, Concurrency, 0211 other engineering and technologies, 020207 software engineering, 02 engineering and technology, Software, Debugging, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], SAFER, 0202 electrical engineering, electronic engineering, information engineering, Reversible computing, Software engineering, business, media_common

وصف الملف: STAMPA

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7b66039f83581b3c808328cf5ecf238e
https://hal.inria.fr/hal-03005386

المؤلفون: Iain Phillips, Martin Kutrib, Claudio Antares Mezzina, Lukasz Mikulski, Germán Vidal, Bogdan Aman, Robin Kaarsgaard, Jarkko Kari, R. Nagarajan, Gabriel Ciobanu, Ivan Lanese, G. M. Pinna, Irek Ulidowski, Luca Prigioniero, Robert Glück

المساهمون: Ulidowski, I, Lanese, I, Schultz, UP, Ferreira, C, Romanian Academy, Alexandru Ioan Cuza University of Iași [Romania], University of Copenhagen = Københavns Universitet (UCPH), University of Turku, Justus-Liebig-Universität Gießen = Justus Liebig University (JLU), Foundations of Component-based Ubiquitous Systems (FOCUS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria [Bologna] (DISI), Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO)-Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO), Alma Mater Studiorum University of Bologna (UNIBO), Università degli Studi di Urbino 'Carlo Bo', Nicolaus Copernicus University [Toruń], Middlesex University [London], Imperial College London, Università degli Studi di Cagliari = University of Cagliari (UniCa), Università degli Studi di Milano = University of Milan (UNIMI), University of Leicester, Universitat Politècnica de València (UPV), European Project: COST Action IC1405,COST - European Cooperation in Science and Technology,IC1405(2015), University of Copenhagen = Københavns Universitet (KU), Justus-Liebig-Universität Gießen (JLU), Universita degli Studi di Cagliari [Cagliari], Università degli Studi di Milano [Milano] (UNIMI), Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira, Aman B., Ciobanu G., Gluck R., Kaarsgaard R., Kari J., Kutrib M., Lanese I., Mezzina C.A., Mikulski L., Nagarajan R., Phillips I., Pinna G.M., Prigioniero L., Ulidowski I., Vidal G.

المصدر: Reversible Computation: Extending Horizons of Computing ISBN: 9783030473600
Selected Results of the COST Action IC1405
Reversible Computation: Extending Horizons of Computing-Selected Results of the COST Action IC1405
Reversible Computation: Extending Horizons of Computing-Selected Results of the COST Action IC1405, 12070, pp.1-40, 2020, ⟨10.1007/978-3-030-47361-7_1⟩

مصطلحات موضوعية: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Theoretical computer science, Computer science, business.industry, Computation, media_common.quotation_subject, Computability, Multiple applications, 020207 software engineering, Robotics, 0102 computer and information sciences, 02 engineering and technology, Formal methods, 01 natural sciences, Reversible computing, Foundations, Formal methods, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Debugging, 010201 computation theory & mathematics, 0202 electrical engineering, electronic engineering, information engineering, Reversible computing, Artificial Intelligence & Image Processing, Cost action, Artificial intelligence, business, media_common

وصف الملف: STAMPA

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bb8f8cbe0ef6418b15e3c20dc81f9535
https://hdl.handle.net/11576/2677196