( en | de | ru )

 

Disambiguation of "Klarlund, Nils"

Author of the publication

copydeleteadd this publication to your clipboard
Towards SMIL as a foundation for multimodal, multimedia applications.

, , and . INTERSPEECH, page 1363-1366. ISCA, (2001)

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.

Nepomuk Felix Nilson

Kombinierte Bestimmung des immunreaktiven Trypsins und des Pankreatitis assoziierten Proteins als mögliche neue Methode des Neugeborenenscreenings auf Mukoviszidose: eine Machbarkeitsstudie. Uni Dresden, (2009)

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)

Enno Nilson

Roland Nilsson

John-Olof Nilsson

 

Other publications of authors with the same name

Verification of a Sliding Window Protocol Using IOA and MONA., and . FORTE, volume 183 of IFIP Conference Proceedings, page 19-34. Kluwer, (2000)Progress Measures and Stack Assertions for Fair Termination.. PODC, page 229-240. ACM, (1992)Progress Measures and Finite Arguments for Infinite Computations.. Cornell University, USA, (1990)Graph Types., and . POPL, page 196-205. ACM Press, (1993)Automated Logical Verification Based on Trace Abstractions., , and . PODC, page 101-110. ACM, (1996)Graphs and Decidable Transductions Based on Edge Constraints (Extended Abstract)., and . CAAP, volume 787 of Lecture Notes in Computer Science, page 187-201. Springer, (1994)Progress Measures for Complementation of omega-Automata with Applications to Temporal Logic. FOCS, page 358-367. IEEE Computer Society, (1991)Software Model Checking: Searching for Computations in the Abstract or the Concrete., and . IFM, volume 3771 of Lecture Notes in Computer Science, page 20-32. Springer, (2005)A Case Study in Verification Based on Trace Abstractions., , and . Formal Systems Specification, volume 1169 of Lecture Notes in Computer Science, page 341-373. Springer, (1994)MONA 1.x: New Techniques for WS1S and WS2S., , and . CAV, volume 1427 of Lecture Notes in Computer Science, page 516-520. Springer, (1998)