-
1Academic Journal
المؤلفون: BALDAN, PAOLO, N. BUSI, A. CORRADINI, G. M. PINNA
المساهمون: Baldan, Paolo, N., Busi, A., Corradini, G. M., Pinna
وصف الملف: STAMPA
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000223777700004; volume:323 (1-3); firstpage:129; lastpage:189; numberofpages:61; journal:THEORETICAL COMPUTER SCIENCE; http://hdl.handle.net/11577/145340; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-4243103714
-
2
المؤلفون: 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
-
3Academic Journal
المؤلفون: Eva Wg, C. Arviset, G. M. Pinna, N. Peccia, J. F. Kaufeler, M. Albani, M. Kessler, Esa Eva, Initiative Archive, Survey Date October, G. Winters, C. Mazza, W. Frank, J. Steinz, A. Soons, P. Kaufeler, P. Benvenuti, U. Mortensen, J. P. Guignard, P. Wenzel
المساهمون: The Pennsylvania State University CiteSeerX Archives
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.112.8326; http://www.sstd.rl.ac.uk/ccsdsp2/meetings/2001/tou01/archive-survey-tn-11.pdf
-
4Academic Journal
المؤلفون: P. Baldan, N. Busi, A. Corradini, G. M. Pinna
المساهمون: The Pennsylvania State University CiteSeerX Archives
وصف الملف: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.1059; http://www.di.unipi.it/~baldan/Papers/Soft-copy-ps/Inibitori.ps.gz
-
5Academic Journal
المؤلفون: P. Baldan, N. Busi, A. Corradini, G. M. Pinna
المساهمون: The Pennsylvania State University CiteSeerX Archives
المصدر: ftp://ftp.di.unipi.it/pub/techreports/TR-00-05.ps.Z
مصطلحات موضوعية: category PES
وصف الملف: application/postscript
-
6Book
المؤلفون: BALDAN, Paolo, N. BUSI, A. CORRADINI, G. M. PINNA
المساهمون: Baldan, Paolo, N., Busi, A., Corradini, G. M., Pinna
مصطلحات موضوعية: Settore INF/01 - Informatica
Relation: ispartofbook:CONCUR 2000 — Concurrency Theory; volume:1877; firstpage:442; lastpage:457; numberofpages:16; serie:LECTURE NOTES IN COMPUTER SCIENCE; http://hdl.handle.net/10278/11377
-
7Conference
المؤلفون: BUSI, NADIA, G. M. Pinna
المساهمون: N. Busi, G.M. Pinna
وصف الملف: STAMPA
Relation: info:eu-repo/semantics/altIdentifier/isbn/076952740X; ispartofbook:8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006); 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006); firstpage:399; lastpage:406; numberofpages:8; http://hdl.handle.net/11585/41058
الاتاحة: http://hdl.handle.net/11585/41058
-
8Academic Journal
المؤلفون: A. RICCHI, A. CARTA, G. M. PINNA, E. M. CIRIO, M. FODDANU, P. F. TERROSU, S. PARDINI, FOZZA, Claudio, LONGINOTTI M.
المساهمون: A., Ricchi, A., Carta, G. M., Pinna, E. M., Cirio, M., Foddanu, P. F., Terrosu, S., Pardini, Fozza, Claudio, Longinotti, M.
Relation: volume:5; issue:4; firstpage:302; lastpage:304; numberofpages:3; journal:ITALIAN HEART JOURNAL; http://hdl.handle.net/11388/82923; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-4644292462
الاتاحة: http://hdl.handle.net/11388/82923
-
9
المؤلفون: G. M. Pinna, Nadia Busi, Paolo Baldan, Andrea Corradini
المساهمون: PAOLO BALDAN, BUSI N., ANDREA CORRADINI, G.MICHELE PINNA
مصطلحات موضوعية: Discrete mathematics, True concurrency, General Computer Science, Computer science, Semantics (computer science), Event (relativity), Petri nets, Petri net, Unfolding, Semantic data model, Read and inhibitor arcs, Categorical semantics, Event structures, Domains, Theoretical Computer Science, Event structure, Finitary, Computer Science(all)
وصف الملف: STAMPA
-
10Academic Journal
المؤلفون: B. F. Van Dongen, N. Busi, G. M. Pinna
المساهمون: The Pennsylvania State University CiteSeerX Archives
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.73.9156; http://is.tm.tue.nl/staff/wvdaalst/publications/p378.pdf
-
11Academic Journal
المؤلفون: B. F. Van Dongen, N. Busi, G. M. Pinna
المساهمون: The Pennsylvania State University CiteSeerX Archives
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.488.514; http://cms.ieis.tue.nl/Beta/Files/WorkingPapers/Beta_wp195.pdf
-
12Academic Journal
المؤلفون: B. F. Van Dongen, N. Busi, G. M. Pinna
المساهمون: The Pennsylvania State University CiteSeerX Archives
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.458.74; http://www.processmining.org/_media/publications/beta_195.pdf
-
13Academic Journal
المؤلفون: P. Baldan, N. Busi, A. Corradini, G. M. Pinna
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Petri nets, read and inhibitor arcs, true concurrency, unfolding, categorical semantics
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.130.6750; http://www.math.unipd.it/~baldan/Papers/Soft-copy-pdf/InibitoriTCS.pdf
-
14Conference
المؤلفون: FRANCO, Giuditta
المساهمون: M. Coppo, E. Lodi, G. M. Pinna, Franco, Giuditta
مصطلحات موضوعية: DNA Computing, Polymerase, Restriction Enzyme, SAT, XPCR
وصف الملف: STAMPA
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000234508600020; ispartofseries:Lecture Notes Computer Science - LNCS; ispartofbook:Proceedings of Italian Conference of Theoretical Computer Science - LNCS; ICTCS'05; volume:3701; firstpage:237; lastpage:250; numberofpages:14; alleditors:M. Coppo, E. Lodi, G. M. Pinna; http://hdl.handle.net/11562/25622; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-33646179594
الاتاحة: http://hdl.handle.net/11562/25622
-
15Conference
المؤلفون: BARTOLETTI, MASSIMO, DEGANO, PIERPAOLO, FERRARI, GIAN-LUIGI
المساهمون: M. Coppo, E. Lodi, and G. M. Pinna, Bartoletti, Massimo, Degano, Pierpaolo, Ferrari, GIAN-LUIGI
وصف الملف: STAMPA
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000234508600009; ispartofbook:Proc. 9th Italian Conference on Theoretical Computer Science; 9th Italian Conference on Theoretical Computer Science; volume:3701; firstpage:97; lastpage:112; numberofpages:16; alleditors:M. Coppo, E. Lodi, and G. M. Pinna; http://hdl.handle.net/11568/193300; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-33646177666
الاتاحة: http://hdl.handle.net/11568/193300
-
16
المؤلفون: AA. VV., M. COPPO, E. LODI, G.M. PINNA
المساهمون: COPPO, Mario, E. LODI, G. M. PINNA
Relation: volume:42 (3); firstpage:387; lastpage:429; numberofpages:142; journal:THEORY OF COMPUTING SYSTEMS; http://hdl.handle.net/2318/26318
الاتاحة: http://hdl.handle.net/2318/26318