8 Search Results for "Meinel, Christoph"

Document
DOI: 10.4230/DagSemRep.297
Computer Aided Design and Test - BDDs versus SAT (Dagstuhl Seminar 01051)

Authors: Bernd Becker, Masahiro Fujita, Christoph Meinel, and Fabio Somenzi

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)

Abstract
Cite as

Bernd Becker, Masahiro Fujita, Christoph Meinel, and Fabio Somenzi. Computer Aided Design and Test - BDDs versus SAT (Dagstuhl Seminar 01051). Dagstuhl Seminar Report 297, pp. 1-25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2001)

Copy BibTex To Clipboard

@TechReport{becker_et_al:DagSemRep.297,
  author =	{Becker, Bernd and Fujita, Masahiro and Meinel, Christoph and Somenzi, Fabio},
  title =	{{Computer Aided Design and Test - BDDs versus SAT (Dagstuhl Seminar 01051)}},
  pages =	{1--25},
  ISSN =	{1619-0203},
  year =	{2001},
  type = 	{Dagstuhl Seminar Report},
  number =	{297},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.297},
  URN =		{urn:nbn:de:0030-drops-151811},
  doi =		{10.4230/DagSemRep.297},
}
Document
DOI: 10.4230/DagSemRep.273
Probabilistic Methods in Verification (Dagstuhl Seminar 00181)

Authors: Marta Kwiatkowska, Ulrich Herzog, Christoph Meinel, and Moshe Vardi

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)

Abstract
Cite as

Marta Kwiatkowska, Ulrich Herzog, Christoph Meinel, and Moshe Vardi. Probabilistic Methods in Verification (Dagstuhl Seminar 00181). Dagstuhl Seminar Report 273, pp. 1-30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2000)

Copy BibTex To Clipboard

@TechReport{kwiatkowska_et_al:DagSemRep.273,
  author =	{Kwiatkowska, Marta and Herzog, Ulrich and Meinel, Christoph and Vardi, Moshe},
  title =	{{Probabilistic Methods in Verification (Dagstuhl Seminar 00181)}},
  pages =	{1--30},
  ISSN =	{1619-0203},
  year =	{2000},
  type = 	{Dagstuhl Seminar Report},
  number =	{273},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.273},
  URN =		{urn:nbn:de:0030-drops-151581},
  doi =		{10.4230/DagSemRep.273},
}
Document
DOI: 10.4230/DagSemRep.229
Computer Aided Design and Test Decision Diagrams - Concepts and Applications (Dagstuhl Seminar 99041)

Authors: Bernd Becker, Christoph Meinel, Shin-Ichi Minato, and Fabio Somenzi

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)

Abstract
Cite as

Bernd Becker, Christoph Meinel, Shin-Ichi Minato, and Fabio Somenzi. Computer Aided Design and Test Decision Diagrams - Concepts and Applications (Dagstuhl Seminar 99041). Dagstuhl Seminar Report 229, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1999)

Copy BibTex To Clipboard

@TechReport{becker_et_al:DagSemRep.229,
  author =	{Becker, Bernd and Meinel, Christoph and Minato, Shin-Ichi and Somenzi, Fabio},
  title =	{{Computer Aided Design and Test Decision Diagrams - Concepts and Applications (Dagstuhl Seminar 99041)}},
  pages =	{1--16},
  ISSN =	{1619-0203},
  year =	{1999},
  type = 	{Dagstuhl Seminar Report},
  number =	{229},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.229},
  URN =		{urn:nbn:de:0030-drops-151155},
  doi =		{10.4230/DagSemRep.229},
}
Document
DOI: 10.4230/DagSemRep.166
Computer Aided Design and Test Decision Diagrams - Concepts and Applications (Dagstuhl Seminar 9705)

Authors: Bernd Becker, Randy Bryant, Masahiro Fujita, and Christoph Meinel

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)

Abstract
Cite as

Bernd Becker, Randy Bryant, Masahiro Fujita, and Christoph Meinel. Computer Aided Design and Test Decision Diagrams - Concepts and Applications (Dagstuhl Seminar 9705). Dagstuhl Seminar Report 166, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1997)

Copy BibTex To Clipboard

@TechReport{becker_et_al:DagSemRep.166,
  author =	{Becker, Bernd and Bryant, Randy and Fujita, Masahiro and Meinel, Christoph},
  title =	{{Computer Aided Design and Test Decision Diagrams - Concepts and Applications (Dagstuhl Seminar 9705)}},
  pages =	{1--18},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{166},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.166},
  URN =		{urn:nbn:de:0030-drops-150539},
  doi =		{10.4230/DagSemRep.166},
}
Document
DOI: 10.4230/DagSemRep.105
Computer Aided Design and Test (Dagstuhl Seminar 9507)

