( en | de | ru )

 

Disambiguation of "Nilsson, Marcus"

Author of the publication

copydeleteadd this publication to your clipboard
Regular Model Checking.

, , , and . CAV, volume 1855 of Lecture Notes in Computer Science, page 403-418. Springer, (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Andreas Nilsson

BSCCO superconductors processed by the glass ceramic route: critical aspects of process, crystallization and incorporation of oxygen, composition dependence on phase formation. TU Dresden, (2009)

Gunnar Nilsson

Birger Nilsson

Johan Nilsson

Robert Nilsson

 

Other publications of authors with the same name

Regular Model Checking made Simple and Efficient, , , and . (2002)A Study on Users' Preference on Interruption When Using Wearable Computers and Head Mounted Displays., , , , and . PerCom, page 149-158. IEEE Computer Society, (2005)Computational Aspects of Monomial Dynamical Systems.. Comput. J., 53 (4): 365-369 (2010)Experiences of using wearable computers for ambient telepresence and remote interaction., , , and . ETP@MM, page 2-11. ACM, (2004)Handling Global Conditions in Parameterized System Verification., , , and . CAV, volume 1633 of Lecture Notes in Computer Science, page 134-145. Springer, (1999)Transitive Closures of Regular Relations for Verifying Infinite-State Systems., and . TACAS, volume 1785 of Lecture Notes in Computer Science, page 220-234. Springer, (2000)Interaction design in a complex context: medical multi-disciplinary team meetings., , , and . NordiCHI, page 341-350. ACM, (2012)Eventcasting with a Wearable Computer., , , and . ICDCS Workshops, page 408-413. IEEE Computer Society, (2004)Mediated and Mobile Communication for Experts.. KTH Royal Institute of Technology, Sweden, (2014)Methods for Interrupting a Wearable Computer User., , , , and . ISWC, page 150-157. IEEE Computer Society, (2004)