751 – 1000 of 1699
- show: 250
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2012
-
Mark
PQL: A Purely-Declarative Java Extension for Parallel Programming
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Java wildcards meet definition-site variance
2012) 26th European Conference on Object-Oriented Programming, ECOOP 2012 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7313 LNCS. p.509-534(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Archeovirtual 2011 : An evaluation approach to virtual museums
2012) 2012 18th International Conference on Virtual Systems and Multimedia: Virtual Systems in the Information Society, VSMM 2012 p.25-32(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The ARC Information System: overview of a GLUE2 compliant production system
2012) EGI Community Forum 2012 / EMI Second Technical Conference In Proceedings of Science 162(074). p.1-19(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Strukturerad gruppläsning inför omtentamen
2012) LTHs 7:e Pedagogiska Inspirationskonferens, 2012 In Pedagogiska inspirationskonferensen LTH 7.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Cryptographic protection of usage restrictions in electronic devices
2012) 8225110(
- Patent › Patent
-
Mark
Relating proof complexity measures and practical hardness of SAT
2012) 18th International Conference on Principles and Practice of Constraint Programming, CP 2012 In Lecture Notes in Computer Science 7514. p.316-331(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Space complexity in polynomial calculus
2012) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing In Proceedings of the Annual IEEE Conference on Computational Complexity p.334-344(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
On the virtue of succinct proofs : Amplifying communication complexity hardness to time-space trade-offs in proof complexity
2012) 44th Annual ACM Symposium on Theory of Computing, STOC '12 In Proceedings of the Annual ACM Symposium on Theory of Computing p.233-247(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
On the relative strength of pebbling and resolution
(
- Contribution to journal › Article
-
Mark
Using predicted shape string to enhance the accuracy of γ-turn prediction
(
- Contribution to journal › Article
- 2011
-
Mark
A machine model for dataflow actors and its applications
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A systematic review of research on open source software in commercial software product development
(
- Contribution to journal › Article
-
Mark
A comparison of metacompilation approaches to implementing Modelica
2011)(
- Book/Report › Report
-
Mark
Requirements Scoping Visualization for Project Management
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
High-Quality Spatio-Temporal Rendering using Semi-Analytical Visibility
2011) 41th International Conference on Computer Graphics and Interactive Techniques, 2014 30(4). p.1-54(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Named Entity Recognition for Short Text Messages
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
IT Dependability Management in Governmental Organisations
2011)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Optimization of portable parallel signal processing applications by design space exploration of dataflow programs
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Testing software product lines
(
- Contribution to journal › Debate/Note/Editorial
-
Mark
Decoupled Sampling for Graphics Pipelines
(
- Contribution to journal › Article
-
Mark
Extending Languages by Leveraging Compilers: from Modelica to Optimica
(
- Contribution to journal › Article
-
Mark
Knowledge and Skill Representations for Robotized Production
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Large-scale Feature Evolution: Problems and Solutions from the Mobile Domain
2011) 19th IEEE International Requirements Engineering Conference (RE)/16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS)/5th International IStar Workshop (IStar) p.323-323(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Approximation algorithms for buy-at-bulk geometric network design
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Exploiting statically schedulable regions in dataflow programs
(
- Contribution to journal › Article
-
Mark
Backface culling for motion blur and depth of field
(
- Contribution to journal › Article
-
Mark
Reconfigurable cell array for concurrent support of multiple radio standards by flexible mapping
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Survey reproduction of defect reporting in industrial software development
2011) Empirical Software Engineering and Measurement (ESEM), 2011 International Symposium on p.197-206(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Usage of Open Source in Commercial Software Product Development - Findings from a Focus Group Meeting
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Scaling up requirements engineering - exploring the challenges of increasing size and complexity in market-driven software development
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Fast Output-Sensitive Algorithm for Boolean Matrix Multiplication
(
- Contribution to journal › Article
-
Mark
In vivo evaluation of large-scale IR-based traceability recovery
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Guest Editorial: Special Issue on Reconfigurable Video Coding
(
- Contribution to journal › Letter
-
Mark
Efficient multi-view ray tracing using edge detection and shader reuse
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A car-seat example of automated anthropomorphic testing of fabrics using force-controlled robot motions
(
- Contribution to journal › Article
-
Mark
Synthesizing hardware from dataflow programs
(
- Contribution to journal › Article
-
Mark
Challenges in supporting the creation of data minable regulatory codes: a literature review
2011) 21st Annual International Symposium of the International Council on Systems Engineering 2011 p.1097-1114(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Declarative-knowledge-based reconfiguration of automation systems using a blackboard architecture
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
On the Integration of Skilled Robot Motions for Productivity in Manufacturing
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Building semantic editors using JastAdd: tool demonstration
2011) LDTA'11: 11th Workshop on Language Description, Tools and Applications(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Overview of the MPEG Reconfigurable Video Coding Framework
(
- Contribution to journal › Article
-
Mark
Automated selective caching for reference attribute grammars
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A factorial experimental evaluation of automated test input generation – Java platform testing in embedded devices
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Writing efficient C code : a thorough introduction for Java programmers : covers C99, the Standard C library and the new CIX draft
2011)(
- Book/Report › Book
-
Mark
Hierarchical stochastic motion blur rasterization
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Software risk analysis in medical device development
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Case studies synthesis: brief experience and challenges for the future
2011) International Symposium on Empirical Software Engineering and Measurement (ESEM)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Proceedings of International Conference on Software and Systems Process, ICSSP 2011
(2011)
- Book/Report › Conference proceeding (editor)
-
Mark
Distributed constraint programming with agents
2011) International Conference on Adaptive and Intelligent Systems (ICAIS 2011) In Lecture notes in computer science 6943. p.320-331(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Case Study on Benefits and Side-Effects of Agile Practices in Large-Scale Requirements Engineering
2011) First workshop on Agile Requirements Engineering(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A self-assessment framework for finding improvement objectives with ISO/IEC 29119 test standard
2011) European System & Software Process Improvement and Innovation EuroSPI2(
- Contribution to conference › Paper, not in proceeding
-
Mark
A prototype tool for QUPER to support release planning of quality requirements
2011) Fifth International Workshop on Software Product Management(
- Contribution to conference › Paper, not in proceeding
-
Mark
Injecting proxy components using blueprints
2011) US7917913(
- Patent › Patent
-
Mark
Foreword
2011)(
- Other contribution › Miscellaneous
-
Mark
An empirical study on the importance of quality requirements in industry
2011) 23rd International Conference Software Engineering and Knowledge Engineering (SEKE 2011) p.438-443(
- Contribution to conference › Paper, not in proceeding
-
Mark
Software Configuration Management Issues with Industrial Opensourcing
2011) The 5th International Workshop on Tool Support Development and Management in Distributed Software Projects (REMIDI'11)(
- Contribution to conference › Paper, not in proceeding
-
Mark
A comparative analysis of three replicated experiments comparing inspection and unit testing
2011) 2nd International Workshop on Replications in Empirical Software Engineering (RESER)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Prioritization of quality requirements: state of practice in eleven companies
(
- Contribution to conference › Paper, not in proceeding
-
Mark
Energy/reliability trade-offs in fault-tolerant event-triggered distributed embedded systems
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
More than requirements: Applying requirements engineering techniques to the challenge of setting corporate intellectual policy, an experience report
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Development and evaluation of a lightweight root cause analysis method (ARCA method) - field studies at four software companies
(
- Contribution to journal › Article
-
Mark
Software product line testing - a systematic mapping study
(
- Contribution to journal › Article
-
Mark
Towards a High Quality Real-Time Graphics Pipeline
2011)(
- Thesis › Doctoral thesis (compilation)
-
Mark
What are problem causes of software projects? – Data of root cause analysis at four software companies
2011) Empirical Software Engineering and Measurement (ESEM), 2011 International Symposium on p.388-391(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Covering and packing in linear space
(
- Contribution to journal › Article
-
Mark
Software deployment activities and challenges – an industrial case study of four software product companies
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Method of estimating resource requirements for a circuit design
2011) U.S. Patent 7,979,835(
- Patent › Patent
-
Mark
Support for User Control in Palcom
2011) Pervasive Intelligibility - Workshop on Intelligibility and Control in Pervasive Computing(
- Contribution to conference › Paper, not in proceeding
-
Mark
A literature review of agile practices and their effects in scientific software development
2011) 4th international workshop on Software engineering for computational science and engineering (SECSE '11) p.1-9(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Improving regression testing transparency and efficiency with history-based prioritization – an industrial case study
2011) IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST), 2011 p.367-376(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Depth buffer compression for stochastic motion blur rasterization
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Parallelism in Constraint Programming
2011)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Do better IR tools improve the accuracy of engineers’ traceability recovery?
2011) MALETS 2011: International Workshop on Machine Learning Technologies in Software Engineering p.23-30(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
IR-based traceability recovery as a plugin - an industrial case study
(
- Contribution to conference › Paper, not in proceeding
-
Mark
Exploring Lexicalized Features for Coreference Resolution
2011) The 15th Conference on Computational Natural Language Learning (CoNLL-2011): Shared Task p.45-50(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Generating factorization permutations of natural numbers and performing circuit design exploration
2011) U.S. Patent 8,042,084(
- Patent › Patent
-
Mark
Beyond von Neumann: weakly programmable processor arrays and their programming
2011) First International Software Technology Exchange Workshop(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
An introductory tutorial on JastAdd attribute grammars
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Requirements are Slipping Through the Gaps - A Case Study on Causes & Effects of Communication Gaps in Large-Scale Software Development
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Metacompiling OWL Ontologies
2011) SLE'11: 4th International Conference on Software Language Engineering In Lecture Notes in Computer Science 6940. p.354-366(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Supporting Release Planning of Quality Requirements: The Quality Performance Model
2011)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Automated method of architecture mapping selection from constrained high level language description via element characterization
2011) U.S. Patent 8,001,510(
- Patent › Patent
-
Mark
Intersection of Longest Paths in a Graph
2011) Sixth European Conference on Combinatorics, Graph Theory and Applications, EuroComb 2011 In Electronic Notes in Discrete Mathematics 38. p.743-748(
- Contribution to journal › Article
-
Mark
Exploring software product management decision problems with constraint solving – opportunities for prioritization and release planning
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
On minimal unsatisfiability and time-space trade-offs for k-DNF resolution
2011) 38th International Colloquium on Automata, Languages and Programming, ICALP 2011 In Lecture Notes in Computer Science 6755(PART 1). p.642-653(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2010
-
Mark
Ecther Als Die Wirklichkeit?
(
- Contribution to specialist publication or newspaper › Specialist publication article
-
Mark
Understanding and supporting large-scale requirements management
2010)(
- Thesis › Licentiate thesis
-
Mark
Implementation of a Modelica compiler using JastAdd attribute grammars
(
- Contribution to journal › Article
-
Mark
Support for different roles in software engineering master's thesis projects
(
- Contribution to journal › Article
-
Mark
Efficient Bounding of Displaced Bézier Patches
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Error-bounded lossy compression of floating-point color buffers using quadtree decomposition
(
- Contribution to journal › Article
-
Mark
A systematic review on regression test selection techniques
(
- Contribution to journal › Scientific review
-
Mark
Determinant sums for undirected Hamiltonicity
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Combined scheduling and instruction selection for processors with reconfigurable cell fabric
2010) 21st IEEE International Conference on Application-specific Systems, Architectures and Processors p.167-174(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
High performance graphics
(2010) In ACM SIGGRAPH/Eurographics Symposium Proceedings
- Book/Report › Conference proceeding (editor)
-
Mark
A Maturity Model for IT Dependability in Emergency Management
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Eurographics 2010 Proceedings
- Book/Report › Conference proceeding (editor)
-
Mark
Software process simulation modeling: an extended systematic review
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Applications of a generic work-test-rework component for software process simulation
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Application of re-estimation in re-planning of software product releases
2010) ICSP 2010 - International Conference on Software Process, July 08-09 In Lecture Notes in Computer Science 6195. p.260-272(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Automatic learning of discourse relations in Swedish using cue phrases
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Detecting region transitions for human augmented mapping
(
- Contribution to journal › Article
-
Mark
PTAS for k-tour cover poblem on the plane for moderately large values of k
(
- Contribution to journal › Article
-
Mark
A qualitative survey of regression testing practices
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
An Optimizing Compiler for Automatic Shader Bounding
(
- Contribution to journal › Article
-
Mark
SimSWE – a library of reusable components for software process simulation
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Challenges in aligning requirements engineering and verification in a large-scale industrial context
2010) 16th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2010) 6182. p.128-142(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Invitation to algorithmic uses of inclusion–exclusion
2010) 38th International Colloquium on Automata, Languages and Programming (ICALP 2011) 6756. p.42-59(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Exponential time complexity of the permanent and the Tutte polynomial
2010) 37th International Colloquium on Automata, Languages and Programming (ICALP 2010) In Lecture Notes in Computer Science 6198. p.426-437(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Decision support for product release planning based on robustness analysis
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Texture compression of light maps using smooth profile functions
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Can we evaluate the quality of software engineering experiments?
2010) ESEM '10: Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, September 16-17 p.1-8(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Software engineering group work - personality, patterns and performance
2010) SIGMIS CPR'10 - Proceedings of the 2010 ACM SIGMIS Computer Personnel Research Conference, Aug 27 p.43-47(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Analytical Motion Blur Rasterization with Compression
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A case study on the transformation from proprietary to open source software
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Investigating hardware micro-instruction folding in a Java embedded processor
2010) p.102-108(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Regression test selection and product line system testing
2010) Third International Conference on Software Testing, Verification and Validation, 2010 p.512-515(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Approximability of edge matching puzzles
2010) 36th International Conference on Current Trends in Theory and Practice of Computer Science 5901. p.153-164(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
An empirical evaluation of regression testing based on fix-cache recommendations
2010) International Conference on Software Testing Verification and Validation, 2010(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Exact covers via determinants
2010) 27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010 5. p.95-106(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The exponential time complexity of computing the probability that a graph is connected
2010) 5th International Symposium on Parameterized and Exact Computation (IPEC 2010) 6198. p.192-203(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Guiding requirements scoping using ROI: towards agility, openness and waste reduction
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
NoC-based CSP support for a Java chip multiprocessor
2010) NORCHIP Conference, 2010(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Covering and packing in linear space
2010) 37th International Colloquium on Automata, Languages and Programming (ICALP 2010) 6198. p.727-737(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Issues and Challenges with Industrial-Strength Product Composition
2010) The 6th Central and Eastern European Software Engineering Conference,(
- Contribution to conference › Paper, not in proceeding
-
Mark
Flexible application development and high-performance motion control based on external sensing and reconfiguration of ABB industrial robot controllers
(
- Contribution to conference › Paper, not in proceeding
-
Mark
Managing quality requirements: a systematic review
2010) 36th EuroMicro Conference on Software Engineering and Advanced Applications(
- Contribution to conference › Paper, not in proceeding
-
Mark
Combining parallel search and parallel consistency in constraint programming
2010) TRICS workshop at the International Conference on Principles and Practice of Constraint Programming(
- Contribution to conference › Paper, not in proceeding
-
Mark
Precise robot motions using dual motor control
(
- Contribution to conference › Paper, not in proceeding
-
Mark
How formative assessment act as a tool for learning – theoretical aspects and practical implications
2010) ISSoTL/ISL2010(
- Contribution to conference › Abstract
-
Mark
Graph constraints in embedded system design
2010) Workshop on Combinatorial Optimization for Embedded System Design(
- Contribution to conference › Paper, not in proceeding
-
Mark
The race for real-time photorealism
(
- Contribution to specialist publication or newspaper › Specialist publication article
-
Mark
A systematic review of research on open source software in commercial software product development
2010) 14th International Conference on Evaluation and Assessment in Software Engineering (EASE), (2010)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Trimmed moebius inversion and graphs of bounded degree
(
- Contribution to journal › Article
-
Mark
Evaluation of permanents in rings and semirings
(
- Contribution to journal › Article
-
Mark
Exploring regression testing and software product line testing - research and state of practice
2010)(
- Thesis › Licentiate thesis
-
Mark
Studying the impact of uncertainty in operational release planning - An integrated method and its initial evaluation
(
- Contribution to journal › Article
-
Mark
Cost-Efficient Drilling Using Industrial Robots with High-Bandwidth Force Feedback
(
- Contribution to journal › Article
-
Mark
Text mining of personal communication. Understanding the technical and privacy related challenges
2010) ICIN 2010 : 2010 14th International Conference on Intelligence in Next Generation Networks (ICIN): Weaving Applications into the Network Fabric(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Force Feedback for Assembly of Aircraft Structures
2010) SAE 2010 Aerospace Manufacturing and Automated Fastening Conference(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Scheduling, binding and routing system for a run-time reconfigurable operator based multimedia architecture
2010) Conference on Design and Architectures for Signal and Image Processing (DASIP)(
- Contribution to conference › Paper, not in proceeding
-
Mark
A knowledge integration framework for robotics
2010) ISR/Robotik(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Narrow sieves for parameterized paths and packings
(
- Contribution to journal › Article
-
Mark
Contributions to the generation of semantic editors
2010)(
- Thesis › Licentiate thesis
-
Mark
Formativ examination som ett verktyg för lärande
2010) NU2010. Dialog för lärande(
- Contribution to conference › Abstract
-
Mark
Service oriented architecture for automatic planning and programming of industrial robots
2010) FAIM 2010: 20th International Conference on Flexible Automation and Intelligent Manufacturing(
- Contribution to conference › Paper, not in proceeding
-
Mark
Automatic discovery of feature sets for dependency parsing
2010) p.824-832(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Overscoping: Reasons and Consequences – A Case Study on Decision Making in Software Product Management
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A high-performance syntactic and semantic dependency parser
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The Case for Batch Merge of Models – Issues and Challenges
2010) International Workshop on Models and Evolution - ME 2010(
- Contribution to conference › Paper, not in proceeding
-
Mark
What can the GC compute efficiently? A language for heap assertions at GC time
(
- Contribution to journal › Article
-
Mark
Cost and benefit analysis of quality requirements in competitive software product management: a case study on the QUPER model
2010) 4th International Workshop on Software Product Management, IWSPM 2010(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Natural and flexible error recovery for generated parsers
2010) International Conference on Software Language Engineering, 2009 In Lecture Notes in Computer Science 5969. p.204-223(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
On the relative strength of pebbling and resolution
2010) 25th Annual IEEE Conference on Computational Complexity, CCC 2010 In Proceedings of the Annual IEEE Conference on Computational Complexity p.151-162(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2009
-
Mark
Practical scope recovery using bridge parsing
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Counting paths and packings in halves
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Guidelines for conducting and reporting case study research in software engineering
(
- Contribution to journal › Article
-
Mark
The Art of Gate-Crashing Bringing HRI into users' homes
2009) In Interaction Studies: Social Behaviour and Communication in Biological and Artificial Systems 10(3). p.274-297(
- Contribution to journal › Article
-
Mark
Quality requirements in practice: an interview study in requirements engineering for embedded systems
2009) Working Conference on Requirements Engineering - Foundations for Software Quality, 2009 5512. p.218-232(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Architecting and Coordinating Thousands of Requirements - An Industrial Case Study
2009) Working Conference on Requirements Engineering - Foundations for Software Quality, 2009 5512. p.118-123(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Constraint-driven identification of application specific instructions in the DURASE system
2009) SAMOS IX: International Workshop on Systems, Architectures, Modeling and Simulation 5657. p.194-203(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Requirements for Practical Model Merge - An Industrial Perspective
2009) 12th International Conference on Model Driven Engineering Languages and Systems 5795. p.167-180(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Demand-driven evaluation of collection attributes
(
- Contribution to journal › Article
-
Mark
Application of artificial neural networks in the diagnosis of urological dysfunctions
(
- Contribution to journal › Scientific review
-
Mark
A fast output-sensitive algorithm for Boolean matrix multiplication
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Software development and risk management in the safety critical medical device domain
2009)(
- Thesis › Licentiate thesis
-
Mark
Finding a heaviest vertex-weighted triangle is not harder than matrix multiplication
(
- Contribution to journal › Article
-
Mark
Stakeholders’ Perception of Success: an Empirical Investigation
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Faster multi-witnesses for Boolean matrix multiplication
(
- Contribution to journal › Article
-
Mark
A Measurement Framework for Team Level Assessment of Innovation Capability in Early Requirements Engineering
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Set partitioning via inclusion-exclusion
(
- Contribution to journal › Article
-
Mark
Assemblies of Pervasive Services
(
- Thesis › Doctoral thesis (monograph)
-
Mark
Automatic pre-tessellation culling
(
- Contribution to journal › Article
-
Mark
Restricted mesh simplification using edge contractions
(
- Contribution to journal › Article
-
Mark
Automatic design of application-specific reconfigurable processor extensions with UPaK synthesis kernel
(
- Contribution to journal › Article
-
Mark
What happened to our features? visualization and understanding of scope change dynamics in a large-scale industrial setting
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Experiments with service-oriented architectures for industrial robotic cells programming
(
- Contribution to journal › Article
-
Mark
Development of an Experimental Test Bench by Means of Force Control in an Industrial Robot for the Analysis of the Mechanical Response in Car Seats
(
- Contribution to journal › Article
-
Mark
Performance Improvements for the Rasterization Pipeline
2009)(
- Thesis › Doctoral thesis (compilation)
-
Mark
On the complexity of approximating the Hadwiger number
(
- Contribution to journal › Article
-
Mark
The Application of Geographical Information Systems to Multinational Finance Corporations
(
- Contribution to journal › Article
-
Mark
Bounding Volume Hierarchies of Slab Cut Balls
(
- Contribution to journal › Article
-
Mark
Active Logic and Practice
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Providing rapid feedback in generated modular language environments adding error recovery to scannerless generalized-LR parsing
2009) OOPSLA'09: 24th Annual ACM Conference on Object-Oriented Programming, systems, Languages and Applications 44. p.445-464(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Constraint-driven instructions selection and application scheduling in the DURASE system
2009) The 20th IEEE International Conference on Application-specific Systems, Architectures and Processors p.145-152(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Indeterministic Behavior in Computing Systems and its Possible Impact on the Digital Society
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Characterization of the Tau parallel kinematic machine for aerospace application
2009) SAE AeroTech Congress & Exhibition, 2009(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
An industrial case study on large-scale variability management for product configuration in the mobile handset domain
2009) Third International Workshop on Variability Modelling of Software-Intensive Systems 29. p.155-164(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Managing risks on critical IT systems in public service organizations
2009) The 2009 IEEE International Conference on Privacy, Security, risk and Trust(PASSAT-09)/ Workshop on Software Security Process (SSP09) 3. p.470-475(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Quality Requirements: Trade-off Analysis of Benefit and Cost
2009) 12th Australian Workshop on Requirements Engineering(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Risk identification by physicians and developers – differences investigated in a controlled experiment
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Activity post-mortem - an extreme teaching practice
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Reference-based search strategies in systematic reviews
2009) EASE 2009: Evaluation and Assessment in Software Engineering, 2009(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
How do scientists develop and use scientific software?
2009) ICSE Workshop on Software Engineering for Computational Science and Engineering, SECSE 2009 p.1-8(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Ontology for Robotics: a Roadmap
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Architecture-driven Synthesis of Reconfigurable Cells
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Integrating SLAs into IT risk management in public service organizations
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Managing quality requirements in software product development
2009)(
- Thesis › Licentiate thesis
-
Mark
Generic skills in software engineering master thesis projects: towards rubric-based evaluation
2009) 22nd IEEE-CS Conference on Software Engineering Education and Training (CSEE&T'09)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Trustworthy Software Development Processes
- Book/Report › Conference proceeding (editor)
-
Mark
Design space exploration for optimal memory mapping of data and instructions in multimedia applications to scratch-pad memories
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A plan for building renaming support for Modelica
2009) WRT'09: 3rd ACM Workshop on Refactoring Tools(
- Contribution to conference › Paper, not in proceeding
-
Mark
Investigating upstream versus downstream decision-making in software product management
2009) 3rd International Workshop on Software Product Management(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
How constraints programming can help you in the generation of optimized application specific reconfigurable processor extensions
2009) The Intl. Conference on Engineering of Reconfigurable Systems and Algorithms(
- Contribution to conference › Paper, not in proceeding
-
Mark
Multilingual semantic role labeling
2009) p.43-48(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Reconfigurable Parallel Kinematic Manipulator for Flexible Manufacturing
2009) 13th IFAC Symposium on Information Control Problems in Manufacturing In IFAC Proceedings Volumes 42(4). p.145-150(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Early Indicators of Software Quality - how far can we go?
2009) Third International Workshop on Software Quality and Maintainability(
- Contribution to conference › Paper, not in proceeding
-
Mark
Collaborative work with software models - industrial experience and requirements
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Algorithmic Graph Problems - From Computer Networks to Graph Embeddings
2009)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Exact and approximation algorithms for graph problems with some biological applications
2009)(
- Thesis › Doctoral thesis (compilation)
-
Mark
PTAS for k-tour cover poblem on the plane for moderately large values of k
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Text categorization using predicate-argument structures
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Efficient approximation algorithms for shortest cycles in undirected graphs
(
- Contribution to journal › Article
-
Mark
Constraint Programming Methods for Optimization of Single Shortest Path Routing
2009)(
- Thesis › Doctoral thesis (monograph)
-
Mark
A customizable pattern-based software process simulation model: design, calibration and application
(
- Contribution to journal › Article
-
Mark
Desarrollo de un banco de pruebas experimental mediante control de fuerza con ro bot industrial para el análisis de la respuesta mecánica de asientos de coche
(
- Contribution to journal › Article
-
Mark
An exact algorithm for subgraph homeomorphism
(
- Contribution to journal › Article
-
Mark
Task parallelism in constraint programming: parallel consistency
2009) CORS-INFORMS International Meeting(
- Contribution to conference › Abstract
-
Mark
Ad-hoc composition of pervasive services in the PalCom architecture
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Activity Post-Mortem
2009) In Lärande i LTH(
- Contribution to journal › Letter
-
Mark
Parallel consistency in constraint programming
2009) MCC09: Second Swedish Workshop on Multi-Core Computing(
- Contribution to conference › Paper, not in proceeding
-
Mark
Feature transition charts for visualization of cross-project scope evolution in large-scale requirements engineering for product lines
2009) Fourth InternationalWorkshop on Requirements Engineering Visualization (REV09),(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Predictive text entry using syntax and semantics
2009) p.37-48(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Efficient broadcasting in known toplogy radio networks with long-range interference
2009) p.230-239(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Dependability of IT systems in municipal emergency management
2009) 6:th International Conference on Information Systems for Crisis Response and Management(
- Contribution to conference › Paper, not in proceeding
-
Mark
Program metamorphosis
2009) 23rd European Conference on Object-Oriented Programming, ECOOP 2009 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5653 LNCS. p.394-418(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Analysis of imperative XML programs
(
- Contribution to journal › Article
-
Mark
Parallel consistency in constraint programming
2009) Third International Workshop on Scalable Distributed and Multi/Many-core Applications and Systems (SDMAS'09) within PDPTA'09 p.638-644(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A simplified way of proving trade-off results for resolution
(
- Contribution to journal › Article
-
Mark
Narrow proofs may be spacious : Separating space and width in resolution
(
- Contribution to journal › Article
- 2008
-
Mark
Max-stretch reduction for tree spanners
(
- Contribution to journal › Article
-
Mark
A path cover technique for LCAs in dags
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Announcing MICPRO embedded hardware design
(
- Contribution to journal › Debate/Note/Editorial
-
Mark
Practical product importance sampling for direct illumination
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Linear-time 3-approximation algorithm for the r-star covering problem
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Reflections on 10 years of software process simulation modeling: a systematic review
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Reporting leaders and followers among trajectories of moving point objects
(
- Contribution to journal › Article
-
Mark
Efficient Broadcasting in Known Geometric Radio Networks with Non-uniform Ranges
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Practical HDR texture compression
(
- Contribution to journal › Article
-
Mark
Can we beat the complexity of very large–scale requirements engineering?
2008) International Working Conference Requirements Engineering: Foundation for Software Quality, 2008 5025. p.123-128(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Fast equal-area mapping of the (hemi)sphere using SIMD
(
- Contribution to journal › Article
-
Mark
Exact algorithms for exact satisfiability and number of perfect matchings
(
- Contribution to journal › Article
-
Mark
The travelling salesman problem in bounded degree graphs
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Exploiting visibility correlation in direct illumination
(
- Contribution to journal › Article
-
Mark
Simulating worst case scenarios and analyzing their combined effect in operational release planning
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Efficient approximation algorithms for shortest cycles in undirected graphs
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Computers, Nanotechnology and Mind
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Approximate distance oracles for geometric spanners
(
- Contribution to journal › Article
-
Mark
Teaching software development using extreme programming
(
- Contribution to journal › Article