Výsledky vyhľadávania - "Luís Caires"
-
1
Autori:
Zdroj: Electronic Proceedings in Theoretical Computer Science, Vol 51, Iss Proc. SecCo 2010, Pp 1-15 (2011)
Popis súboru: electronic resource
Prístupová URL adresa: https://doaj.org/article/1abdd928f1344995bdfedd82abdff199
-
2
Autori: Luís Caires
Typ zdroja: eBook.
Predmet: Information theory, Computer industry, Computer science, Software engineering, Computer system performance, Electronic data processing
Kategórie: COMPUTERS / Programming / Compilers, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General
Plný text ve formátu PDF Plný text vo formáte ePub -
3
Autori:
Zdroj: Lecture Notes in Computer Science ISBN: 9783031572616
Lecture Notes in Computer Science, Programming Languages and Systems -
4
Autori:
Zdroj: Proceedings of the ACM on Programming Languages. 5:1-30
Predmety: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences
-
5
Autori:
Zdroj: Lecture Notes in Computer Science ISBN: 9783031300431
-
6
Autori:
Zdroj: 23rd International Symposium on Principles and Practice of Declarative Programming. :1-3
Predmety: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences
Prístupová URL adresa: https://dblp.uni-trier.de/db/conf/ppdp/ppdp2021.html#ToninhoCP21
-
7
Autori:
Zdroj: Proceedings of the ACM on Programming Languages. 3:1-30
Predmety: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
-
8
Autori:
Prispievatelia:
Zdroj: Lecture Notes in Computer Science ISBN: 9783319926117
Predmety: [INFO] Computer Science [cs], 7. Clean energy
-
9
Autori:
Zdroj: Lecture Notes in Computer Science ISBN: 9783540229407
-
10
Autori: a ďalší
Zdroj: Information and Computation. 239:254-302
Predmety: Strong normalization, FOS: Computer and information sciences, CONFLUENCE, Session types, PI-CALCULUS, GENERICITY, Linear logic, Confluence, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, INTERNAL MOBILITY, Process calculi, Observational equivalences, MOBILE PROCESSES, TERMINATION, 0202 electrical engineering, electronic engineering, information engineering, 89999 Information and Computing Sciences not elsewhere classified, Logical relations, PASSING CALCULI, PROPOSITIONS
-
11
Autori:
Zdroj: Mathematical Structures in Computer Science. 26:367-423
-
12
Autori:
Zdroj: Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification. :15-26
Predmety: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
Prístupová URL adresa: https://dl.acm.org/doi/10.1145/2541568.2541574
-
13
Autori:
Zdroj: Lecture Notes in Computer Science ISBN: 9783540427360
Lecture Notes in Computer Science ISBN: 9783540440437Predmety: Computational Theory and Mathematics, 4. Education, 11. Sustainability, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, 7. Clean energy, Theoretical Computer Science, Information Systems, Computer Science Applications, 12. Responsible consumption
Prístupová URL adresa: https://link.springer.com/chapter/10.1007%2F3-540-45694-5_15
http://dblp.uni-trier.de/db/conf/concur/concur2002.html#CairesC02
https://rd.springer.com/chapter/10.1007/3-540-45694-5_15
https://dblp.uni-trier.de/db/conf/concur/concur2002.html#CairesC02
https://core.ac.uk/display/24496568
https://rd.springer.com/chapter/10.1007%2F3-540-45500-0_1
https://link.springer.com/10.1007%2F3-540-45500-0_1
https://novaresearch.unl.pt/en/publications/a-spatial-logic-for-concurrency-part-i-3
https://link.springer.com/chapter/10.1007/3-540-45500-0_1
https://www.sciencedirect.com/science/article/pii/S0890540103001378
https://www.microsoft.com/en-us/research/publication/a-spatial-logic-for-concurrency-part-i/ -
14
Autori:
Zdroj: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :275-286
Predmety: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
Prístupová URL adresa: http://www-ctp.di.fct.unl.pt/%7Elcaires/papers/bst-TR.pdf
https://dl.acm.org/citation.cfm?doid=2429069.2429103
http://ctp.di.fct.unl.pt/%7Elcaires/papers/bst-TR.pdf
https://dblp.uni-trier.de/db/conf/popl/popl2013.html#CairesS13
http://docentes.fct.unl.pt/sites/default/files/jrcs/files/bst-tr.pdf
https://docentes.fct.unl.pt/sites/default/files/jrcs/files/bst-tr.pdf
https://dl.acm.org/doi/10.1145/2429069.2429103 -
15
Autori:
Zdroj: Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation. :1-12
-
16
Autori:
Zdroj: Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming. :161-172
Predmety: FOS: Computer and information sciences, 0202 electrical engineering, electronic engineering, information engineering, 89999 Information and Computing Sciences not elsewhere classified, 02 engineering and technology
Prístupová URL adresa: http://www-2.cs.cmu.edu/%7Efp/papers/ppdp11.pdf
http://www.cs.cmu.edu/~btoninho/ppdp11.pdf
https://dl.acm.org/doi/10.1145/2003476.2003499
http://repository.cmu.edu/compsci/2677/
http://www.cs.cmu.edu/~fp/papers/ppdp11.pdf
https://dblp.uni-trier.de/db/conf/ppdp/ppdp2011.html#ToninhoCP11
https://core.ac.uk/display/21791900 -
17
Autori:
Zdroj: Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs. :1-7
Predmety: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 16. Peace & justice
Prístupová URL adresa: http://www.cs.cmu.edu/%7Efoliveir/papers/ftfjp2010.pdf
https://dl.acm.org/doi/10.1145/1924520.1924527
https://novaresearch.unl.pt/en/publications/aliasing-control-with-view-based-typestate
http://www.cs.cmu.edu/~aldrich/papers/ftfjp2010-view.pdf
https://core.ac.uk/display/21295957
http://portal.acm.org/citation.cfm?doid=1924520.1924527
https://dblp.uni-trier.de/db/conf/ecoop/ftfjp2010.html#MilitaoAC10 -
18
Autori:
Zdroj: Lecture Notes in Computer Science ISBN: 9783662544334
Predmety: 4. Education, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences
Prístupová URL adresa: https://ir.cwi.nl/pub/25748/ESOP4993.pdf
https://ir.cwi.nl/pub/25748/ESOP4993.pdf
https://dblp.uni-trier.de/db/conf/esop/esop2017.html#CairesP17
https://www.narcis.nl/publication/RecordID/oai%3Acwi.nl%3A25748
https://research.rug.nl/en/publications/linearity-control-effects-and-behavioral-types
http://www.rug.nl/research/portal/publications/linearity-control-effects-and-behavioral-types(355b9456-a6e0-40b2-9d19-1e52444381ff).html
https://core.ac.uk/display/86349144 -
19
Autori: Luís Caires
Zdroj: Theoretical Computer Science. 402:120-141
Predmety: Service-based systems, Behavioral types, Spatial logics, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Distributed systems, Concurrency control, 01 natural sciences, Theoretical Computer Science, Computer Science(all)
Prístupová URL adresa: https://dblp.uni-trier.de/db/journals/tcs/tcs402.html#Caires08
https://core.ac.uk/display/82478643
https://www.sciencedirect.com/science/article/pii/S0304397508003496
https://novaresearch.unl.pt/en/publications/spatial-behavioral-types-for-concurrency-and-resource-control-in--2
http://ctp.di.fct.unl.pt/~lcaires/papers/TCSTSBTfinal.pdf -
20
Autori:
Zdroj: Theoretical Computer Science. 322:517-565
Predmety: distributed systems, Logic in computer science, Specification and verification (program logics, model checking, etc.), \(\pi\)-calculus, Verification, 0102 computer and information sciences, proof theory, Distributed systems, 16. Peace & justice, cut elimination, 01 natural sciences, Theoretical Computer Science, sequent calculus, Spatial logics, Proof systems, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), concurrency, Cut-elimination and normal-form theorems, 0101 mathematics, Specification, Modal logic (including the logic of norms), spatial logic, modal logic, Computer Science(all)
Popis súboru: application/xml
Full Text Finder
Nájsť tento článok vo Web of Science