Authors: Bernd Becker, Randy Bryant, Oliver Coudert, and Christoph Meinel

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)

Abstract
Cite as

Bernd Becker, Randy Bryant, Oliver Coudert, and Christoph Meinel. Computer Aided Design and Test (Dagstuhl Seminar 9507). Dagstuhl Seminar Report 105, pp. 1-24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1995)

Copy BibTex To Clipboard

@TechReport{becker_et_al:DagSemRep.105,
  author =	{Becker, Bernd and Bryant, Randy and Coudert, Oliver and Meinel, Christoph},
  title =	{{Computer Aided Design and Test (Dagstuhl Seminar 9507)}},
  pages =	{1--24},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{105},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.105},
  URN =		{urn:nbn:de:0030-drops-149934},
  doi =		{10.4230/DagSemRep.105},
}
Document
DOI: 10.4230/DagSemRep.78
Counting Issues: Theory and Application (Dagstuhl Seminar 9349)

Authors: Peter Gritzmann, David Johnson, Victor Klee, and Christoph Meinel

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)

Abstract
Cite as

Peter Gritzmann, David Johnson, Victor Klee, and Christoph Meinel. Counting Issues: Theory and Application (Dagstuhl Seminar 9349). Dagstuhl Seminar Report 78, pp. 1-24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1994)

Copy BibTex To Clipboard

@TechReport{gritzmann_et_al:DagSemRep.78,
  author =	{Gritzmann, Peter and Johnson, David and Klee, Victor and Meinel, Christoph},
  title =	{{Counting Issues: Theory and Application (Dagstuhl Seminar 9349)}},
  pages =	{1--24},
  ISSN =	{1619-0203},
  year =	{1994},
  type = 	{Dagstuhl Seminar Report},
  number =	{78},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.78},
  URN =		{urn:nbn:de:0030-drops-149668},
  doi =		{10.4230/DagSemRep.78},
}
Document
DOI: 10.4230/DagSemRep.56
Computer Aided Design and Test (Dagstuhl Seminar 9307)

Authors: Bernd Becker, Randal Bryant, and Christoph Meinel

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)

Abstract
Cite as

Bernd Becker, Randal Bryant, and Christoph Meinel. Computer Aided Design and Test (Dagstuhl Seminar 9307). Dagstuhl Seminar Report 56, pp. 1-24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1993)

Copy BibTex To Clipboard

@TechReport{becker_et_al:DagSemRep.56,
  author =	{Becker, Bernd and Bryant, Randal and Meinel, Christoph},
  title =	{{Computer Aided Design and Test (Dagstuhl Seminar 9307)}},
  pages =	{1--24},
  ISSN =	{1619-0203},
  year =	{1993},
  type = 	{Dagstuhl Seminar Report},
  number =	{56},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.56},
  URN =		{urn:nbn:de:0030-drops-149448},
  doi =		{10.4230/DagSemRep.56},
}
Document
DOI: 10.4230/DagSemRep.6
Entwerfen, Prüfen, Testen (Dagstuhl Seminar 9108)

Authors: Bernd Becker and Christoph Meinel

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)

Abstract
Cite as

Bernd Becker and Christoph Meinel. Entwerfen, Prüfen, Testen (Dagstuhl Seminar 9108). Dagstuhl Seminar Report 6, pp. 1-34, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1991)

Copy BibTex To Clipboard

@TechReport{becker_et_al:DagSemRep.6,
  author =	{Becker, Bernd and Meinel, Christoph},
  title =	{{Entwerfen, Pr\"{u}fen, Testen (Dagstuhl Seminar 9108)}},
  pages =	{1--34},
  ISSN =	{1619-0203},
  year =	{1991},
  type = 	{Dagstuhl Seminar Report},
  number =	{6},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.6},
  URN =		{urn:nbn:de:0030-drops-148941},
  doi =		{10.4230/DagSemRep.6},
}
  • Refine by Author
  • 8 Meinel, Christoph
  • 6 Becker, Bernd
  • 2 Bryant, Randy
  • 2 Fujita, Masahiro
  • 2 Somenzi, Fabio
  • Show More...

  • Refine by Classification

  • Refine by Keyword

  • Refine by Type
  • 8 document

  • Refine by Publication Year
  • 1 1991
  • 1 1993
  • 1 1994
  • 1 1995
  • 1 1997
  • Show More...

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact