Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Applications and theory of petri nets 2001 22nd International Conference, ICATPN 2001, Newcastle Upon Tyne, UK, June, 25-29, 2001 : proceedingsICATPN 2001 (2001 Newcastle upon Tyne, England) José-Manuel Colom; Maciej Koutny 1958-Berlin Springer London c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2075 ) e outros locais(Acessar) |
2 |
Material Type: Livro
|
![]() |
Applications and Theory of Petri Nets 2001International Conference on Applications and Theory of Petri Nets José-Manuel Colom; Maciej KoutnySpringer Berlin Heidelberg 2001Acesso online |
3 |
Material Type: Livro
|
![]() |
Application and Theory of Petri Nets and ConcurrencyJose-Manuel Desel, Jörg Colom Jörg DeselSpringer Berlin Heidelberg 2013Acesso online |
4 |
Material Type: Artigo
|
![]() |
Model-driven development of data intensive applications over cloud resourcesTolosana-Calasanz, Rafael ; Bañares, José Ángel ; Colom, José-ManuelFuture generation computer systems, 2018-10, Vol.87, p.888-909 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
5 |
Material Type: Livro
|
![]() |
Applications and Theory of Petri Nets 2001: 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 ProceedingsColom, Jose-Manuel ; Koutny, Maciej Koutny, Maciej ; Colom, José-ManuelBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Modular Petri net modeling of healthcare systemsMahulea, Cristian ; Mahulea, Liliana ; García Soriano, Juan Manuel ; Colom, José ManuelFlexible services and manufacturing journal, 2018-06, Vol.30 (1-2), p.329-357 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
7 |
Material Type: Ata de Congresso
|
![]() |
Towards Petri Net-Based Economical Analysis for Streaming Applications Executed Over Cloud InfrastructuresTolosana-Calasanz, Rafael ; Bañares, José Ángel ; Colom, José-ManuelEconomics of Grids, Clouds, Systems, and Services, p.189-205 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
8 |
Material Type: Livro
|
![]() |
Application and Theory of Petri Nets and Concurrency: 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, ProceedingsColom, Jose-Manuel ; Desel, Jörg Colom, Jose-Manuel ; Desel, J'rgNetherlands: Springer Nature 2013Texto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Temporal Logics for Phylogenetic Analysis via Model CheckingRequeno, Jose Ignacio ; De Miguel Casado, Gregorio ; Blanco, Roberto ; Colom, Jose ManuelIEEE/ACM transactions on computational biology and bioinformatics, 2013-07, Vol.10 (4), p.1058-1070 [Periódico revisado por pares]United States: IEEETexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Evaluation of properties over phylogenetic trees using stochastic logicsRequeno, José Ignacio ; Colom, José ManuelBMC bioinformatics, 2016-06, Vol.17 (1), p.235-235, Article 235 [Periódico revisado por pares]England: BioMed Central LtdTexto completo disponível |