المؤلفون: Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović, Jorge A. Pérez, Hugo Torres Vieira

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 203, Iss Proc. PLACES 2015, Pp 73-84 (2016)

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

وصف الملف: electronic resource

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

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

المؤلفون: Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović, Jorge A. Pérez, Hugo Torres Vieira

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 162, Iss Proc. BEAT 2014, Pp 1-8 (2014)

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

وصف الملف: electronic resource

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

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

المؤلفون: Letterio Galletta, Hugo Torres Vieira, Zorica Savanović

مصطلحات موضوعية: General Earth and Planetary Sciences, General Engineering, General Environmental Science

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

الاتاحة: https://www.openaccessrepository.it/record/129051
https://doi.org/10.4204/eptcs.324.3

المؤلفون: Hans Hüttel, Ivan Lanese, Vasco T. Vasconcelos, Lúis Caires, Marco Carbone, Pierre Malo Deniélou, Dimitris Mostrous, PADOVANI, Luca, António Ravara, Emilio Tuosto, Hugo Torres Vieira, Gianluigi Zavattaro

المساهمون: Hans Hüttel, Ivan Lanese, Vasco T. Vasconcelo, Lúis Caire, Marco Carbone, Pierre-Malo Deniélou, Dimitris Mostrou, Luca Padovani, António Ravara, Emilio Tuosto, Hugo Torres Vieira, Gianluigi Zavattaro

مصطلحات موضوعية: Behavioural type, Theoretical Computer Science, Computer Science (all)

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000382136100003; volume:49; issue:1; firstpage:1; lastpage:36; numberofpages:36; journal:ACM COMPUTING SURVEYS; http://hdl.handle.net/2318/1610220; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84964545102; http://portal.acm.org/browse_dl.cfm?linked=1&part=journal&idx=J204&coll=GUIDE&dl=ACM&CFID=578105357&CFTOKEN=16448770

الاتاحة: http://hdl.handle.net/2318/1610220
https://doi.org/10.1145/2873052
http://portal.acm.org/browse_dl.cfm?linked=1&part=journal&idx=J204&coll=GUIDE&dl=ACM&CFID=578105357&CFTOKEN=16448770

المؤلفون: PADOVANI, Luca, Vasco Thudichum Vasconcelos, Hugo Torres Vieira

