Marcus Nilsson

发表

Användning av multimedia vid kommunikation

Marcus Nilsson, Jörgen Malmqvist, 2001 .

Regular Model Checking Made Simple and Efficient

Parosh Aziz Abdulla, Marcus Nilsson, Bengt Jonsson, 2002, CONCUR.

Using firewalls to realize VPNs in a service provider's IP-network

Marcus Nilsson, Anders Burman, 2003 .

A Study on Users' Preference on Interruption When Using Wearable Computers and Head Mounted Displays

Marcus Nilsson, Peter Parnes, Kåre Synnes, 2005, PerCom.

Handling Global Conditions in Parameterized System Verification

Parosh Aziz Abdulla, Marcus Nilsson, Bengt Jonsson, 1999, CAV.

In the borderland between wearable computers and pervasive computing

Marcus Nilsson, Peter Parnes, Mikael Drugge, 2003 .

Experiences from mobile e-meetings with the borderland wearable computer

Marcus Nilsson, Mikael Drugge, Johan Kristiansson, 2003 .

Transitive Closures of Regular Relations for Verifying Infinite-State Systems

Marcus Nilsson, Bengt Jonsson, B. Jonsson, 2000, TACAS.

Outsourcing ur ett hållbart perspektiv : {Företagens hållbarhetsutmaningar vid outsourcing}

Marcus Nilsson, Patrick Von Schoting, 2013 .

Positioning with Bluetooth, IrDA and RFID

Josef Hallberg, Marcus Nilsson, 2002 .

Sharing experience and knowledge with wearable computers

Marcus Nilsson, Peter Parnes, Mikael Drugge, 2004 .

Regular Model Checking for LTL(MSO)

Parosh Aziz Abdulla, Marcus Nilsson, Bengt Jonsson, 2004, CAV.

A number theoretical observation about the degeneracy of the genetic code

Marcus Nilsson, Andrei Khrennikov, 2006 .

Diffusion of innovations within the online environment – investigating the Internet’s effect on diffusion of innovations.

Marcus Nilsson, M. Nilsson, 2015 .

Methods for interrupting a wearable computer user

Marcus Nilsson, Peter Parnes, Kåre Synnes, 2004, Eighth International Symposium on Wearable Computers.

Regular Model Checking

Marcus Nilsson, Bengt Jonsson, Tayssir Touili, 2000, CAV.

Minimization of Non-deterministic Automata with Large Alphabets

Parosh Aziz Abdulla, Johann Deneux, Marcus Nilsson, 2005, CIAA.

Identifying relevant change sets to facilitate change impact analysis

Marcus Nilsson, Kristyan Dimitrov, 2017 .

Remote supported trauma care: Understanding the situation from afar

Kristina Groth, Marcus Nilsson, Alexander Yngling, 2013, Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems.

Communication, with and through wearable computers

Marcus Nilsson, 2004 .

Interactions with mobile units in collocated MDTMs

Oscar Frykholm, Kristina Groth, Marcus Nilsson, 2011 .

Experiences of using wearable computers for ambient telepresence and remote interaction

Marcus Nilsson, Roland Parviainen, Peter Parnes, 2004, ETP '04.

Device Independent User Interface Description for Wearable Computers

Marcus Nilsson, Peter Parnes, P. Parnes, 2002 .

Regular model checking for LTL(MSO)

Parosh Aziz Abdulla, Marcus Nilsson, Julien d'Orso, 2004, International Journal on Software Tools for Technology Transfer.

Eventcasting with a wearable computer

Marcus Nilsson, Peter Parnes, Kåre Synnes, 2004, 24th International Conference on Distributed Computing Systems Workshops, 2004. Proceedings..

Algorithmic Improvements in Regular Model Checking

Parosh Aziz Abdulla, Marcus Nilsson, Julien d'Orso, 2003, CAV.

Social media use in digital product development : Opportunities and challenges of IT-enabled co-creation in the video game industry

Marcus Nilsson, Patrik Södergren, M. Nilsson, 2014 .

Positioning with Bluetooth

Josef Hallberg, Marcus Nilsson, Kåre Synnes, 2003, 10th International Conference on Telecommunications, 2003. ICT 2003..

Interaction design in a complex context: medical multi-disciplinary team meetings

Oscar Frykholm, Kristina Groth, Marcus Nilsson, 2012, NordiCHI.

Computational Aspects of Monomial Dynamical Systems

Marcus Nilsson, 2010, Comput. J..

Installationsgränssnitt under Linux och Windows XP utifrån ISO 9241

Marcus Nilsson, Christoffer Nilsson, 2004 .

Keeping the remote expert informed : Designing a mediated communication tool for trauma resuscitation

Kristina Groth, Marcus Nilsson, Alexander Yngling, 2014 .

A Survey of Regular Model Checking

Parosh Aziz Abdulla, Marcus Nilsson, Bengt Jonsson, 2004, CONCUR.

Creating an Innovative Culture for User Involvement

Marcus Nilsson, Jon Bosson, M. Nilsson, 2012 .

Mediated and Mobile Communication for Experts

Marcus Nilsson, M. Nilsson, 2014 .

A decision support system for an improved article placement

Marcus Nilsson, Alexander Westring, 2017 .

P-adic Deterministic and Random Dynamics

Marcus Nilsson, Andrei Khrennikov, A. Khrennikov, 2004 .

On the Number of Cycles of p-adic Dynamical Systems

Marcus Nilsson, Andrei Khrennikov, 2001 .

On monomial pseudorandom number generators

Marcus Nilsson, Marcus Nilsson, 2006 .