Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Mass Action Model of a Fibroblast Growth Factor Signaling Pathway and Its SimplificationGaffney, E. A ; Heath, J. K ; Kwiatkowska, M. ZBulletin of mathematical biology, 2008-11, Vol.70 (8), p.2229-2263 [Periódico revisado por pares]New York: New York : Springer-VerlagTexto completo disponível |
|
2 |
Material Type: Artigo
|
A metric for tracesKwiatkowska, Marta Z.Information processing letters, 1990-07, Vol.35 (3), p.129-135 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
|
3 |
Material Type: Artigo
|
Survey of fairness notionsKwiatkowska, M.Z.Information and software technology, 1989-09, Vol.31 (7), p.371-386 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
|
4 |
Material Type: Livro
|
Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, ProceedingsFomin, Fedor V ; Freivalds, Rusins ; Peleg, David ; Kwiatkowska, MartaNetherlands: Springer Nature 2013Texto completo disponível |
|
5 |
Material Type: Livro
|
Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part IIFomin, Fedor V ; Freivalds, Rusins ; Kwiatkowska, Marta ; Peleg, DavidBerlin, Heidelberg: Springer Berlin / Heidelberg 2013Texto completo disponível |
|
6 |
Material Type: Livro
|
Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part IFomin, Fedor V ; Freivalds, Rusins ; Kwiatkowska, Marta ; Peleg, DavidBerlin, Heidelberg: Springer Berlin / Heidelberg 2013Texto completo disponível |
|
7 |
Material Type: Livro
|
Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, ProceedingsFomin, Fedor V ; Freivalds, Rusins ; Peleg, David ; Kwiatkowska, MartaNetherlands: Springer Nature 2013Texto completo disponível |
|
8 |
Material Type: Artigo
|
A biologically inspired QoS routing algorithm for mobile ad hoc networks: WIRELESS AD HOC AND SENSOR NETWORKSLIU, Z ; KWIATKOWSKA, M. Z ; CONSTANTINOU, C. CInternational journal of wireless and mobile computing, 2010, Vol.4 (2), p.64-75 [Periódico revisado por pares]Genève: Inderscience PublishersSem texto completo |
|
9 |
Material Type: Artigo
|
A biologically inspired QoS routing algorithm for mobile ad hoc networksLiu, Z. ; Kwiatkowska, M.Z. ; Constantinou, C.C.International journal of wireless and mobile computing, 2010-01, Vol.4 (2), p.64-75 [Periódico revisado por pares]Inderscience PublishersSem texto completo |
|
10 |
Material Type: Livro
|
Semantics for Concurrency: Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UKvan Rijsbergen, C. J ; Kwiatkowska, Marta Zofia ; Shields, Michael WilliamLondon: Springer London, Limited 1990Texto completo disponível |