uu.se
Publikationer
English Svenska Norsk
Träfflista:
Forskningsprogram Datorteknik
1 - 31 av 31
Skapa referens »
Träffar per sida:
Författare
Titel
Organisation
Publikationstyp
År
1.
Abdulla, Parosh A.; et al.
A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata
Datorteknik
Artikel i tidskrift
2009
2.
Abdulla, Parosh Aziz; et al.
Composed bisimulation for tree automata
Datorteknik
Artikel i tidskrift
2009
3.
Abdulla, Parosh Aziz; Krcal, Pavel; Yi, Wang
Universality of R-automata with value copying
Datorteknik
Artikel i tidskrift
2009
4.
Bengtson, Jesper; Parrow, Joachim
Formalising the π-calculus using nominal logic
Datorteknik
Artikel i tidskrift
2009
5.
Berglund, Anders; et al.
Learning computer science: Perceptions, actions and roles
Datorteknik
Artikel i tidskrift
2009
6.
Collier-Reed, Brandon I.; Ingerman, Åke; Berglund, Anders
Reflections on trustworthiness in phenomenographic research: Recognising purpose, context and change in the process of research
Datorteknik
Artikel i tidskrift
2009
7.
Flener, Pierre; Pearson, Justin
Solving necklace constraint problems
Datorteknik
Artikel i tidskrift
2009
8.
Flener, Pierre; Pearson, Justin; Sellmann, Meinolf
Static and dynamic structural symmetry breaking
Datorteknik
Artikel i tidskrift
2009
9.
Flener, Pierre; et al.
Dynamic structural symmetry breaking for constraint satisfaction problems
Datorteknik
Artikel i tidskrift
2009
10.
Laxer, Cary; et al.
Evolution of an international collaborative student project
Datorteknik
Artikel i tidskrift
2009
11.
Lönnberg, Jan; Berglund, Anders; Malmi, Lauri
How students develop concurrent programs
Datorteknik
Artikel i tidskrift
2009
12.
Ngai, Edith C.-H.; Liu, Jiangchuan; Lyu, Michael R.
An adaptive delay-minimized route design for wireless sensor–actuator networks
Datorteknik
Artikel i tidskrift
2009
13.
Pears, Arnold; Malmi, Lauri
Values and Objectives in Computing Education Research
Datorteknik
Artikel i tidskrift
2009
14.
Wallin, Dan; et al.
Reconsidering algorithms for iterative solvers in the multicore era
Datorteknik
Artikel i tidskrift
2009
15.
Ågren, Magnus; Flener, Pierre; Pearson, Justin
Revisiting constraint-directed search
Datorteknik
Artikel i tidskrift
2009
16.
Bengtson, Jesper; et al.
Psi-calculi: Mobile processes, nominal data, and logic
Datorteknik
Konferensbidrag
2009
17.
Bengtson, Jesper; Parrow, Joachim
Psi-calculi in Isabelle
Datorteknik
Konferensbidrag
2009
18.
Cajander, Åsa; Clear, Tony; Daniels, Mats
Introducing an external mentor in an international open ended group project
Konferensbidrag
2009
19.
Cajander, Åsa; et al.
Students analyzing their collaboration in an international open ended group project
Konferensbidrag
2009
20.
Clear, Tony; et al.
A global software project: Developing a tablet PC capture platform for explanograms
Datorteknik
Konferensbidrag
2009
21.
Gelenbe, Erol; Ngai, Edith; Yadav, Poonam
Routing of High-Priority Packets in Wireless Sensor Networks
Datorteknik
Konferensbidrag
2009
22.
Guan, Nan; et al.
Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs
Datorteknik
Konferensbidrag
2009
23.
Hassani Bijarbooneh, Farshid; Flener, Pierre; Pearson, Justin
Dynamic demand-capacity balancing for air traffic management using constraint-based local search: First results
Datorteknik
Konferensbidrag
2009
24.
He, Jun; Flener, Pierre; Pearson, Justin
Toward an automaton constraint for local search
Datorteknik
Konferensbidrag
2009
25.
Lönnberg, Jan; Malmi, Lauri; Berglund, Anders
Helping students debug concurrent programs
Datorteknik
Konferensbidrag
2009
26.
Mancini, Toni; et al.
Constrained optimisation over massive databases
Datorteknik
Konferensbidrag
2009
27.
Ngai, Edith
On Providing Sink Anonymity for Sensor Networks
Datorteknik
Konferensbidrag
2009
28.
Ngai, Edith C.-H.; Gelenbe, Erol; Humber, Gregory
Information-Aware Traffic Reduction for Wireless Sensor Networks
Datorteknik
Konferensbidrag
2009
29.
Ngai, Edith C.-H.; Rodhe, Ioana
On Providing Location Privacy for Mobile Sinks in Wireless Sensor Networks
Datorteknik
Konferensbidrag
2009
30.
Ngai, Edith; Tsoi, Brittle
Protecting Receiver Privacy in Routing for Wireless Sensor Networks
Datorteknik
Konferensbidrag
2009
31.
Wiggberg, Mattias; Dalenius, Peter
Bridges and problem solving: Swedish engineering students' conceptions of engineering in 2007
Datorteknik
Konferensbidrag
2009
Markera alla
1 - 31 av 31
Skapa referens »
© 2000-2009 |
Uppsala universitetsbibliotek
|
DiVA portal
|
DiVA Helpdesk
|
DiVA Logga in