Zobrazeno 1 - 10
of 46
pro vyhledávání: '"Niqui, M."'
Publikováno v:
Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science (CMCS 2010), 1-198. Amsterdam : Elsevier
STARTPAGE=1;ENDPAGE=198;ISSN=1571-0661;TITLE=Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science (CMCS 2010)
Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science (CMCS 2010), pp. 1-198
STARTPAGE=1;ENDPAGE=198;ISSN=1571-0661;TITLE=Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science (CMCS 2010)
Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science (CMCS 2010), pp. 1-198
Item does not contain fulltext
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9e63bd6aa0e4be5f96586de9892afcc3
https://hdl.handle.net/2066/84149
https://hdl.handle.net/2066/84149
Autor:
Niqui, M., Cooper, S.B.
Publikováno v:
Cooper, S.B. (ed.), New Computational Paradigms: First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 368-377. Berlin ; New York : Springer
STARTPAGE=368;ENDPAGE=377;ISSN=0302-9743;TITLE=Cooper, S.B. (ed.), New Computational Paradigms: First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12
Cooper, S.B. (ed.), New Computational Paradigms: First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, pp. 368-377
STARTPAGE=368;ENDPAGE=377;ISSN=0302-9743;TITLE=Cooper, S.B. (ed.), New Computational Paradigms: First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12
Cooper, S.B. (ed.), New Computational Paradigms: First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, pp. 368-377
Item does not contain fulltext CiE 2005
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6a7386c86ce0c443513befa4abf5bd0b
https://hdl.handle.net/2066/32522
https://hdl.handle.net/2066/32522
Publikováno v:
Berardi, Stefano; Coppo, Mario; Damiani, Ferruccio (ed.), Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30--May 4, 2003, Revised Selected Papers, 309-323. Berlin : Springer
STARTPAGE=309;ENDPAGE=323;ISSN=0302-9743;TITLE=Berardi, Stefano; Coppo, Mario; Damiani, Ferruccio (ed.), Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30--May 4, 2003, Revised Selected Papers
STARTPAGE=309;ENDPAGE=323;ISSN=0302-9743;TITLE=Berardi, Stefano; Coppo, Mario; Damiani, Ferruccio (ed.), Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30--May 4, 2003, Revised Selected Papers
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c61f403700e9370547aa74f7990de693
https://doi.org/10.1007/978-3-540-24849-1_20
https://doi.org/10.1007/978-3-540-24849-1_20
Publikováno v:
E., Barendsen; Capretta, V.; Geuvers, H. (ed.), Reflections on Type Theory, lambda-Calculus, and the Mind: Essays dedicated to Henk Barendregt on the occasion of his 60th birthday, pp. 29-40
E., Barendsen; Capretta, V.; Geuvers, H. (ed.), Reflections on Type Theory, lambda-Calculus, and the Mind: Essays dedicated to Henk Barendregt on the occasion of his 60th birthday, 29-40. Nijmegen : Radboud University Nijmegen
STARTPAGE=29;ENDPAGE=40;TITLE=E., Barendsen; Capretta, V.; Geuvers, H. (ed.), Reflections on Type Theory, lambda-Calculus, and the Mind: Essays dedicated to Henk Barendregt on the occasion of his 60th birthday
E., Barendsen; Capretta, V.; Geuvers, H. (ed.), Reflections on Type Theory, lambda-Calculus, and the Mind: Essays dedicated to Henk Barendregt on the occasion of his 60th birthday, 29-40. Nijmegen : Radboud University Nijmegen
STARTPAGE=29;ENDPAGE=40;TITLE=E., Barendsen; Capretta, V.; Geuvers, H. (ed.), Reflections on Type Theory, lambda-Calculus, and the Mind: Essays dedicated to Henk Barendregt on the occasion of his 60th birthday
Contains fulltext : 36506.pdf (Author’s version preprint ) (Open Access)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::aff68841e607b81576e3488d8500195c
https://hdl.handle.net/2066/36506
https://hdl.handle.net/2066/36506
Publikováno v:
Arbab, F.; Sirjani, M. (ed.), Fundamentals of Software Engineering : 4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011;Tehran;20 April 2011through22 April 2011, pp. 335-342
Lecture Notes in Computer Science ; 7141, 335-342. Berlin : Springer
STARTPAGE=335;ENDPAGE=342;TITLE=Lecture Notes in Computer Science ; 7141
Lecture Notes in Computer Science ; 7141, 335-342. Berlin : Springer
STARTPAGE=335;ENDPAGE=342;TITLE=Lecture Notes in Computer Science ; 7141
Contains fulltext : 93901.pdf (Publisher’s version ) (Closed access)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8b361f76fe5fcb6816a4f5cd0d3ff596
https://hdl.handle.net/2066/93901
https://hdl.handle.net/2066/93901
In this article we give an accessible introduction to stream differential equations, i.e., equations that take the shape of differential equations from analysis and that are used to define infinite streams. Furthermore we discuss a syntactic format f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::44ccfe0049027378a13c53b66cd07288
http://ora.ox.ac.uk/objects/uuid:12489d5c-3163-4ba5-b933-6885e810bc1e
http://ora.ox.ac.uk/objects/uuid:12489d5c-3163-4ba5-b933-6885e810bc1e
Publikováno v:
Costa, D, Niqui, M & Rutten, J J M M 2011, ' Intentional Automata: A context-Dependent Model for Component Connectors ', Lecture Notes in Computer Science, vol. 7141, pp. 335-342 .
Lecture Notes in Computer Science, 7141, 335-342. Springer Verlag
Lecture Notes in Computer Science, 7141, 335-342. Springer Verlag
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::dfb32741aafde327732f7557bec9d736
https://hdl.handle.net/1871.1/9f7d4b05-366e-42ae-9436-0dbed813081a
https://hdl.handle.net/1871.1/9f7d4b05-366e-42ae-9436-0dbed813081a
Publikováno v:
Short contributions to the 10th International Workshop on Coalgebraic Methods in Computer Science (Paphos, Cyprus, March 26-28, 2010), 10-11
STARTPAGE=10;ENDPAGE=11;TITLE=Short contributions to the 10th International Workshop on Coalgebraic Methods in Computer Science (Paphos, Cyprus, March 26-28, 2010)
STARTPAGE=10;ENDPAGE=11;TITLE=Short contributions to the 10th International Workshop on Coalgebraic Methods in Computer Science (Paphos, Cyprus, March 26-28, 2010)
No abstract.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::80c3afb3977e022c0cbed3853c366808
https://research.tue.nl/nl/publications/fa8bd384-9d96-418e-ad9d-82f00d4d622e
https://research.tue.nl/nl/publications/fa8bd384-9d96-418e-ad9d-82f00d4d622e
Autor:
Niqui, M., Rutten, J.J.M.M.
Publikováno v:
Niqui, M & Rutten, J J M M 2010, ' Sampling, Splitting and Merging in Coinductive stream Caculus ', Lecture Notes in Computer Science, vol. 6120, pp. 310-330 .
Lecture Notes in Computer Science, 6120, 310-330. Springer Verlag
Lecture Notes in Computer Science, 6120, 310-330. Springer Verlag
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::fa094c52b523cb33a32092c976dd9067
https://hdl.handle.net/1871.1/5a0e1848-6232-4a69-9270-0768ffbe62a6
https://hdl.handle.net/1871.1/5a0e1848-6232-4a69-9270-0768ffbe62a6
Autor:
Niqui, M., Wiedijk, F.
Publikováno v:
Technical report ; ICIS-R09007. Nijmegen : ICIS
Technical report ; ICIS-R09007
Technical report ; ICIS-R09007
Contains fulltext : 290012.pdf (Publisher’s version ) (Open Access) 122 p.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e3edecdda3cad76b5c83fa73933c48fc
http://hdl.handle.net/2066/290012
http://hdl.handle.net/2066/290012