المساهمون: Eva Kühn and Rosario Pugliese, Padovani, Luca, Vasco Thudichum Vasconcelos, Hugo Torres Vieira

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/isbn/9783662433751; info:eu-repo/semantics/altIdentifier/isbn/9783662433768; info:eu-repo/semantics/altIdentifier/wos/WOS:000342845300010; ispartofbook:Proceedings of the 16th International Conference on Coordination Models and Languages (COORDINATION'14); 16th International Conference on Coordination Models and Languages; volume:8459; firstpage:147; lastpage:162; numberofpages:16; serie:LECTURE NOTES IN COMPUTER SCIENCE; alleditors:Eva Kühn and Rosario Pugliese; http://hdl.handle.net/2318/153601; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84902590064; http://link.springer.com/chapter/10.1007%2F978-3-662-43376-8_10

الاتاحة: http://hdl.handle.net/2318/153601
https://doi.org/10.1007/978-3-662-43376-8_10
http://link.springer.com/chapter/10.1007%2F978-3-662-43376-8_10

المؤلفون: Giorgio Audrito, Omar Inverso, Hugo Torres Vieira

المصدر: Science of Computer Programming. 225:102899

مصطلحات موضوعية: Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ce2a86488ec66a70a1c79f9af4ac3fae
https://doi.org/10.1016/j.scico.2022.102899

المؤلفون: Luís Caires, Hugo Torres Vieira

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

المصدر: http://eprints.imtlucca.it/2323/1/TorresVieira_LNCS_6921.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1078.9848; http://eprints.imtlucca.it/2323/1/TorresVieira_LNCS_6921.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1078.9848
http://eprints.imtlucca.it/2323/1/TorresVieira_LNCS_6921.pdf

المؤلفون: Luís Caires, Hugo Torres Vieira

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

المصدر: http://www-ctp.di.fct.unl.pt/~htv/pub/conversationsfull.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.5505; http://www-ctp.di.fct.unl.pt/~htv/pub/conversationsfull.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.5505
http://www-ctp.di.fct.unl.pt/~htv/pub/conversationsfull.pdf

المؤلفون: Luís Caires, Hugo Torres Vieira

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

المصدر: http://ctp.di.fct.unl.pt/~htv/pub/typedmodeltr.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.153.9820; http://ctp.di.fct.unl.pt/~htv/pub/typedmodeltr.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.153.9820
http://ctp.di.fct.unl.pt/~htv/pub/typedmodeltr.pdf

المؤلفون: Luís Caires, Hugo Torres Vieira

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

المصدر: http://www-ctp.di.fct.unl.pt/~htv/pub/conversationtypestr.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.141.6207; http://www-ctp.di.fct.unl.pt/~htv/pub/conversationtypestr.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.141.6207
http://www-ctp.di.fct.unl.pt/~htv/pub/conversationtypestr.pdf

المؤلفون: Luís Caires, Hugo Torres Vieira

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

المصدر: http://www-ctp.di.fct.unl.pt/~htv/pub/extspatial-express.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.65.1380; http://www-ctp.di.fct.unl.pt/~htv/pub/extspatial-express.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.65.1380
http://www-ctp.di.fct.unl.pt/~htv/pub/extspatial-express.pdf

المؤلفون: Emilio Tuosto, Hugo Torres Vieira

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

المصدر: http://www-ctp.di.fct.unl.pt/~htv/pub/obsmodel.ps.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.1983; http://www-ctp.di.fct.unl.pt/~htv/pub/obsmodel.ps

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.1983
http://www-ctp.di.fct.unl.pt/~htv/pub/obsmodel.ps

المؤلفون: Hugo Torres Vieira, Licenciatura Em Engenharia Informática

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

المصدر: http://www-ctp.di.fct.unl.pt/~htv/pub/report.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.66.6528; http://www-ctp.di.fct.unl.pt/~htv/pub/report.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.66.6528
http://www-ctp.di.fct.unl.pt/~htv/pub/report.pdf

المؤلفون: Omar Inverso, Hugo Torres Vieira

المصدر: Science of Computer Programming. 204:102592

مصطلحات موضوعية: Computer science, Management science, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::de45d4892b5a049de61638fa056b05be
https://doi.org/10.1016/j.scico.2020.102592

المؤلفون: Hugo Torres Vieira, Ivan Prokić

المصدر: Journal of Logical and Algebraic Methods in Programming. 119:100622

مصطلحات موضوعية: Syntax (programming languages), Logic, Computer science, Process (engineering), Information sharing, Context (language use), 0102 computer and information sciences, 01 natural sciences, Theoretical Computer Science, Resource (project management), Computational Theory and Mathematics, Fragment (logic), 010201 computation theory & mathematics, Calculus, Dissemination, Software, Language construct

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::e08ded15b903f382203bf566f6dc4489
https://doi.org/10.1016/j.jlamp.2020.100622

المؤلفون: Claudio Antares Mezzina, Hugo Torres Vieira, Yehia Abd Alrahman

المصدر: Models, Languages, and Tools for Concurrent and Distributed Programming ISBN: 9783030214845
Models, Languages, and Tools for Concurrent and Distributed Programming
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Models, Languages, and Tools for Concurrent and Distributed Programming

مصطلحات موضوعية: Correctness, Semantics (computer science), Computer science, media_common.quotation_subject, Distributed computing, Fidelity, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, Grid, 01 natural sciences, Power (physics), 010201 computation theory & mathematics, Operation control, Protocol specification, 0202 electrical engineering, electronic engineering, information engineering, Protocol (object-oriented programming), media_common

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::be44e8e67230209299b4c7c647265285
https://doi.org/10.1007/978-3-030-21485-2_10

المؤلفون: Hugo Torres Vieira, Yehia Abd Alrahman

المصدر: Journal of Logical and Algebraic Methods in Programming

مصطلحات موضوعية: Logic, Computer science, Property (programming), Distributed computing, Process calculus, Topology (electrical circuits), 0102 computer and information sciences, Grid, 01 natural sciences, Theoretical Computer Science, Fault management, Computational Theory and Mathematics, 010201 computation theory & mathematics, Component (UML), State (computer science), Protocol (object-oriented programming), Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f9304b281891247648799ab654cc3f66

المؤلفون: Hugo Torres Vieira, Svetlana Jakšić, Jovanka Pantovic, Silvia Ghilezan, Jorge A. Pérez

المساهمون: Fundamental Computing Science

المصدر: Electronic Proceedings in Theoretical Computer Science, 73-84. OPEN PUBL ASSOC
ISSUE=203;STARTPAGE=73;ENDPAGE=84;ISSN=2075-2180;TITLE=Electronic Proceedings in Theoretical Computer Science
Electronic Proceedings in Theoretical Computer Science, Vol 203, Iss Proc. PLACES 2015, Pp 73-84 (2016)

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Delegation, Computer science, lcsh:Mathematics, media_common.quotation_subject, Authorization, Construct (python library), lcsh:QA1-939, Computer security, computer.software_genre, lcsh:QA75.5-76.95, Logic in Computer Science (cs.LO), Resource (project management), Channel (programming), lcsh:Electronic computers. Computer science, computer, Scope (computer science), Programming Languages (cs.PL), Distributed software systems, media_common

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7dabcef0784c0547b13a96ec63fded2a
https://doi.org/10.4204/eptcs.203.6

المؤلفون: Jovanka Pantovic, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez, Bernardo Toninho, Ilaria Castellani, Pierre-Malo Deniélou, Silvia Ghilezan, Peter Thiemann, Massimo Bartoletti, Hugo Torres Vieira

المساهمون: Dipartimento di Matematica e Informatica, Università degli Studi di Cagliari = University of Cagliari (UniCa), Secure Diffuse Programming (INDES), 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), Royal Holloway [University of London] (RHUL), Google Inc, Research at Google, Dipartimento di Informatica [Torino], Università degli studi di Torino = University of Turin (UNITO), Faculty of Technical Sciences [Novi Sad], University of Novi Sad, University of Groningen [Groningen], University of Freiburg [Freiburg], Department of Computing [London], Biomedical Image Analysis Group [London] (BioMedIA), Imperial College London-Imperial College London, IMT Institute for Advanced Studies [Lucca], COST Action IC1201 Behavioural Types for Reliable Large-Scale Software Systems (BETTY), COST Action IC1201 BETTY, Fundamental Computing Science

