Вы здесь

Nielsen M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Temporal Concurrent Constraint Programming: Applications and Behavior 2002 Nielsen M., Valencia F. D. Lecture Notes in Computer Science 14.03.2002
СТ Properties of Distributed Timed-Arc Petri Nets 2001 Nielsen M., Sassone V., Srba J. Lecture Notes in Computer Science 22.12.2001
СТ A Case Study in Verification Based on Trace Abstractions 1996 Klarlund N., Nielsen M., Sunesen K. Lecture Notes in Computer Science 24.12.1996
СТ Behavioural Equivalence for Infinite Systems - Partially Decidable! 1996 Sunesen K., Nielsen M. Lecture Notes in Computer Science 01.08.1996
СТ Observing Behaviour Categorically 1995 Nielsen M., Cheng A. Lecture Notes in Computer Science 31.01.1996
П The Intrinsic Structure of the Optic Flow Field 1994 Florack L., Nielsen M. INRIA 20.10.1995
СТ Characterizing Behavioural Congruences for Petri Nets 1995 Nielsen M., Priese L., Sassone V. Lecture Notes in Computer Science CONCUR 95: Concurrency Theory 14.10.1995
СТ A Note of Observable Occurrence Nets 1988 Fernandez C., Nielsen M., Thiagarajan P. S. Petri Nets Tutorial 05.10.1995
СТ Bisimulation for Models in Concurrency 1994 Nielsen M., Clausen C. Lecture Notes in Computer Science 26.08.1994
СТ Relationships Between Models of Concurrency 1994 Nielsen M., Sassone V., Winskel G. Lecture Notes in Computer Science 05.08.1994
СТ The Concurrency Column 1994 Nielsen M. EATCS Bull. 27.07.1994
СТ Bisimulation, Games, and Logic 1994 Nielsen M., Clausen C. Lecture Notes in Computer Science 12.07.1994
СТ Decidability Issues for Petri Nets - a servey 1994 Esparza J., Nielsen M. EATCS Bull. 20.04.1994
СТ Deterministic Behavioural Models for Concurrency 1993 Sassone V., Nielsen M., Winskel G. Lecture Notes in Computer Science 21.10.1993
СТ A Classification of Models for Concurrency 1993 Sassone V., Nielsen M., Winskel G. Lecture Notes in Computer Science 19.10.1993
СТ CCS, Locations and Asynchronous Transition Systems 1992 Mukund M., Nielsen M. Lecture Notes in Computer Science 28.12.1992
СТ Elementary Transition Systems and Refinement 1992 Nielsen M., Rozenberg C., Thiagarajan P. S. Acta Informatica 16.12.1992

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Information Processing in Medical Imaging: Proc./27th International Conference, IPMI 2021, Virtual Event, June 2021 2021 Lecture Notes in Computer Science
  1. Feragen A.
  2. Sommer S.
  3. Schnabel J.A.
  4. Nielsen M.
19.08.2021
СБ SOFSEM 2009: Theory and Practice of Computer Science: Proc./35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlyn, Czech Republic, January 2009 2009 Lecture Notes in Computer Science
  1. Nielsen M.
  2. Kucera A.
  3. Miltersen P. B.
  4. Palamidessi C.
15.05.2009
СБ Medical Image Computing and Computer-Assisted Intervention - MICCAI 2006: Part I: Proc./9th International Conference. Copenhagen, Denmark, October 2006 2006 Lecture Notes in Computer Science
  1. Larsen R.
  2. Nielsen M.
  3. Sporring J.
20.10.2006
СБ Medical Image Computing and Computer-Assisted Intervention - MICCAI 2006: Part II: Proc./9th International Conference. Copenhagen, Denmark, October 2006 2006 Lecture Notes in Computer Science
  1. Larsen R.
  2. Nielsen M.
  3. Sporring J.
20.10.2006
СБ Computer Vision - ECCV 2002: Proc./7th European Conf. on Computer Vision, Copenhagen, Denmark, May 2002. Part I 2002 Lecture Notes in Computer Science
  1. Heyden A.
  2. Sparr G.
  3. Nielsen M.
  4. Johansen P.
19.06.2002
СБ Computer Vision - ECCV 2002: Proc./7th European Conf. on Computer Vision, Copenhagen, Denmark, May 2002. Part II 2002 Lecture Notes in Computer Science
  1. Heyden A.
  2. Sparr G.
  3. Nielsen M.
  4. Johansen P.
19.06.2002
СБ Computer Vision - ECCV 2002: Proc./7th European Conf. on Computer Vision, Copenhagen, Denmark, May 2002. Part III 2002 Lecture Notes in Computer Science
  1. Heyden A.
  2. Sparr G.
  3. Nielsen M.
  4. Johansen P.
19.06.2002
СБ Computer Vision - ECCV 2002: Proc./7th European Conf. on Computer Vision, Copenhagen, Denmark, May 2002. Part IV 2002 Lecture Notes in Computer Science
  1. Heyden A.
  2. Sparr G.
  3. Nielsen M.
  4. Johansen P.
19.06.2002
СБ Foundations of Software Science and Computation Structures: Proc./5th Intern. Conf., FOSSACS 2002, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002 2002 Lecture Notes in Computer Science
  1. Nielsen M.
  2. Engberg U.
09.05.2002
СБ CONCUR 2001 - Concurrency Theory: Proc./12th Intern. Conf., Aalborg, Denmark, August 2001 2001 Lecture Notes in Computer Science
  1. Larsen K. G.
  2. Nielsen M.
04.10.2001
СБ Mathematical Foundations of Computer Science 2000: Proc./25th Intern. Symp., Bratislava, Slovakia, August-September 2000 2000 Lecture Notes in Computer Science
  1. Nielsen M.
  2. Rovan B.
16.09.2000
СБ Application and Theory of Petri Nets 2000: Proc./21st Intern. Conf., ICATPN 2000. Aarhus, Denmark, June 2000 2000 Lecture Notes in Computer Science
  1. Nielsen M.
  2. Simpson D.
29.07.2000
СБ Scale-Space Theories in Computer Vision: Proc./Second Intern. Conf., Scale-Space 99. Corfu, Greece, September 1999 1999 Lecture Notes in Computer Science
  1. Nielsen M.
  2. Johansen P.
  3. Olsen O. F.
  4. Weickert J.
14.10.1999
СБ Automata, Languages and Programming: Proc./ 26th International Colloquium, ICALP 99, Prague, Czech Republic, July 1999 1999 Lecture Notes in Computer Science
  1. Wiedermann J.
  2. Van Emde Boas P.
  3. Nielsen M.
31.08.1999
СБ Computer Science Logic: Proc./11th Intern. Workshop, CSL 97, Annual Conf. of the EACSL. Aarhus, Denmark, August 1997 1998 Lecture Notes in Computer Science
  1. Nielsen M.
  2. Thomas W.
19.06.1998
СБ TAPSOFT 95: Theory and Practice of Software Development: Proc./6th Intern. Joint Conf. CAAP/FASE. Aarhus, Denmark, May 1995 1995 Lecture Notes in Computer Science
  1. Mosses P. D.
  2. Nielsen M.
  3. Schwartzbach M. I.
14.06.1995