Institutionen för informationsteknologi
Institutionen för informationsteknologi
Uppsala universitetInformationsteknologiForskningPublikationer
This page in English
Lyssna

Publikationer 2007

  1. Decisive Markov Chains. Parosh Abdulla, Noomene Ben Henda och Richard Mayr. I Logical Methods in Computer Science, volym 3, nummer 4, pp 1-32, 2007. (DOI).
  2. Parameterized Verification of Infinite-state Processes with Global Conditions. Parosh Abdulla, Giorgio Delzanno och Ahmed Rezine. I Computer Aided Verification, Proceedings, volym 4590 av Lecture Notes in Computer Science, pp 145-157, 2007.
  3. Zone-Based Universality Analysis for Single-Clock Timed Automata. Parosh Abdulla, Joel Ouaknine, Karin Quaas och James Worrell. I International Symposium on Fundamentals of Software Engineering, Proceedings, volym 4767 av Lecture Notes in Computer Science, pp 98-112, 2007.
  4. Bisimulation minimization of tree automata. Parosh Aziz Abdulla, Johanna Högberg och Lisa Kaati. I International Journal of Foundations of Computer Science, volym 18, nummer 4, pp 699-713, 2007. (DOI).
  5. Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness. Parosh Aziz Abdulla, Pritha Mahata och Richard Mayr. I Logical Methods in Computer Science, volym 3, nummer 1, pp 1-61, 2007. (DOI).
  6. Regular Model Checking without Transducers. Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno och Ahmed Rezine. I TACAS'07, The 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2007. (Extern länk).
  7. Sampled universality of timed automata. Parosh Aziz Abdulla, Pavel Krcal och Wang Yi. I Foundations of Software Science and Computational Structures, Proceedings, volym 4423 av Lecture Notes in Computer Science, pp 2-16, 2007. (DOI).
  8. Stochastic Games with Lossy Channels. Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg och Luca de Alfaro. Technical report / Department of Information Technology, Uppsala University nr 2007-005, Department of Information Technology, Uppsala University, 2007. (fulltext). (Updated 14 December 2007. To appear in the proceedings of FoSSaCS 2008.)
  9. Using Forward Reachability Analysis for Verification of Timed Petri Nets. Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata och Aletta Nylén. I Nordic Journal of Computing, volym 14, nummer 1, pp 1-42, 2007.
  10. Enhanced covariance matrix estimators in adaptive beamforming. Richard Abrahamsson, Yngve Selén och Peter Stoica. I 2007 IEEE International Conference on Acoustics, Speech, and Signal Processing, Vol II, Pts 1-3, volym 2 av International Conference on Acoustics Speech and Signal Processing (ICASSP), pp 969-972, 2007.
  11. Estimation of the parameters of a bilinear model with applications to submarine detection and system identification. Richard Abrahamsson, Steven M. Kay och Peter Stoica. I Digital signal processing (Print), volym 17, nummer 4, pp 756-773, 2007. (DOI).
  12. ARPD: Asynchronous random key predistribution in the LEAP framework for Wireless Sensor Networks. Andreas Achtzehn, Christian Rohner och Ioana Rodhe. I 3rd IEEE International Workshop on Wireless and Sensor Networks Security (IEEE WSNS 2007), 2007. (Extern länk).
  13. Filtering and restoration of structures in 3D ultrasound images. Oscar Acosta, Hans Frimmel, Aaron Fenster och Sébastien Ourselin. I Proc. 4th International Symposium on Biomedical Imaging, pp 888-891, IEEE, Piscataway, NJ, 2007. (DOI).
  14. What is the word for "Engineering" in Swedish: Swedish students' conceptions of their discipline. Robin Adams, Sally Fincher, Arnold Pears, Jürgen Börstler, Jonas Boustedt, Peter Dalenius, Gunilla Eken, Tim Heyer, Andreas Jacobsson, Vanja Lindberg, Bengt Molin, Jan Erik Moström och Mattias Wiggberg. Technical report / Department of Information Technology, Uppsala University nr 2007-018, 2007. (fulltext).
  15. Image Based Measurements of Single Cell mtDNA Mutation Load. Amin Allalou, Frans M. van de Rijke, Roos Jahangir Tafrechi, Anton K. Raap och Carolina Wählby. I Image Analysis, Proceedings, volym 4522 av Lecture notes in computer science, pp 631-640, 2007. (DOI).
  16. Image based measurements of single cell mtDNA mutation load MTD 2007. Amin Allalou, Frans van de Rijke, Roos Jahangir Tafrechi, Anton Raap och Carolina Wählby. I Medicinteknikdagarna 2007, 2007.
  17. Segmentation of Cytoplasms of Cultured Cells. Amin Allalou, Carolina Wählby, Frans van de Rijke, Roos Jahangir Tafrechi och Anton Raap. I In Proceedings SSBA 2007, Symposium on image analysis, Linköping, 2007.
  18. Dynamic Ordered Sets with Exponential Search Trees. Arne Andersson och Mikkel Thorup. I Journal of the ACM, volym 54, nummer 3, p 1236460, 2007. (DOI).
  19. Application of a perfectly matched layer to the nonlinear wave equation. Daniel Appelö och Gunilla Kreiss. I Wave motion, volym 44, pp 531-548, 2007. (DOI).
  20. Tuneable Peak Deformations in Chiral Liquid Chromatography. Robert Arnell, Patrik Forssén och Torgny Fornstedt. I Analytical Chemistry, volym 79, pp 5838-5847, 2007. (DOI).
  21. The Complexity of Model Checking Higher-order Fixpoint Logic. Roland Axelson, Martin Lange och Rafal Somla. I Logical Methods in Computer Science, volym 3, nummer 2:7, pp 1-33, 2007. (DOI).
  22. 2D Ring Artifact Reduction of X-ray Tomography Images. Maria Axelsson, Stina Svensson och Gunilla Borgefors. I Proceedings SSBA 2007: Symposium on Image Analysis, Linköping, March 14-15, 2007.
  23. 3D Tracking of Cellulose Fibres in Volume Images. Maria Axelsson. I IEEE International Conference on Image Processing, 2007. ICIP 2007., pp IV-309, 2007. (DOI, Extern länk).
  24. A black-box generalized conjugate gradient minimum residual method based on variable preconditioners and local element approximations. Owe Axelsson, Radim Blaheta och Maya Neytcheva. Technical report / Department of Information Technology, Uppsala University nr 2007-033, 2007. (fulltext).
  25. Double Sobolev gradient preconditioning for nonlinear elliptic problems. Owe Axelsson och János Karátson. I Numerical Methods for Partial Differential Equations, volym 23, pp 1018-1036, 2007. (DOI).
  26. Mesh independent superlinear PCG rates via compact-equivalent operators. Owe Axelsson och János Karátson. I SIAM Journal on Numerical Analysis, volym 45, pp 1495-1516, 2007. (DOI).
  27. Symmetric part preconditioning of the CG method for Stokes type saddle-point systems. Owe Axelsson och János Karátson. I Numerical Functional Analysis and Optimization, volym 28, pp 1027-1049, 2007. (DOI).
  28. Comparison of histomorphometrical data obtained with two different image analysis methods. Lucia Ballerini, Victoria Franke-Stenport, Gunilla Borgefors och Carina B. Johansson. I Journal of materials science. Materials in medicine, volym 18, nummer 8, pp 1471-1479, 2007. (DOI).
  29. ExPLoIT: Exploiting Past Location Information and Transitivity for positioning in mobile sensor networks. Christophe Baraër, Kaustubh Phanse, Johan Nykvist och Luka Birsa. I SECOND IEEE/Create-Net/ICST International Conference on COMmunication System softWAre and MiddlewaRE, 2007. (Extern länk).
  30. A completeness proof for bisimulation in the pi-calculus using Isabelle. Jesper Bengtson och Joachim Parrow. I Electronic Notes in Theoretical Computer Science, volym 192, nummer 1, pp 61-75, 2007. (DOI, Extern länk).
  31. Formalising the pi-calculus using nominal logic. Jesper Bengtson och Joachim Parrow. I FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, volym 4423 av LECTURE NOTES IN COMPUTER SCIENCE, pp 63-77, 2007. (Extern länk).
  32. Analysis of 3D images of molecules, cells, tissues and organs. Ewert Bengtsson. I Medicinteknikdagarna 2007, p 1, 2007.
  33. The biotech industry in the Uppsala region - result of academic research and private entrepreneurship. Ewert Bengtsson. I Global Human Resources Forum 2007, 2007.
  34. A doctoral course in research methods in computing education research: How should we teach it?. Anders Berglund, Päivi Kinnunen och Lauri Malmi. I Proc. 7th Baltic Sea Conference on Computing Education Research: Koli Calling, pp 175-178, 2007. (Extern länk).
  35. Debating the OO debate: Where is the problem?. Anders Berglund och Raymond Lister. I Proc. 7th Baltic Sea Conference on Computing Education Research: Koli Calling, pp 171-174, 2007. (Extern länk).
  36. Do we teach well? Insights from Engineering Education Research: Keynote talk at the ReflekTori 2007. Anders Berglund. Helsinki University of Technology, TKK, Helsinki, Finland, 2007. (Extern länk).
  37. How do students understand computer network protocols?. Anders Berglund och Raymond Lister. I proceedings of the 20th Annual Conference of the National Advisory Committee on Computing Qualifications (NACCQ), pp 15-29, 2007. (Extern länk).
  38. Learning computer systems in a project course: Aims and approaches: Keynote speech at First Australasian Workshop on Applications of Phenomenography in Engineering, Computing and Science Education. Anders Berglund. University Technology, Sydney, Australia, 2007.
  39. Phenomenography: A way to study learning from the students' perspective.: Keynote presentation at Researching Phenomena: Three methodologies, three perspectives. Anders Berglund. Auckland University of Technology, Auckland, New Zeeland, 2007.
  40. Proc. 6th Baltic Sea Conference on Computing Education Research: Koli Calling. Anders Berglund och Mattias Wiggberg (red). Volym 2007-006 av Technical report / Department of Information Technology, Uppsala University, 2007. (Extern länk).
  41. Why I used phenomenography in "Students learn CS in different ways: Insights from an empirical study". Anders Berglund. I In Annals of Research in Engineering Education, volym 3, nummer 2, 2007.
  42. Testbed and Methodology for Experimental Evaluation of Opportunistic Networks. Fredrik Bjurefors, Kaustubh Phanse, Oskar Wibling och Christian Rohner. I 7th Scandinavian Workshop on Wireless Ad-hoc Networks (ADHOC'07), 2007.
  43. A combinatorial strongly subexponential strategy improvement algorithm for mean payoff games. Henrik Björklund och Sergei Vorobyov. I Discrete Applied Mathematics, volym 155, nummer 2, pp 210-229, 2007. (DOI).
  44. Schwarz methods for discrete elliptic and parabolic problems with an application to nuclear waste repository modelling. Radim Blaheta, Roman Kohut, Maya Neytcheva och Jirí Starý. I Mathematics and Computers in Simulation, volym 76, pp 18-27, 2007. (DOI).
  45. Resolving the geometry of biomolecules imaged by cryo electron tomography. Lorenzo Bongini, Duccio Fanelli, Stina Svensson, Magnus Gedda och Francesco Piazza. I Journal of Microscopy, volym 228, nummer 2, pp 174-184, 2007. (DOI).
  46. Hemmafrun som lyckades. Gunilla Borgefors. I Nämnaren, volym 34, nummer 1, pp 18-20, 2007.
  47. Timed calculus of cryptographic communication. Johannes Borgström, Olga Grinchtein och Simon Kramer. I Formal Aspects in Security and Trust, volym 4691 av Lecture Notes in Computer Science, pp 16-30, Springer-Verlag, Berlin, 2007. (DOI).
  48. Students working with a large software system: Experiences and understandings. Jonas Boustedt. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2007-002, Uppsala University, 2007. (fulltext).
  49. Threshold Concepts in Computer Science: Do they exist and are they useful?. Jonas Boustedt, Anna Eckerdal, Robert McCartney, Jan Erik Moström, Mark Ratcliffe, Kate Sanders och Carol Zander. I SIGCSE Bulletin inroads, volym 39, nummer 1, pp 504-508, 2007. (DOI).
  50. Classifying individual tree species under leaf-off and leaf-on conditions using airborne lidar. Tomas Brandtberg. I ISPRS journal of photogrammetry and remote sensing (Print), volym 61, nummer 5, pp 325-340, 2007. (DOI).
  51. Discrete fundamental solution preconditioning for hyperbolic systems of PDE. Henrik Brandén, Sverker Holmgren och Per Sundqvist. I Journal of Scientific Computing, volym 30, pp 35-60, 2007. (DOI).
  52. Convergence Analysis of a Recursive Identification Algorithm for Nonlinear ODE Models with a Restricted Black-box Parameterization. Linda Brus. I 46th IEEE Conference on Decision and Control Proceedings, 2007.
  53. MATLAB Software for Feedforward Optimal Control of Systems with Flow Varying Time Delays. Linda Brus. Technical report / Department of Information Technology, Uppsala University nr 2007-026, Department of Information Technology, Uppsala University, 2007. (software).
  54. Finite element block-factorized preconditioners. Erik Bängtsson och Maya Neytcheva. Technical report / Department of Information Technology, Uppsala University nr 2007-008, 2007. (fulltext).
  55. Robust Preconditioners Based on the Finite Element Framework. Erik Bängtsson. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 296, Acta Universitatis Upsaliensis, Uppsala, 2007. (fulltext).
  56. Automation and E-government Services: A Widened Perspective. Åsa Cajander och Elina Eriksson. I The 1st International Workshop on Design & Evaluation of e-Government Applications and Services: DEGAS, 2007. (Extern länk).
  57. Evaluating Procurement, Usability and Off-the-Shelf Office Software. Åsa Cajander, Elina Eriksson och Jan Gulliksen. I COST294-MAUSE Workshop - Downstream Utility: The Good, the Bad, and the Utterly Useless, pp 22-29, 2007.
  58. Usability and User’s Health Issues in Systems Development - Attitudes and Perspectives. Åsa Cajander, Inger Boivie och Jan Gulliksen. I Maturing Usability: Quality in Software, Interaction, and Value, Springer Verlag, 2007.
  59. A Flexible Model for Tree-Structured Multi-Commodity Markets. Per Carlsson och Arne Andersson. I Electronic Commerce Research, volym 7, nummer 1, pp 69-88, 2007. (DOI).
  60. Group Discovery in a CollaborativeTagging System. Zijian Chen. Examensarbete, handledare: Jari Koister, examinator: Anders Arweström Jansson, IT nr 07001, 2007. (fulltext).
  61. The Multi-Pitch Estimation Problem: Some New Solutions. Mads Christensen, Peter Stoica, Andreas Jakobsson och Søren Holdt Jensen. I International Conference on Acoustics, Speech, and Signal Processing: April 15-20, 2007, Honolulu, Hawaii, USA, 2007. (To appear.)
  62. Balancing Scaffolding and Complexity in Open Ended Group Projects (OEGPs): A Learning Theory View. Mats Daniels och Amie Hauer. I IEEE Frontiers in Education conference, pp F2G1-F2G2, 2007. (Extern länk).
  63. Ill-structured Problem Solving in Engineering Education. Mats Daniels, Angela Carbone, Amie Hauer och Dan Moore. I IEEE Frontiers in Education conference, pp F3F1-F3F2, 2007. (Extern länk).
  64. Ill-structured problem solving: Invited panel. Mats Daniels, Angela Carbone, Tony Clear och Michael de Raadt. I , 2007. (Extern länk).
  65. Signal power estimation via vector and matrix approaches.. Lin Du, Jian Li och Peter Stoica. I 41st ASILOMAR Conference on Signals, Systems and Computers., 2007.
  66. From Limen to Lumen: Computing students in liminal spaces. Anna Eckerdal, Robert McCartney, Jan Erik Moström, Kate Sanders, Lynda Thomas och Carol Zander. I Proc. 3rd International Computing Education Research Workshop, pp 123-132, ACM Press, New York, 2007. (DOI).
  67. Mobile phones and virtuous cycles: in search of empirical evidence. Mats Edenius och Erik Borälv. I Beyond mobility, volym 2007 av EFI yearbook, Studentlitteratur, Lund, 2007.
  68. Mobile phones, managers and new configuration of time and space. Mats Edenius och Hans Rämö. I Work With Computing Systems, WWCS, Stockholm 2007, 2007. (Extern länk).
  69. Parameter estimation of continuous-time bilinear systems based on numerical integration and separable non-linear least-squares. Mats Ekman och Erik Larsson. I International Journal of Control, volym 80, nummer 3, pp 329-339, 2007. (DOI).
  70. Correlation between clinical assessment and force plate measurement of postural control after stroke. Gunilla Elmgren Frykberg, Birgitta Lindmark, Håkan Lanshammar och Jörgen Borg. I Journal of Rehabilitation Medicine, volym 39, nummer 6, pp 448-453, 2007. (DOI).
  71. Seamless Formal Verification of Complex Event Processing Applications. AnneMarie Ericsson, Paul Pettersson, Mikael Berndtsson och Marco Seiriö. I Proceedings of the 6th Inaugural International Conference on Distributed Event-Based Systems, 2007.
  72. Sensemaking and Knowledge Building in System Development. Elina Eriksson. I Human-Computer Interaction - INTERACT 2007, Pt 2, Proceedings, volym 4663 av Lecture Notes in Computer Science, pp 571-572, 2007.
  73. The GTO Toolset and Method. Lars-Henrik Eriksson. I Electronic Notes in Theoretical Computer Science, volym 185, pp 77-91, 2007. (DOI).
  74. Simulations of Ground Effects on Wake Vortices at Runways. Sofia Eriksson, Magnus Svärd och Jan Nordström. Technical report / Department of Information Technology, Uppsala University nr 2007-019, 2007. (fulltext).
  75. Collegial verbalisation: a case study on a new method on information acquisition. Mikael Erlandsson och Anders Jansson. I Behaviour & Information Technology, volym 26, nummer 6, pp 535-543, 2007. (DOI).
  76. Cavity Shape Dynamical Modelling and Estimation in a Water Model of the Steel Converter Process. Magnus Evestedt och Alexander Medvedev. I Journal of the Japanese Society for Experimental Mechanics, volym 7, pp s93-s98, 2007.
  77. Parameter and State Estimation with Information-rich Signals. Magnus Evestedt. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 368, Acta Universitatis Upsaliensis, Uppsala, 2007. (fulltext, cover).
  78. Leveraging a power save protocol to improve performance in ad hoc networks. Laura Marie Feeney, Christian Rohner och Bengt Ahlgren. I ACM SIGMOBILE Mobile Computing and Communications Review, volym 11, nummer 2, pp 51-52, 2007. (DOI).
  79. Multi-rate relaying for performance improvement in IEEE 802.11 WLANs. Laura Marie Feeney, Bilge Cetin, Daniel Hollos, Martin Kubisch, Seble Mengesha och Holger Karl. I , 2007.
  80. The impact of wakeup schedule distribution in asynchronous power save protocols on the performance of multihop wireless networks. Laura Marie Feeney, Christian Rohner och Bengt Ahlgren. I IEEE Wireless Communications and Networking Conference: WCNC 2007, 2007.
  81. A hierarchy of approximations of the master equation scaled by a size parameter. Lars Ferm, Per Lötstedt och Andreas Hellander. Technical report / Department of Information Technology, Uppsala University nr 2007-011, 2007. (fulltext).
  82. Adaptive solution of the master equation in low dimensions. Lars Ferm och Per Lötstedt. Technical report / Department of Information Technology, Uppsala University nr 2007-023, 2007. (fulltext).
  83. Numerical method for coupling the macro and meso scales in stochastic chemical kinetics. Lars Ferm och Per Lötstedt. I BIT Numerical Mathematics, volym 47, pp 735-762, 2007. (DOI).
  84. Task automata: Schedulability, decidability and undecidability. Elena Fersman, Pavel Krcal, Paul Pettersson och Wang Yi. I Information and Computation, volym 205, nummer 8, pp 1149-1172, 2007. (DOI).
  85. Air-Traffic Complexity Resolution in Multi-Sector Planning. Pierre Flener, Justin Pearson, Magnus Ågren, Carlos Garcia Avello och Mete Celiktin. Technical reports from the Department of Information Technology nr 2007-003, 2007. (Extern länk).
  86. Air-traffic complexity resolution in multi-sector planning. Pierre Flener, Justin Pearson, Magnus Ågren, Carlos Garcia Avello, Mete Çeliktin och Søren Dissing. I Journal of Air Transport Management, volym 13, nummer 6, pp 323-328, 2007. (DOI).
  87. Air-traffic complexity resolution in multi-sector planning using constraint programming. Pierre Flener, Justin Pearson, Magnus Ågren, Carlos Garcia Avello, Mete Celiktin och Søren Dissing. I Proceedings of ATM'07, the 7th USA/Europe R&D Seminar on Air Traffic Management, 2007. (Extern länk).
  88. Design of financial CDO squared transactions using constraint programming. Pierre Flener, Justin Pearson, Luis G. Reyna och Olof Sivertsson. I Constraints, volym 12, nummer 2, pp 179-205, 2007. (DOI).
  89. Efficient structural symmetry breaking for constraint satisfaction problems. Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck och Magnus Ågren. I International Symmetry Conference, 2007. (Extern länk).
  90. Structural symmetry breaking for constraint satisfaction problems. Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck och Magnus Ågren. Technical reports from the Department of Information Technology nr 2007-032, 2007. (Extern länk).
  91. Cost-based Optimization of Complex Scientific Queries. Ruslan Fomkin och Tore Risch. I 19th International Conference on Scientific and Statistical Database Management (SSDBM 2007), 2007. (Extern länk).
  92. Weighted distance transforms generalized to modules and their computation on point lattices. Céline Fouard, Robin Strand och Gunilla Borgefors. I Pattern Recognition, volym 40, nummer 9, pp 2453-2474, 2007. (DOI).
  93. Reduction of attenuation effects in 3D transrectal ultrasound images. Hans Frimmel, Oscar Acosta, Aaron Fenster och Sébastien Ourselin. I Medical Imaging 2007: Ultrasonic Imaging and Signal Processing, volym 6513 av Proc. SPIE, pp 65130Z:1-8, Bellingham, WA, 2007. (DOI).
  94. X-ray Microtomography of Wood-Based Materials: Pulp-Fibre Reinforced Thermoplastics and Polythylen Glycol-Impregnated Oak. E. Kristofer Gamstedt, Karin M. Almgren, Bettina Selig, Ingela Bjurhager, Stina Svensson och Per Nygård. HASYLAB Annual report, 2007. (fulltext).
  95. Quantification and Localization of Colocalization. Milan Gavrilovic och Carolina Wählby. I Proceedings SSBA 2007: Symposium on Image Analysis, Linköping, March 14-15, pp 93-96, Linköping University, Linköping, 2007. (fulltext).
  96. Flexibility Description of the MET Protein Stalk Based on the Use of Non-Uniform B-Splines. Magnus Gedda och Stina Svensson. I 12th International Conference on Computer Analysis of Images and Patterns, pp 173-180, 2007. (DOI, Extern länk).
  97. Groupoids and conditional symmetry. Ian P. Gent, Tom Kelsey, Steve Linton, Justin Pearson och Colva Roney-Dougal. I Principles and Practice of Constraint Programming – CP 2007, pp 823-830, 2007. (DOI).
  98. A Hybrid Method for the Unsteady Compressible Navier-Stokes Equations. Jing Gong, Jan Nordström och Edwin van der Weide. Technical report / Department of Information Technology, Uppsala University nr 2007-029, 2007. (fulltext).
  99. A Stable and Efficient Hybrid Scheme for Viscous Problems in Complex Geometries. Jing Gong och Jan Nordström. Technical report / Department of Information Technology, Uppsala University nr 2007-002, 2007. (fulltext).
  100. A stable and efficient hybrid scheme for viscous problems in complex geometries. Jing Gong och Jan Nordström. I Journal of Computational Physics, volym 226, pp 1291-1309, 2007. (DOI).
  101. Hybrid Methods for Unsteady Fluid Flow Problems in Complex Geometries. Jing Gong. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 374, Acta Universitatis Upsaliensis, Uppsala, 2007. (fulltext).
  102. Variational multiscale methods for large eddy simulation of turbulent flows: Fourier analysis and application to diffuser flow. Volker Gravemeier, Martin Kronbichler och Wolfgang A. Wall. I Proc. 5th International Symposium on Turbulence and Shear Flow Phenomena, pp 461-466, TU München, Garching, Germany, 2007.
  103. Efficient Algorithms for Computing the Capon and APES Filters. Erik Gudmundson och Andreas Jakobsson. I CONFERENCE RECORD OF THE FORTY-FIRST ASILOMAR CONFERENCE ON SIGNALS, SYSTEMS & COMPUTERS, VOLS 1-5, pp 427-430, 2007.
  104. WISENET Wireless Sensor Networks VINN Excellence Center. Per Gunningberg, Roland Grönroos, Ilia Katardjiev, Thiemo Voigt, Anders Ahlén, Klas Hjort och Anders Rydberg. 2007. (Extern länk).
  105. Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang. Per Gustafsson och Konstantinos Sagonas. I Practical Aspects of Declarative Languages: PADL 2007, volym 4354 av Lecture Notes in Computer Science, pp 94-108, 2007. (DOI).
  106. Interaction analysis and control of bioreactors for nitrogen removal. Björn Halvarsson. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2007-006, Uppsala University, 2007. (fulltext).
  107. Towards time-stable and accurate LES on unstructured grids. Frank Ham, Ken Mattsson, Gianluca Iaccarino och Parviz Moin. I Complex Effects in Large Eddy Simulations, volym 56 av Lecture Notes in Computational Science and Engineering, pp 235-249, Springer-Verlag, Berlin, 2007. (DOI).
  108. Designing Work and IT Systems: A Participatory Process that Supports Usability and Sustainability. Niklas Hardenborg. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 376, Acta Universitatis Upsaliensis, Uppsala, 2007. (fulltext, cover).
  109. Performing the Vision Seminar Process. Niklas Hardenborg, Iordanis Kavathatzopoulos och Bengt Sandblad. Technical report / Department of Information Technology, Uppsala University nr 2007-031, 2007. (fulltext).
  110. Metalib and Google Scholar: A user study. Glenn Haya, Else Nygren och Wilhelm Widmark. I Online information review (Print), volym 31, nummer 3, pp 365-375, 2007. (DOI).
  111. Metalib and Google Scholar from the students' perspective. Glenn Haya och Else Nygren. I Nord I&D 2007 “The Human side of IT”: The 13th Nordic Conference on Information and Documentation Stockholm University, Aula Magna, 18-19 June 2007, 2007.
  112. Efficient computation of transient solutions of the chemical master equation based on uniformization and Quasi-Monte Carlo. Andreas Hellander. Technical report / Department of Information Technology, Uppsala University nr 2007-027, 2007. (fulltext).
  113. Hybrid method for the chemical master equation. Andreas Hellander och Per Lötstedt. I Journal of Computational Physics, volym 227, pp 100-122, 2007. (DOI).
  114. A Global Algorithm for Model-Based Test Suite Generation. Anders Hessel och Paul Pettersson. I Proc. 3rd Workshop on Model Based Testing: MBT 2007, volym 190:2 av Electronic Notes in Theoretical Computer Science, pp 47-59, Elsevier, 2007. (DOI).
  115. Cover - A Real-Time Test Case Generation Tool. Anders Hessel och Paul Pettersson. I 19th IFIP International Conference on Testing of Communicating Systems and 7th International Workshop on Formal Approaches to Testing of Software, 2007.
  116. Model-Based Test Case Generation for Real-Time Systems. Anders Hessel. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 301, Acta Universitatis Upsaliensis, Uppsala, 2007. (fulltext, cover).
  117. Model-based Testing of a WAP Gateway: An Industrial Case-Study. Anders Hessel och Paul Pettersson. I Formal Methods: Applications and Technology, volym 4346 av LECTURE NOTES IN COMPUTER SCIENCE, pp 116-131, 2007.
  118. Testing Real-time systems using UPPAAL. Anders Hessel, Kim G. Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson och Arne Skou. I Formal Methods and Testing, Springer-Verlag, 2007.
  119. A simplified form of the bias-eliminating least squares method for errors-in-variables identification. Mei Hong, Torsten Söderström och Wei Xing Zheng. I IEEE Transactions on Automatic Control, volym 52, nummer 9, pp 1754-1756, 2007. (DOI).
  120. Accuracy analysis of bias-eliminating least squares estimates for errors-in-variables systems. Mei Hong, Torsten Söderström och Wei Xing Zheng. I Automatica, volym 43, nummer 9, pp 1590-1596, 2007. (DOI).
  121. Partial Order Reduction for Verification of Real-Time Components. John Håkansson och Paul Pettersson. I Formal Modeling and Analysis of Timed Systems, volym 4763 av Lecture Notes in Computer Science, pp 211-226, 2007.
  122. The spatial distribution of nuclei in single skeletal muscle cells as visualised by 3-D images:: the differences in organisation between species and between healthy cells and cells affected by disease. Anna-Stina Höglund, Jingxia Liu, Patrick Karlsson, Joakim Lindblad, Gunilla Borgefors, Ewert Bengtsson och Lars Larsson. I Biophysical Journal: 637A-637A Suppl. S, 2007.
  123. Single-cell A3243G mitochondrial DNA mutation load assays for segregation analysis. Roshan S. Jahangir Tafrechi, Frans M. van de Rijke, Amin Allalou, Chatarina Larsson, Willem C. R. Sloos, Marchien van de Sande, Carolina Wählby, George M. C. Janssen och Anton K. Raap. I Journal of Histochemistry and Cytochemistry, volym 55, nummer 11, pp 1159-1166, 2007. (DOI).
  124. Mesh deformation using radial basis functions for gradient-based aerodynamic shape optimization. Stefan Jakobsson och Olivier Amoignon. I Computers & Fluids, volym 36, pp 1119-1136, 2007. (DOI).
  125. In situ detection of phosphorylated platelet-derived growth factor receptor beta using a generalized proximity ligation method. Malin Jarvius, Janna Paulsson, Irene Weibrecht, Karl-Johan Leuchowius, Ann-Catrin Andersson, Carolina Wählby, Mats Gullberg, Johan Botling, Tobias Sjöblom, Boyka Markova, Arne Östman, Ulf Landegren och Ola Söderberg. I Molecular & Cellular Proteomics, volym 6, nummer 9, pp 1500-1509, 2007. (DOI).
  126. Grid-enabling an efficient algorithm for demanding global optimization problems in genetic analysis. Mahen Jayawardena och Sverker Holmgren. I Proc. 3rd International Conference on e-Science and Grid Computing, pp 205-212, IEEE Computer Society, Los Alamitos, CA, 2007. (DOI).
  127. Parallel algorithms and implementations for genetic analysis of quantitative traits. Mahen Jayawardena. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2007-005, Uppsala University, 2007. (fulltext).
  128. Using parallel computing and grid systems for genetic mapping of quantitative traits. Mahen Jayawardena, Kajsa Ljungberg och Sverker Holmgren. I Applied Parallel Computing: State of the Art in Scientific Computing, volym 4699 av Lecture Notes in Computer Science, pp 627-636, Springer-Verlag, Berlin, 2007. (DOI).
  129. A language for specifying type contracts in Erlang and its interaction with success typings. Miguel Jiménez, Tobias Lindahl och Konstantinos Sagonas. I Proc. 6th ACM SIGPLAN Workshop on ERLANG, pp 11-17, ACM Press, New York, 2007. (DOI).
  130. A User Centred Process for Specification of Requirements for Usability and a Healthy Work. Niklas Johansson och Malin Grahn. I Proceedings of Work With Computer Systems <em>Conference</em>: WWCS 2007, 2007. (Extern länk).
  131. A participatory process supporting design of future work. Niklas Johansson, Eva Olsson, Jan Gulliksen och Bengt Sandblad. I Ergonomics: An Introduction, pp 127-160, ICFAI University Press, Hyderabad, India, 2007.
  132. Systematic Acceleration in Regular Model Checking. Bengt Jonsson och Mayank Saksena. I Computer Aided Verification: CAV 2007, volym 4590 av Lecture Notes in Computer Science, pp 131-144, Springer-Verlag, Berlin, 2007. (DOI).
  133. Obtaining the bidirectional transmittance distribution function of isotropically scattering materials using an integrating sphere. Jacob C. Jonsson och Henrik Brandén. I Optics Communications, volym 277, pp 228-236, 2007. (DOI).
  134. Market-based Approaches to Optimization. Maria Karlsson, Fredrik Ygge och Arne Andersson. I Computational intelligence, volym 23, nummer 1, pp 92-109, 2007. (DOI, Extern länk).
  135. Conserving Memory Bandwidth in Chip Multiprocessors with Runahead Execution.. Martin Karlsson och Erik Hagersten. I 21st International Parallel and Distributed Processing Symposium, 2007.
  136. Analysis of Skeletal Fibers in Three Dimensional Images: Methodological considerations. Patrick Karlsson, Joakim Lindblad, Ewert Bengtsson, Anna-Stina Höglund, Jingxia Liu och Lars Larsson. I XXXVIth European Muscle Conference of the European Society for Muscle Research: European Muscle Conference 2007, p 130, 2007. (Extern länk).
  137. Analysis of Skeletal Fibers in Three Dimensional Images. Patrick Karlsson, Joakim Lindblad, Ewert Bengtsson, Anna-Stina Höglund, Jingxia Liu och Lars Larsson. I Medicinteknikdagarna 2007, p 1, 2007.
  138. Towards content distribution in opportunistic networks. Thabotharan Kathiravelu. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2007-003, Uppsala University, 2007. (fulltext).
  139. Information Technology as a tool for democratic skills. Iordanis Kavathatzopoulos. I Forms of democracy in education: Open access and distance education, pp 155-162, 2007.
  140. Simulation and support in ethical decision making. Iordanis Kavathatzopoulos, Mikael Laaksoharju och Christian Rick. I Globalisation: Bridging the global nature of Information and Communication Technology and the local nature of human beings, pp 278-287, 2007.
  141. Usability index. Iordanis Kavathatzopoulos. I Work with computing systems: Computing systems for human benefits from the 8th international conference on working with computing systems, p 160, 2007. (Extern länk).
  142. Endothelial Cell Image Enhancement using Non-subsampled Image Pyramid. Mohammad A. U. Khan, M. Khalid Khan Niazi, M. Aurangzeb Khan och M. Talal Ibrahim. I Information Technology Journal, volym 6, nummer 7, pp 1057-1062, 2007. (DOI, Extern länk).
  143. Multi-processor schedulability analysis of preemptive real-time tasks with variable execution times. Pavel Krcal, Martin Stigge och Wang Yi. I Formal Modeling and Analysis of Timed Systems: FORMATS 2007, volym 4763 av Lecture Notes in Computer Science, pp 274-289, 2007. (DOI).
  144. Modeling of contact line dynamics for two-phase flow. Gunilla Kreiss. I Proceedings in Applied Mathematics and Mechanics: PAMM, volym 7, nummer 1, pp 1141603-1141604, 2007. (DOI).
  145. Automated and reproducible segmentation of visceral and subcutaneous adipose tissue from abdominal MRI. Joel Kullberg, Håkan Ahlström, Lars Johansson och Hans Frimmel. I International Journal of Obesity, volym 31, pp 1806-1817, 2007. (DOI).
  146. Reducing the TCP Acknowledgment Frequency. Sara Landström och Lars-Åke Larzon. I Computer communication review, volym 37, nummer 3, pp 5-16, 2007. (DOI).
  147. Linear Regression With a Sparse Parameter Vector. Erik G. Larsson och Yngve Selén. I IEEE Transactions on Signal Processing, volym 55, nummer 2, pp 451-460, 2007. (DOI).
  148. Identification of Continuous-Time ARX Models From Irregularly Sampled Data. Erik K. Larsson, Magnus Mossberg och Torsten Söderström. I IEEE Transactions on Automatic Control, volym 52, nummer 3, pp 417-427, 2007. (DOI).
  149. Beampattern synthesis via a matrix approach for signal power estimation. Jian Li, Yao Xie, Peter Stoica, Xiayu Zheng och James Ward. I IEEE Transactions on Signal Processing, volym 55, nummer 12, pp 5643-5657, 2007. (DOI).
  150. MIMO SAR imaging: signal synthesis and receiver design.. Jian Li, Xiayu Zheng och Peter Stoica. I The 2nd International Workshop on Computational Advances in Multi-Sensor Adaptive Processing,, 2007.
  151. MIMO radar with colocated antennas: Review of some recent work. Jian Li och Peter Stoica. I IEEE signal processing magazine (Print), volym 24, nummer 5, pp 106-114, 2007. (DOI).
  152. On Parameter Identifiability of MIMO Radar. Jian Li, Peter Stoica, Luzhou Xu och William Roberts. I IEEE Signal Processing Letters, volym 14, nummer 12, pp 968-971, 2007. (DOI).
  153. Time estimation as a measure of cognitive workload. Mats Lind och Henning Sundvall. I Engineering Psychology and Cognitive Ergonomics: 7th International Conference, EPCE 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings, pp 359-365, Springer Berlin / Heidelberg, 2007. (DOI, Extern länk).
  154. Common cause failure analysis: Methodology evaluation using Nordic experience data. Sandra Lindberg. Examensarbete (Civilingenjörsprogrammet System i teknik och samhälle), handledare: Gunnar Johanson, examinator: Bengt Carlsson, Elísabet Andrésdottír, UPTEC STS nr 07 024, 2007. (fulltext).
  155. Defuzzification by Feature Distance Minimization Based on DC Programming. Joakim Lindblad, Tibor Lukic och Natasa Sladoje. I 5th International Symposium on Image and Signal Processing and Analysis, 2007: ISPA 2007, pp 373-378, 2007. (DOI).
  156. Generating Trace-Sets for Model-based Testing. Birgitta Lindström, Paul Pettersson och Jeff Offutt. I The 18th IEEE International Symposium on Software Reliability (ISSRE '07), pp 171-180, 2007. (DOI, Extern länk).
  157. Usability: Perspectives from Research, Publishing, and Higher Education Institutions. Joan K. Lippincott, Joris van Rossum, Sayeed Choudhury och Else Nygren. I ETD, the 10th International Symposium on Electronic Theses and Dissertations, in Uppsala, 13-16 June 2007, 2007.
  158. Differing Ways that Computing Academics Understand Teaching.. Raymond Lister, Anders Berglund, Ilona Box, Chris Cope, Arnold Pears, Chris Avram, Matt Bower, Angela Carbone, Bill Davey, Michael de Raadt, Bernhard Doyle, Sue Fitzgerald, Linda Grandell, Cat Kutay, Mia Peltomäki, Judy Sheard, Simon, Ken Sutton, Des Traynor, Judy Tutty och Anne Venables. I Australian Computer Science Communications, volym 29, nummer 5, pp 97-106, 2007. (Extern länk).
  159. Composable difference operators for coordinate invariant partial differential equations. Malin Ljungberg. Technical report / Department of Information Technology, Uppsala University nr 2007-007, 2007. (fulltext).
  160. Design of High Performance Computing Software for Genericity and Variability. Malin Ljungberg. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 285, Acta Universitatis Upsaliensis, Uppsala, 2007. (fulltext).
  161. Students' understandings of concurrent programming. Jan Lönnberg och Anders Berglund. I Proc. 7th Baltic Sea Conference on Computing Education Research: Koli Calling, pp 77-86, 2007. (Extern länk).
  162. Space-time adaptive finite difference method for European multi-asset options. Per Lötstedt, Jonas Persson, Lina von Sydow och Johan Tysk. I Computers and Mathematics with Applications, volym 53, pp 1159-1180, 2007. (DOI).
  163. A database approach for information communication in a peer-to-peer collaborative CAD environment. Haoxue Ma och Tore Risch. I Software, practice & experience, volym 37, nummer 11, pp 1193-1213, 2007. (DOI).
  164. Bayesian approaches for identification of the complex modulus of viscoelastic materials. Kaushik Mahata och Torsten Söderström. I Automatica, volym 43, nummer 8, pp 1369-1376, 2007. (DOI).
  165. Research in engineering education: quality and perspectives. Lauri Malmi och Anders Berglund. I ReflekTori 2007: Symposium of Engineering Education, 2007. (Extern länk).
  166. High-order accurate computations for unsteady aerodynamics. Ken Mattsson, Magnus Svärd, Mark Carpenter och Jan Nordström. I Computers & Fluids, volym 36, pp 636-649, 2007. (DOI).
  167. Successful Students' Strategies for Getting Unstuck. Robert McCartney, Anna Eckerdal, Jan Erik Moström, Kate Sanders och Carol Zander. I SIGCSE Bulletin inroads, volym 39, nummer 3, pp 156-160, 2007. (DOI).
  168. Stability of the solutions of the observation error equations at control of the steel converter process. Alexander V. Medvedev, Boris M. Sokolov och Alexander I. Shepelyavyi. I Automation and remote control, volym 68, nummer 9, pp 1471-1475, 2007. (DOI).
  169. Shading correction methods for digital image analysis of confocal wood images. Mattias K. Moëll och Lloyd A. Donaldson. I IAWA Journal, volym 28, nummer 3, pp 349-364, Smithsonian Institution Libraries, 2007. (Extern länk).
  170. Analysis of the IMAPCT of GIS/ICT On Wetland ASSESSMENT. Moses Musinguzi, Gerhard Bax och Sandy Tickodri-Togboa. I Proceedings of the Conference on Collaborative Research for Technological Development: 16th-21st December 2007 Kampala Uganda, 2007.
  171. Assessment of GIS DATA interoperability in Uganda. Moses Musinguzi, Gerhard Bax och Sandy Tickodri-Togboa. I Proceedings of the Conference on Collaborative Research for Technological Development: 16th-21st December 2007 Kampala Uganda, 2007.
  172. Numerical analysis and adaptive computation for solutions of elliptic problems with randomly perturbed coefficients. Axel Målqvist, Donald Estep och Simon Tavener. I Proceedings in Applied Mathematics and Mechanics: PAMM, volym 7, nummer 1, pp 1140401-1140402, 2007. (DOI).
  173. Separation of One-dimensional Waves - a Stochastic Systems Approach. Peter Naucler och Torsten Söderström. I CONFERENCE RECORD OF THE FORTY-FIRST ASILOMAR CONFERENCE ON SIGNALS, SYSTEMS &amp; COMPUTERS, VOLS 1-5, pp 661-665, 2007.
  174. A mechanical wave diode: Using feedforward control for one-way transmission of elastic extensional waves. Peter Nauclér, Bengt Lundberg och Torsten Söderström. I IEEE Transactions on Control Systems Technology, volym 15, nummer 4, pp 715-724, 2007. (DOI).
  175. Polynomial Feedforward Design Techniques for a Mechanical Wave Diode System. Peter Nauclér och Torsten Söderström. 2007.
  176. A Cross-Environment Study of Routing Protocols for Wireless Multi-hop Networks. Erik Nordström, Per Gunningberg, Christian Rohner och Oskar Wibling. IT Technical Reports nr 2007-016, 2007. (Extern länk).
  177. Evaluating Wireless Multi-hop Networks Using a Combination of Simulation, Emulation, and Real World Experiments. Erik Nordström, Per Gunningberg, Christian Rohner och Oskar Wibling. I Proceedings of the 1st international workshop on System evaluation for mobile platforms (MobiEval'07), pp 29-34, ACM Association for Computing Machinery, New York, 2007. (DOI).
  178. Experiences from measuring human mobility using Bluetooth inquiring devices. Erik Nordström, Christophe Diot, Richard Gass och Per Gunningberg. I In Proceedings of the 1st international In Proceedings of the 1stinternational workshop on System evaluation for mobile platforms (MobiEval'07), pp 15-20, ACM Press, New York, 2007. (DOI, Extern länk).
  179. A Hybrid Method for Unsteady Fluid Flow. Jan Nordström, Frank Ham, Mohammad Shoeybi, Edwin van der Weide, Magnus Svärd, Ken Mattsson, Gianluca Iaccarino och Jing Gong. Technical report / Department of Information Technology, Uppsala University nr 2007-020, 2007. (fulltext).
  180. Boundary conditions for a divergence free velocity-pressure formulation of the Navier-Stokes equations. Jan Nordström, Ken Mattsson och Charles Swanson. I Journal of Computational Physics, volym 225, pp 874-890, 2007. (DOI).
  181. Error bounded schemes for time-dependent hyperbolic problems. Jan Nordström. I SIAM Journal on Scientific Computing, volym 30, pp 46-59, 2007. (DOI).
  182. Dynamic data migration for structured AMR solvers. Markus Nordén, Henrik Löf, Jarmo Rantakokko och Sverker Holmgren. I International journal of parallel programming, volym 35, pp 477-491, 2007. (DOI).
  183. Grey Weighted Polar Distance Transform for Outlining Circular and Approximately Circular Objects. Kristin Norell, Joakim Lindblad och Stina Svensson. I 14th International Conference on Image Analysis and Processing: ICIAP 2007, pp 647-652, 2007. (DOI).
  184. I huvudet på Nintendo-generationen: - om datorspel, kunskap, inlärning och olika sätt att tänka. Else Nygren. I Aktuella ungdomskulturer Community, psykonauter och fildelning: 26 - 27 april 2007 i Uppsala, 2007.
  185. Design and Implementation of Multi-Device ServicesUtveckling av tjänster med multipla användargränssnitt. Stina Nylander. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 267, SICS dissertation series nr 46, Acta Universitatis Upsaliensis, Uppsala, 2007. (fulltext, cover).
  186. A conservative level set method for two phase flow II. Elin Olsson, Gunilla Kreiss och Sara Zahedi. I Journal of Computational Physics, volym 225, pp 785-807, 2007. (DOI).
  187. A Survey of Literature on the Teaching of Introductory Programming. Arnold Pears, Stephen Seidman, Lauri Malmi, Linda Mannila, Elizabeth Adams, Jens Bennedsen, Marie Devlin och James Paterson. I SIGCSE Bulletin inroads, volym 39, nummer 4, pp 204-223, 2007. (DOI).
  188. CeTUSS (Centrum för Teknikutbildning i Studenternas Sammanhang): A national center for pedagogical development in technology education. Arnold Pears och Mats Daniels. I Meeting the Growing Demand for Engineers and Their Educators 2010-2020, 2007. (Extern länk).
  189. What's in a Publication? The Bleeding Edge of Computing Education: Keynote: 2nd Workshop on Computer Science Education. Arnold Pears. I 2nd Workshop on Computer Science Education, 2007. (Extern länk).
  190. What’s the problem?: Teachers’ experience of student learning successes and failures. Arnold Pears, Anders Berglund, Anna Eckerdal, Philip East, Päivi Kinnunen, Lauri Malmi, Robert McCartney, Jan Erik Moström, Laurie Murphy, Mark Bartley Ratcliffe, Carsten Schulte, Beth Simon, Ioanna Stamouli och Lynda Thomas. I Proc. 7th Baltic Sea Conference on Computing Education Research: Koli Calling, volym 88 av CRPIT, pp 207-211, Australian Computer Society, 2007. (Extern länk).
  191. Pricing American options using a space-time adaptive finite difference method. Jonas Persson. Technical report / Department of Information Technology, Uppsala University nr 2007-004, 2007. (fulltext).
  192. Pricing European multi-asset options using a space-time adaptive FD-method. Jonas Persson och Lina von Sydow. I Computing and Visualization in Science, volym 10, pp 173-183, 2007. (DOI).
  193. SWARD: Semantic Web Abridged Relational Databases. Johan Petrini och Tore Risch. 2007. (Extern länk).
  194. On color spaces for cytology. Amalka Pinidiyaarachchi och Carolina Wählby. I SSBA 2007, Symposium i bildanalys i Linköping 14-15 mars 2007, 2007.
  195. Asymptotic uncertainty of transfer-function estimates using nonparametric noise models. Rik Pintelon och Mei Hong. I IEEE Transactions on Instrumentation and Measurement, volym 56, nummer 6, pp 2599-2605, 2007. (DOI).
  196. Tools and methods for evaluation of overlay networks. Olof Rensfelt. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2007-004, Uppsala University, 2007. (fulltext).
  197. Vendetta – A Tool for Flexible Monitoring and Management of Distributed Testbeds. Olof Rensfelt, Lars-Åke Larzon och Sven Westergren. I Proc. 3rd International Conference on Testbeds and Research Infrastructure for the Development of Networks and Communities, p 8, IEEE, Piscataway, NJ, 2007. (DOI).
  198. n-LQA: n-Layers Query Authentication in Sensor Networks. Ioana Rodhe, Christian Rohner och Andreas Achtzehn. I 3rd IEEE International Workshop on Wireless and Sensor Networks Security (IEEE WSNS 2007), 2007. (Extern länk).
  199. Increasing the efficiency of variance component quantitative trait loci analysis by using reduced-rank identity-by-descent matrices. Lars Rönnegård, Kateryna Mishchenko, Sverker Holmgren och Örjan Carlborg. I Genetics, volym 176, pp 1935-1938, 2007. (DOI).
  200. Querying mediated web services. Manivasakan Sabesan. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2007-001, Uppsala University, 2007. (fulltext).
  201. Web Service Mediation Through Multi-level Views. Manivasakan Sabesan och Tore Risch. I Proceedings of the CAiSE'07 Workshops and Doctoral Consortium: Vol. 2 UMICS, AOIS, WSIM, Doctoral Consortium, pp 755-766, Tapir Academic Press, Trondheim, Norway, 2007.
  202. Detecting defects in Erlang programs using static analysis. Konstantinos Sagonas. I Proc. 9th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, pp 37-37, ACM Press, New York, 2007. (Extern länk).
  203. Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols: (Extended Version). Mayank Saksena, Oskar Wibling och Bengt Jonsson. IT Technical Reports nr 2007-035, 2007. (Extern länk).
  204. Cost-Efficient Operation of a Denitrifying Activated Sludge Process. Pär Samuelsson, Björn Halvarsson och Bengt Carlsson. I Water Research, volym 41, nummer 11, pp 2325-2332, 2007. (DOI).
  205. Games and Probabilistic Infinite-State Systems. Sven Sandberg. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 277, Universitetsbiblioteket, Uppsala, 2007. (fulltext, cover).
  206. Implementation of a test system for evaluation of new concepts in rail traffic planning and control. Bengt Sandblad, Arne W. Andersson, Arvid Kauppi och Johan Wikström. I People and Rail Systems: Human Factors at the Heart of the Railway, pp 301-308, Ashgate Publishing, Farnham, UK, 2007.
  207. Advanced Spectral Analysis with Applications. Niclas Sandgren. Doktorsavhandling, , Institutionen för informationsteknologi, Uppsala, 2007.
  208. Demand-Driven Indexing of Prolog Clauses. Vítor Santos Costa, Konstantinos Sagonas och Ricardo Lopes. I Logic Programming: ICLP 2007, volym 4670 av Lecture Notes in Computer Science, pp 395-409, Springer-Verlag, Berlin, 2007. (DOI).
  209. Analysis of Histological Image and SRuCT Image Volumes of Bone Remodeling Around Implants. Hamid Sarve och Joakim Lindblad. I Proceedings SSBA 2007: Symposium on Image Analysis, Linköping, March 14-15, p 4, Linköpings universitet, Linköping, 2007.
  210. Image Analysis of Bone Tissue Remodelling Around Implants. Hamid Sarve, Joakim Lindblad, Carina B Johansson, Victoria Franke-Stenport, Bernhard R, Scharnweber D, Gunilla Borgefors och Y T Sul. I European Conference on Biomaterials 2007, 2007.
  211. Image analysis of Bone Tissue Remodelling Around Biomaterials. Hamid Sarve. I Medicinteknikdagarna 2007, 2007.
  212. Quantification of bone remodeling in the proximity of implants. Hamid Sarve, Carina B. Johansson, Joakim Lindblad, Gunilla Borgefors och Victoria Franke-Stenport. I 12th Int. Conf. on Computer Analysis of Images and Patterns, pp 253-260, 2007.
  213. PixelActiveSurface: A tabletop rear-projection display for collaboration with pixel-accurate interaction. Stefan Seipel och Lars Winkler Pettersson. Technical report / Department of Information Technology, Uppsala University nr 2007-034, 2007. (fulltext).
  214. Real-Time Rendering of Ice. Stefan Seipel och Anders Nivfors. I Proceedings of the Ninth IASTED International Conference on Computer Graphics and Imaging, pp 60-66, 2007. (Extern länk).
  215. Volumetric Normal Mapping in Rendering of Multivariate Volume Data. Stefan Seipel. I Proceedings of EUROGRAPHICS 2007, pp 49-52, 2007.
  216. Automatic robust adaptive beamforming via ridge regression. Yngve Selén, Richard Abrahamsson och Peter Stoica. I 2007 IEEE International Conference on Acoustics, Speech, and Signal Processing, Vol II, Pts 1-3, volym 2 av International Conference on Acoustics Speech and Signal Processing (ICASSP), pp 965-968, 2007.
  217. Empirical Bayes linear regression with unknown model order. Yngve Selén och Erik G. Larsson. I 2007 IEEE International Conference on Acoustics, Speech, and Signal Processing, Vol III, Pts 1-3, Proceedings, volym 3 av International Conference on Acoustics Speech and Signal Processing (ICASSP), pp 773-776, 2007. (DOI).
  218. Model Selection and Sparse Modeling. Yngve Selén. Doktorsavhandling, , Institutionen för informationsteknologi, Uppsala, 2007.
  219. RAKE Receiver for Channels with a Sparse Impulse Response. Yngve Selén och Erik G. Larsson. I IEEE Transactions on Wireless Communications, volym 6, nummer 9, pp 3175-3180, 2007. (DOI).
  220. Numerical Methods for Stochastic Modeling of Genes and Proteins. Paul Sjöberg. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 358, Acta Universitatis Upsaliensis, Uppsala, 2007. (fulltext).
  221. PDE and Monte Carlo approaches to solving the master equation applied to gene regulation. Paul Sjöberg. Technical report / Department of Information Technology, Uppsala University nr 2007-028, 2007. (fulltext).
  222. Partial approximation of the master equation by the Fokker-Planck equation. Paul Sjöberg. I Applied Parallel Computing: State of the Art in Scientific Computing, volym 4699 av Lecture Notes in Computer Science, pp 637-646, Springer-Verlag, Berlin, 2007. (DOI).
  223. Representation and Reconstruction of Fuzzy Disks by Moments. Natasa Sladoje och Joakim Lindblad. I Fuzzy sets and systems (Print), volym 158, nummer 5, pp 517-534, 2007. (DOI).
  224. Interaction in medical image analysis and visualization. Örjan Smedby, Ewert Bengtsson och Anders Persson (red). MICCAI, Brisbane, Australia, 2007.
  225. Robust NQR Signal Detection. Samuel Dilshan Somasundaram, Andreas Jakobsson och Erik Gudmundson. I Proceedings of the 2007 IEEE International Conference on Acoustics, Speech, and Signal Processing: April 15-20, 2007, Honolulu, Hawaii, USA, 2007.
  226. Adaptive beamforming for quadrupole resonance. Peter Stoica, Hong Xiong, Luzhou Xu och Jian Li. I Digital signal processing (Print), volym 17, nummer 3, pp 634-651, 2007. (DOI).
  227. On incorporating a priori knowledge in space-time adaptive processing.. Peter Stoica, Jian Li, Xumin Zhu och J. Guerci. I ASAP07: The 5th Adaptive Sensor Array Processing Workshop, 2007.
  228. On probing signal design for MIMO radar. Peter Stoica, Jian Li och Yao Xie. I IEEE Transactions on Signal Processing, volym 55, nummer 8, pp 4151-4161, 2007. (DOI).
  229. On sequences with good correlation properties: A new perspective. Peter Stoica, Jian Li och Ming Xue. I Proceedings of the 2007 IEEE Information Theory Workshop on Information Theory for Wireless Networks, pp 52-56, 2007.
  230. Optimal correction of an indefinite estimated MA spectral density matrix. Peter Stoica, Luzhou Xu, Jian Li och Yao Xie. I Statistics and Probability Letters, volym 77, nummer 10, pp 973-980, 2007. (DOI).
  231. Total-Variance Reduction via Thresholding: Application to cepstral analysis. Peter Stoica och Niclas Sandgren. I IEEE Transactions on Signal Processing, volym 55, nummer 1, pp 66-72, 2007. (DOI).
  232. Waveform synthesis for diversity-based beampattern design.. Peter Stoica, Jian Li, Xumin Zhu och Bin Guo. I The IEEE Workshop on Statistical Signal Processing, 2007.
  233. Distances based on neighbourhood sequences in non-standard three-dimensional grids. Robin Strand och Benedek Nagy. I Discrete Applied Mathematics, volym 155, nummer 4, pp 548-557, 2007. (DOI, Extern länk).
  234. Minimal Cost-Path for Path-Based Distances. Robin Strand, Filip Malmberg och Stina Svensson. I Proceedings of 5th International Symposium on Image and Signal Processing and Analysis (ISPA 2007), pp 379-384, 2007. (DOI, Extern länk).
  235. Shape Representation wtih Maximal Path-Points for Path-Based Distances. Robin Strand. I Image and Signal Processing and Analysis, 2007. ISPA 2007. 5th International Symposium on, pp 397-402, 2007. (DOI, Extern länk).
  236. Topology Preserving Marching Cubes-like Algorithms on the Face-Centered Cubic Grid. Robin Strand och Peer Stelldinger. I 14th International Conference on Image Analysis and Processing (ICIAP 2007), pp 781-788, 2007. (DOI, Extern länk).
  237. Weighted Distances Based on Neighbourhood Sequences in Non-Standard Three-Dimensional Grids. Robin Strand. I Image Analysis, Proceedings, volym 4522 av Lecture Notes in Computer Science, pp 452-461, 2007. (DOI).
  238. Weighted distances based on neighbourhood sequences. Robin Strand. I Pattern Recognition Letters, volym 28, nummer 15, pp 2029-2036, 2007. (DOI).
  239. A decomposition scheme for 3D fuzzy objects based on fuzzy distance information. Stina Svensson. I Pattern Recognition Letters, volym 28, nummer 2, pp 224-232, 2007. (DOI).
  240. Centres of maximal balls extracted from a fuzzy distance transform. Stina Svensson. I Procedings of 8th International Symposium on Mathematical Morphology (ISMM 2007), 2007. (Extern länk).
  241. A stable high-order finite difference scheme for the compressible Navier-Stokes equations: far-field boundary conditions. Magnus Svärd, Mark H. Carpenter och Jan Nordström. I Journal of Computational Physics, volym 225, pp 1020-1038, 2007. (DOI).
  242. A Frisch Scheme for Correlated Output Noise Errors-in-Variables Identification. Torsten Söderström. I European Control Conference, ECC'07, 2007.
  243. Accuracy Analysis of the Frisch Scheme for Identifying Errors-in-Variables Systems. Torsten Söderström. I IEEE Transactions on Automatic Control, volym 52, nummer 6, pp 985-997, 2007. (DOI).
  244. Errors-in-variables methods in system identification. Torsten Söderström. I Automatica, volym 43, nummer 6, pp 939-958, 2007. (DOI).
  245. Identification of the main arterial branches by whole-body contrast-enhanced MRA in elderly subjects using limited user interaction and fast marching. Xavier Tizon, Qingfen Lin, Tomas Hansen, Gunilla Borgefors, Lars Johansson, Håkan Ahlström och Hans Frimmel. I Journal of Magnetic Resonance Imaging, volym 25, pp 806-814, 2007. (DOI).
  246. Accuracy evaluation of the unstructured node-centered finite volume method in aerodynamic computations. Lars Tysell och Jan Nordström. I Proc. 10th ISGG Conference on Numerical Grid Generation, pp 146-158, Curran Associates, Red Hook, NY, 2007.
  247. Haptic interaction with deformable models for 3D liver segmentation. Erik Vidholm och Ingela Nyström. I <em>Proceedings of MICCAI Workshop</em>: <em> Interaction in Medical Image Analysis and Visualization 2007</em>, pp 41-48, 2007.
  248. Hardware accelerated visualization of parametrically mapped dynamic breast MRI data. Erik Vidholm, Andrew Mehnert, Ewert Bengtsson, Michael Wildermoth, Kerry McMahon, Steven Wilson och Stuart Crozier. I Proceedings of MICCAI workshop: Interaction in Medical Image Analysis and Visualization, pp 33-40, 2007.
  249. High contrast microwave tomography using topology optimization techniques. Eddie Wadbro och Martin Berggren. I Proc. 8th International Conference on Mathematical and Numerical Aspects of Waves: WAVES 2007, pp 448-450, Department of Mathematics, University of Reading, Reading, UK, 2007.
  250. Shape and topology optimization of an acoustic horn-lens combination. Eddie Wadbro, Rajitha Udawalpola och Martin Berggren. I Proc. 8th International Conference on Mathematical and Numerical Aspects of Waves: WAVES 2007, pp 451-453, Department of Mathematics, University of Reading, Reading, UK, 2007.
  251. Computer system employing bundled prefetching. Dan Wallin och Erik Hagersten. US, 2007.
  252. Multiprocessing computer system employing capacity prefetching. Dan Wallin och Erik Hagersten. US, 2007.
  253. Two-dimensional nonparametric spectral analysis in missing data case. Yanwei Wang, Peter Stoica och Jian Li. I IEEE Transactions on Aerospace and Electronic Systems, volym 43, nummer 4, pp 1604-1616, 2007. (DOI).
  254. Design and Analysis of a Nonlinear Observer for a Hydraulic Servo System. Maria Werlefors och Alexander Medvedev. I Proceedings of 7:th IFAC Symposium on Nonlinear Control Systems, 2007.
  255. KRONECKER STRUCTURED COVARIANCE MATRIX ESTIMATION. Karl Werner, Magnus Jansson och Petre Stoica. I International Conference on Acoustics, Speech, and Signal Processing: April 15-20, 2007, Honolulu, Hawaii, USA, 2007.
  256. Computer Science students' experiences of decision making in project groups. Mattias Wiggberg. I Proc. 7th Baltic Sea Conference on Computing Education Research: Koli Calling, pp 137-148, 2007. (Extern länk).
  257. Adaptive enhanced cell-ID fingerprinting localization by clustering of precise position measurements. Torbjörn Wigren. I IEEE Transactions on Vehicular Technology, volym 56, nummer 5, pp 3199-3209, 2007. (DOI).
  258. Criteria and time horizon in feedforward MPC for non-linear systems with time delays. Torbjörn Wigren och Linda Brus. I , volym 40:12 av IFAC-PapersOnLine, pp 782-787, 2007. (DOI).
  259. Estimation of uplink WCDMA load in a single RBS. Torbjörn Wigren och Per Hellqvist. I Proc. 66th Vehicular Technology Conference, pp 1499-1503, IEEE, Piscataway, NJ, 2007. (DOI).
  260. MATLAB software for recursive identification and scaling using a structured nonlinear black-box model: Revision 3. Torbjörn Wigren och Linda Brus. Technical report / Department of Information Technology, Uppsala University nr 2007-013, Uppsala universitet, 2007. (Report in fulltext, fulltext).
  261. MATLAB software for recursive identification of Wiener systems: Revision 2. Torbjörn Wigren. Technical report / Department of Information Technology, Uppsala University nr 2007-010, Uppsala University, Uppsala, 2007. (Extern länk, fulltext).
  262. MATLAB software for recursive identification of systems with output quantization: Revision 1. Torbjörn Wigren. Technical report / Department of Information Technology, Uppsala University nr 2007-015, 2007. (Extern länk, fulltext).
  263. Reduction of amplitude dependent gain variations in control of non-linear Wiener type systems. Torbjörn Wigren och Linda Brus. I , volym 40:12 av IFAC-PapersOnLine, pp 336-341, 2007. (DOI).
  264. Discovering Equilibrium Strategies for a Combinatorial First Price Auction. Jim Wilenius och Arne Andersson. I 9th IEEE International Conference on E-Commerce Technology/4th IEEE International Conference on Enterprise Computing, E-Commerce and E-Services, pp 13-20, 2007. (DOI).
  265. Collaborative Pixel-Accurate Interaction with PixelActiveSurface. Lars Winkler Pettersson och Stefan Seipel. 2007 International ACM Conference on Supporting Group Work (Extended Abstract), 2007.
  266. Parameter estimation and number detection of MIMO radar targets.. Luzhou Xu, Peter Stoica och Jian Li. I 41st ASILOMAR Conference on Signals, Systems and Computers., 2007.
  267. Waveform Optimization for MIMO Radar: A Cramer-Rao Bound Based Study. Luzhou Xu, Jian Li, Peter Stoica, Keith W. Forsythe och Daniel W. Bliss. I International Conference on Acoustics, Speech, and Signal Processing: April 15-20, 2007, Honolulu, Hawaii, USA, 2007.
  268. How does internationalisation affect learning and teaching of Computer Science: A study at Tongji University in China. Doris Dongsheng Yang och Anders Berglund. I Proc. 7th Baltic Sea Conference on Computing Education Research: Koli Calling, pp 221-224, 2007. (Extern länk).
  269. A case for low-complexity MP architectures. Håkan Zeffer och Erik Hagersten. I Proc. Conference on Supercomputing: SC 2007, pp 559-570, ACM Press, New York, 2007. (DOI).
  270. Using stream queries to measure communication performance of a parallel computing environment. Erik Zeitler och Tore Risch. I Proc. 1st International Workshop on Distributed Event Processing, Systems and Applications (DEPSA’07), 2007. (Extern länk).
  271. MIMO Transmit Beamforming Under Uniform Elemental Power Constraint. Xiayu Zheng, Yao Xie, Jian Li och Peter Stoica. I IEEE Transactions on Signal Processing, volym 55, nummer 11, pp 5395-5406, 2007. (DOI).
  272. MIMO transmit beamforming under uniform elemental power constraint.. Xiayu Zheng, Yao Xie, Jian Li och Peter Stoica. I SPAWC 2007: The 8th IEEE Workshop on Signal Processing Advances in Wireless Communications, 2007.
  273. Knowledge-aided space-time adaptive processing. Xumin Zhu, Jian Li, Peter Stoica och J. Guerci. I 41st ASILOMAR Conference on Signals, Systems and Computers., 2007.
  274. Generic incremental algorithms for local search. Magnus Ågren, Pierre Flener och Justin Pearson. I Constraints, volym 12, nummer 3, pp 293-324, 2007. (DOI).
  275. On Constraint-Oriented Neighbours for Local Search. Magnus Ågren, Pierre Flener och Justin Pearson. Technical reports from the Department of Information Technology nr 2007-009, 2007. (Extern länk).
  276. Revisiting constraint-directed search. Magnus Ågren, Pierre Flener och Justin Pearson. I Proceedings of LSCS'07, the 4th International Workshop on Local Search Techniques in Constraint Satisfaction, 2007. (Extern länk).
  277. Set Constraints for Local Search. Magnus Ågren. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 71, Acta Universitatis Upsaliensis, Uppsala, 2007. (fulltext).
  278. Sparse generalized Fourier transforms. Krister Åhlander och Daniel Henriksson. I BIT Numerical Mathematics, volym 47, pp 213-237, 2007. (DOI).
  279. Application of underwater hyperspectral data for color correction purposes. Julia Åhlén, David Sundgren och Ewert Bengtsson. I Pattern Recognition and Image Analysis, volym 17, nummer 1, pp 170-173, 2007. (DOI).
  280. The SAVE Approach to Component-Based Development of Vehicular Systems. Mikael Åkerholm, Jan Carlson, Johan Fredriksson, Hans Hansson, John Håkansson, Anders Möller, Paul Pettersson och Massimo Tivoli. I Journal of Systems and Software, volym 80, nummer 5, pp 655-667, 2007. (DOI).

Uppdaterad  2009-12-17 17:09:33 av Björn Victor.