uu.se
Publikationer
English Svenska Norsk
Träfflista:
Forskningsprogram Datorteknik
1 - 31 av 31
Skapa referens »
Träffar per sida:
Författare
Titel
Institution
Publikationstyp
År
1.
Abdulla, Parosh Aziz; Bouajjani, Ahmed; d'Orso, Julien
Monotonic and downward closed games
Datorteknik
Artikel i tidskrift
2008
2.
Hauer, Amie; Daniels, Mats
A Learning Theory Perspective on Running Open Ended Group Projects (OEGPs)
Datorteknik
Artikel i tidskrift
2008
3.
Berglund, Anders; et al.
Learning educational research methods through collaborative research: the PhICER initiative
Datorteknik
Artikel i tidskrift
2008
4.
Dong, Jin Song; et al.
Timed Automata Patterns
Datorteknik
Artikel i tidskrift
2008
5.
Parrow, Joachim
Expressiveness of Process Algebras
Datorteknik
Artikel i tidskrift
2008
6.
Grinchtein, Olga; Leucker, Martin
Network invariants for real-time systems
Datorteknik
Artikel i tidskrift
2008
7.
Sivertsson, Olof; Flener, Pierre; Pearson, Justin
A bound on the overlap of same-sized sets
Datalogi
Artikel i tidskrift
2008
8.
Abdulla, Parosh A.; et al.
Computing Simulations over Tree Automata: Efficient Techniques for Reducing Tree Automata
Datorteknik
Konferensbidrag
2008
9.
Abdulla, Parosh A.; et al.
Composed Bisimulation for Tree Automata
Datorteknik
Konferensbidrag
2008
10.
Abdulla, Parosh Aziz; et al.
Stochastic games with lossy channels
Datorteknik
Konferensbidrag
2008
11.
Abdulla, Parosh Aziz; et al.
Parameterized tree systems
Datorteknik
Konferensbidrag
2008
12.
Abdulla, Parosh Aziz; et al.
Handling parameterized systems with non-atomic global conditions
Datorteknik
Konferensbidrag
2008
13.
Abdulla, Parosh Aziz; et al.
Monotonic abstraction for programs with dynamic memory heaps
Datorteknik
Konferensbidrag
2008
14.
Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Ahmed
Monotonic abstraction in action: Automatic verification of distributed mutex algorithms
Datorteknik
Konferensbidrag
2008
15.
Pears, Arnold N.; et al.
Stepping Stones: Capacity building in engineering education
Datorteknik
Konferensbidrag
2008
16.
Jonsson, Bengt; et al.
Cyclic dependencies in modular performance analysis
Datorteknik
Konferensbidrag
2008
17.
Bengtson, Jesper; et al.
Refinement Types for Secure Implementations
Datorteknik
Konferensbidrag
2008
18.
Berg, Therese; Jonsson, Bengt; Raffelt, Harald
Regular Inference for State Machines Using Domains with Equality Tests
Datorteknik
Konferensbidrag
2008
19.
Berglund, Anders; et al.
Disseminating phenomenography: Workshops for the computing education research community
Datorteknik
Konferensbidrag
2008
20.
Gelenbe, Erol; Ngai, Edith C.-H.
Adaptive QoS Routing for Significant Events in Wireless Sensor Networks
Datorteknik
Konferensbidrag
2008
21.
Flener, Pierre; Pearson, Justin
Solving necklace constraint problems
Datalogi
Konferensbidrag
2008
22.
Bjurefors, Fredrik; Wibling, Oskar
A Testbed for Evaluating Delay Tolerant Network Protocol Implementations
Datorteknik
Konferensbidrag
2008
23.
Rodhe, Ioana; Rohner, Christian
n-LDA: n-Layers Data Aggregation in Sensor Networks
Datorteknik
Konferensbidrag
2008
24.
Johansson, Magnus; et al.
Extended pi-Calculi
Datorteknik
Konferensbidrag
2008
25.
Wiggberg, Mattias; Daniels, Mats
Reflecting on running large scale student collaboration projects
Datorteknik
Konferensbidrag
2008
26.
Guan, Nan; et al.
New schedulability test conditions for non-preemptive scheduling on multiprocessor platforms
Datorteknik
Konferensbidrag
2008
27.
Abdulla, Parosh Aziz; Krcal, Pavel; Yi, Wang
R-automata
Datorteknik
Konferensbidrag
2008
28.
Deng, Qingxu; et al.
On-line placement of real-time tasks on 2D partially run-time reconfigurable FPGAs
Datorteknik
Konferensbidrag
2008
29.
Zahedi, Sadaf; et al.
Information Quality Aware Sensor Network Services
Datorteknik
Konferensbidrag
2008
30.
Saksena, Mayank; Wibling, Oskar; Jonsson, Bengt
Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols
Datorteknik
Konferensbidrag
2008
31.
Tschirner, Simon; Xuedong, Liang; Yi, Wang
Model-based validation of QoS properties of biomedical sensor networks
Konferensbidrag
2008
Markera alla
1 - 31 av 31
Skapa referens »
© 2000-2009 |
Uppsala universitetsbibliotek
|
DiVA portal
|
DiVA Helpdesk
|
DiVA Logga in