المصدر: Journal of Logical and Algebraic Methods in Programming
Journal of Logical and Algebraic Methods in Programming, 2015, pp.18. ⟨10.1016/j.jlamp.2015.09.003⟩
Elsevier
The Journal of Logical and Algebraic Methods in Programming, 84(6), 763-780. Elsevier

مصطلحات موضوعية: FOS: Computer and information sciences, Security analysis, Correctness, Computer Science - Cryptography and Security, Logic, Computer science, Session types, Computer security, computer.software_genre, Distributed systems, Data type, Theoretical Computer Science, [INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing, Software system, Enforcement, Communication-centred computing, Computer Science - Programming Languages, Security properties, Behavioural types, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, Computational Theory and Mathematics, Computer Science - Distributed, Parallel, and Cluster Computing, Distributed, Parallel, and Cluster Computing (cs.DC), [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Cryptography and Security (cs.CR), computer, Software, Programming Languages (cs.PL)

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dec162707311e25aac9f62b472daee6f
https://hdl.handle.net/11370/1f66778d-a58e-45d0-9a41-0b2bfc0707b4

المؤلفون: Jovanka Pantovic, Hugo Torres Vieira, Ivan Prokić

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Programming Languages, Delegation, Logic, Programming language, Computer science, Process calculus, media_common.quotation_subject, System requirements specification, computer.software_genre, Operational semantics, First class, Theoretical Computer Science, Task (project management), Domain (software engineering), Resource (project management), Computational Theory and Mathematics, computer, Software, media_common, Programming Languages (cs.PL)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::86fc72978219b0d8dcbbc99111a3c072
http://arxiv.org/abs/1802.05863