Publikationer
2007
- Andreas Abel; Thierry Coquand; Peter Dybjer (2007).
Normalization by Evaluation for Martin-Löf Type Theory with Equality Judgements , GUP 41354
- Wolfgang Ahrendt; Bernhard Beckert; Reiner Hähnle; Philipp Rümmer; Peter H. Schmitt (2007).
Verifying Object-Oriented Programs with KeY: A Tutorial , GUP 63857
- Daichi Ando; Palle Dahlstedt; Mats G. Nordahl; Hitoshi Iba (2007).
Interactive GP with Tree Representation of Classical Music Pieces 0302-9743, GUP 59122
- Thomas Arts (2007).
Invited talk: Testing Telecommunication software with QuickCheck , GUP 115896
- Thomas Arts (2007).
Property based testing with Quviq QuickCheck , GUP 115897
- Bernhard Beckert; Martin Giese; Reiner Hähnle; Vladimir Klebanov; Philipp Rümmer; Steffen Schlager; Peter H. Schmitt (2007).
The KeY system 1.0 (Deduction Component) , GUP 49612
- Magnus Bergquist; Wiveka Larsson; Peter Aspelin; Kerstin Hillergård; Bo Jacobsson; Joakim Wallberg; Nina Lundberg; Lars Lindsköld (2007).
The effects of PACS on radiographer’s work practice , GUP 121392
- Staffan Björk; Jussi Holopainen (2007).
Design patterns are Dead - Long Live Design Patterns , GUP 45983
- Staffan Björk; Daniel Goude; Martin Rydmark (2007).
Game Design in VR Systems for Rehabilitation , GUP 45966
- Staffan Björk (2007).
Illuminating Cracks and Drawing Illusionary Lines - Changing Urban Perspectives through Pervasive Games , GUP 45975
- Staffan Björk; Peter Ljungstrand (2007).
Pirates! Using the Physical World as a Game Board , GUP 45978
- Staffan Björk; Peter Ljungstrand; Jussi Holopainen (2007).
Socially Adaptable Games - From Pirates! to Insectopia , GUP 45981
- Staffan Björk (2007).
Spelforskning som en del av Interaktionsdesign , GUP 45973
- Linda Bradley; Berner Lindström; Hans Rystedt; Sylvi Vigmo (2007).
If the language is the tool, what is the outcome? , GUP 119025
- Richard Brickall; Gunilla Darell; Hans Nilsson; Kalevi Pessi (2007).
Aligning IT Strategy with Business Strategy through the Balanced Scorecard in a multinational pharmaceutical company , GUP 151721
- Björn Bringert (2007).
Compiling Grammar-based Speech Application Components , GUP 52147
- Björn Bringert (2007).
Rapid Development of Dialogue Systems by Grammar Compilation , GUP 52144
- Björn Bringert (2007).
Speech Recognition Grammar Compilation in Grammatical Framework , GUP 52142
- Barry Brown; Johan Lundin; Gustav Lymer; Mattias Rost; Lars Erik Holmquist (2007).
Seeing Ethnographically: Teaching ethnography as part of CSCW , GUP 54159
- A. Börjesson; L. Holmberg; Helena Holmström; Agneta Nilsson (2007).
Use Of Appreciative Inquiry In Successful Process Improvement: An Action Research Study , GUP 51565
- Anna Börjesson; Lars Pareto; Ulrika Lundh Snis; Miroslaw Staron (2007).
Continuing Professional Development by Practitioner Integrated LearningContinuing Professional Development by Practitioner Integrated Learning , GUP 46146
- Anna Börjesson; Lena Holmberg; Helena Holmström; Agneta Nilsson (2007).
Use of Appreciative Inquiry in Successful Software Process Improvement , GUP 89733
- Urban Carlén; Ove Jobring (2007).
Perspectives on Sustainability of Activities within Online Learning Communities. 1477-8394, GUP 52232
- Gilbert Cockton; P Korhonen; E Bergman; Staffan Björk; Penny Collings; Dey Anind; S Draper; Jan Gulliksen; T Keinonen; T Lazar; Arnold Lund; R Molich; K Nakakoji; L Nigay; R Oliveira Prates; J Rieman; C Snyder (2007).
CHI 2003 Extended Abstracts CD-ROM , GUP 46814
- Thierry Coquand (2007).
The completeness of typing for context-semantics 0169-2968, GUP 78253
- Thierry Coquand; Arnaud Spiwack (2007).
Towards constructive homological algebra in type theory , GUP 119557
- Lena Dafgård (2007).
Distance Teacher's Professional Development - Why, What, and How? , GUP 111648
- Palle Dahlstedt (2007).
Autonomous Evolution of Complete Piano Pieces and Performances , GUP 59115
- Palle Dahlstedt (2007).
Evolution in Creative Sound Design , GUP 59118
- Palle Dahlstedt; Peter McBurney (2007).
Musical Agents: Toward Computer-Aided Music Composition Using Autonomous Software Agents 0024-094X, GUP 59119
- Niklas Een; Alan Mishchenko; Niklas Sörensson (2007).
Applying Logic Synthesis for Speeding Up SAT 0302-9743, GUP 74333
- Marie Elf; Maria Poutilova; Kerstin Öhrn (2007).
A dynamic conceptual model of care planning 0283-9318, GUP 124606
- Göran Falkman; Marie Gustafsson; Mats Jontell; Olof Torgersson (2007).
Towards Pragmatic Patterns for Clinical Knowledge Management , GUP 62374
- Aiko Fallas Yamashita; Wolmet Barendregt; Morten Fjeld (2007).
Exploring potential usability gaps when switching mobile phones: An empirical study , GUP 41942
- Elisabeth Frisk (2007).
Categorization and overview of IT evaluation perspectives - A literature review , GUP 101749
- Elisabeth Frisk (2007).
IT INVESTMENT EVALUATION AS A SOCIO-POLITICAL PROCESS: DETERMINANTS TO MANAGERIAL ADOPTION AND USE , GUP 81016
- Harald Hammarström (2007).
Handbook of Descriptive Language Knowledge: A Full-Scale Reference Guide for Typologists , GUP 67579
- Harald Hammarström (2007).
Unsupervised Learning of Morphology: Survey, Model, Algorithm and Experiments , GUP 61878
- Christian Hardless; Rikard Lindgren; Ulrike Schultze (2007).
Technology-Mediated Learning Systems for Project Work: A Design Theory , GUP 88567
- Jussi Holopainen; Staffan Björk; Jussi Kuittinen (2007).
Teaching Gameplay Design Patterns , GUP 45985
- Muhammad Humayoun; Harald Hammarström; Aarne Ranta (2007).
Urdu Morphology, Orthography and Lexicon Extraction , GUP 66069
- Reiner Hähnle; Jing Pan; Philipp Rümmer; F. Walter (2007).
Integration of a Security Type System into a Program Logic , GUP 62667
- Reiner Hähnle; Jing Pan; Philipp Rümmer; Dennis Walter (2007).
Integration of a Security Type System into a Program Logic , GUP 40624
- Mafijul Islam; Alexander Busck; Mikael Engbom; Simji Lee; Michel Dubois; Per Stenström (2007).
Limits on Thread-Level Speculative Parallelism in Embedded Applications , GUP 43828
- Ove Jobring; Josefin Bergenholtz (2007).
Organisering för kontinuerligt lärande , GUP 52201
- Ludvig Johansson; Wilhelm Meding; Miroslaw Staron (2007).
An Industrial Case Study on Visualization of Dependencies between Software Measurements 1654-4870, GUP 56355
- Ulrika Josefsson (2007).
Coping Online - Patients' use of the Internet , GUP 49529
- Göran Karlsson; Jonas Ivarsson (2007).
Animated science education: Possible pitfalls of computer supported collaborative learning , GUP 165723
- Göran Karlsson; Jonas Ivarsson (2007).
Animated science education: Possible pitfalls of computer supported collaborative learning. , GUP 43135
- Mathias Klang (2007).
Spyware , GUP 46337
- Mathias Klang (2007).
Technology of Internet , GUP 46345
- Mathias Klang (2007).
The Evolution of Free Software , GUP 46346
- Bernt Kreimeier; Jussi Holopainen; Staffan Björk (2007).
Game Design Patterns , GUP 46819
- Jonas Kuschel; Bo Dahlbom (2007).
Mobile Services for Vehicles , GUP 62353
- Ludwik Kuzniarz; Miroslaw Staron (2007).
TWO TECHNIQUES FOR UML MODEL TRANSFORMATIONS , GUP 43650
- Jonas Landgren; Urban Nuldén (2007).
A Study of Emergency Response Work: Patterns of Mobile Phone Interaction. , GUP 74396
- Jonas Landgren (2007).
Designing Information Technology for Emergency Response , GUP 74410
- Jonas Landgren (2007).
Investigating the tension between information technology use and emergency response Work. , GUP 74406
- Jonas Landgren; Urban Nuldén (2007).
Making Sense of IT -part 1 1745-8633, GUP 103798
- Jonas Landgren; Urban Nuldén (2007).
Making Sense of IT -part 2 1745-8633, GUP 103797
- Petri Lankoski; Staffan Björk (2007).
Gameplay Design Patterns for Believable Non-Player Characters , GUP 45987
- Ola Lindberg; Peter Thoring; Miroslaw Staron (2007).
An Empirical Evaluation of Domain-Specific Language Tools in the Context of Service Oriented Architectures 1654-4870, GUP 56356
- Fredrik Lindblad (2007).
Testing and Proving using Narrowing , GUP 61815
- Oskar Lindwall; Gustav Lymer (2007).
Understanding and formulations of understanding in interaction: Students carrying out structured tasks in mechanics , GUP 70750
- Peter Ljunglöf (2007).
Converting Grammatical Framework to Regulus , GUP 47008
- Johan Lundin; Urban Nuldén (2007).
Talking about tools – Investigating learning at work in police practice , GUP 42848
- Gustav Lymer; Johan Lundin (2007).
Formulating text: The practice of commenting in academic writing instruction , GUP 73664
- Gustav Lymer; Johan Lundin; Barry Brown; Mattias Rost; Lars Erik Holmquist (2007).
Web based platforms in co-located practice: The use of a wiki as support for learning and instruction , GUP 54162
- Yishay Mor; Niall Winter; David Pratt; Staffan Björk (2007).
Tools for Developing Design Patterns for Mathematical Computer Games , GUP 45989
- Agneta Nilsson (2007).
Managing IT implementation processes , GUP 51618
- Per Anders Nilsson; Palle Dahlstedt (2007).
Potentiell musik , GUP 60193
- Carl Magnus Olsson; Ola Henfridsson (2007).
Context-aware application design at SAAB Automobile: An interpretational perspective , GUP 155266
- Johan Peitz; Hanna-mari Saarenpaa; Staffan Björk (2007).
Insectopia - Exploring Pervasive Games through Technology already Pervasively Available , GUP 45997
- Johan Peitz; Staffan Björk (2007).
Insectopia - Using the real world as a game resource , GUP 45991
- Johan Peitz; Staffan Björk (2007).
Understanding Pervasive Games through Gameplay Design Patterns , GUP 45992
- Louise Peterson; Anna Munters (2007).
Man kan beställa ett hembiträde: Om pojkars interaktion i The Sims , GUP 115788
- Agneta Ranerup; Lars Norén (2007).
Can Portals Calculate? A Study of Public e-Services in Educational Markets , GUP 55879
- Agneta Ranerup (2007).
Electronic Government as a combination of human and technological agency:Testing the principle of symmetry , GUP 47958
- Aarne Ranta; Nadine Perera (2007).
Dialogue System Localization with the GF Resource Grammar Library , GUP 66044
- Aarne Ranta (2007).
Features in Abstract and Concrete Syntax , GUP 66061
- Aarne Ranta; Ali El Dada (2007).
Implementing an Open Source Arabic Resource Grammar in GF , GUP 66051
- Aarne Ranta (2007).
Modular Grammar Engineering in GF , GUP 66057
- Aarne Ranta (2007).
The GF Grammar Compiler , GUP 66065
- Philipp Rümmer (2007).
A Sequent Calculus for Integer Arithmetic with Counterexample Generation 1613-0073, GUP 64489
- Philipp Rümmer (2007).
Construction of Proofs , GUP 25612
- Philipp Rümmer; Muhammad Ali Shah (2007).
Proving Programs Incorrect using a Sequent Calculus for Java Dynamic Logic 0302-9743, GUP 63860
- Miroslaw Staron (2007).
2nd Workshop on Quality in Modeling , GUP 62124
- Miroslaw Staron; Ludwik Kuzniarz (2007).
5th Nordinc Workshop on Model Driven Engineering , GUP 46143
- Miroslaw Staron (2007).
Educators' Symposium of 10th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems , GUP 46148
- Miroslaw Staron; Wilhelm Meding (2007).
Predicting Monthly Defect Inflow in Large Software Projects – An Industrial Case Study , GUP 47929
- Miroslaw Staron; Wilhelm Meding (2007).
Short-term defect inflow prediction in large software project - an initial evaluation , GUP 128444
- Miroslaw Staron (2007).
Using Experiments in Software Engineering as an Auxiliary Tool for Teaching ? A Qualitative Evaluation from the Perspective of Students? Learn-ing Process , GUP 43659
- Miroslaw Staron (2007).
Using Students as Subjects in Experiments – A Quantitative Analysis of the Influence of Experimentation on Students’ Learning Process 1093-0175, GUP 43651
- Dick Stenmark (2007).
Analysing terms, pairs, triplets and full queries used in intranet searching , GUP 43033
- Dick Stenmark; Fredric Landqvist (2007).
Challenges and Pitfalls in Portal Information Management , GUP 43031
- Dick Stenmark (2007).
Contextual characteristics of creativity: Effects on IT-supported organisational brainstorming , GUP 65076
- Dick Stenmark; Henrik Strindberg (2007).
One for all, and all for one? Identifying clusters of user behaviour in intranet search engine log files , GUP 65077
- Claes Strannegård; Olof Torgersson; Bengt Persson (2007).
Synaps – a Modular Online Personal Digital Assistant System for Hospitals , GUP 68301
- Alexandra Weilenmann; Oskar Juhlin; Mattias Esbjörnssson (2007).
Drivers Using Mobile Phones in Traffic: An Ethnographic Study of Interactional Adaptatio , GUP 65127
- Alexandra Weilenmann; Ilkka Arminen (2007).
Mobile presence and intimacy , GUP 147658