MPI-INF D1 Publications: Journal Article: Certifying algorithms

Electronic Journal Article
@Article
Zeitschriftenartikel in einem e-Journal

Show entries of:

this year (2023) | last year (2022) | two years ago (2021) | Notes URL

Action:

Options:

Library locked

Goto entry point

Author, Editor

Author(s):

McConnella, Ross M.
Mehlhorn, Kurt
Näher, Stefan
Schweitzer, Pascal

dblp
dblp
dblp
dblp

Not MPG Author(s):

McConnella, R. M.
Näher, Stefan
Schweitzer, Pascal

BibTeX cite key*:

McConnella2010

Title

Title*:

Certifying algorithms

Journal

Journal Title*:	Computer Science Review	Journal's URL:
Download URL for the article:	http://dx.doi.org/10.1016/j.cosrev.2010.09.009	Language:	English

Publisher

Publisher's Name:	Elsevier	Publisher's URL:
Publisher's Address:	Amsterdam	ISSN:	1574-0137

Vol, No, Year, pp.

Volume:	Article in Press	Number:
Month:	October	Year*:	2010
Pages:	1-43	Number of VG Pages:
Sequence Number:		DOI:	10.1016/j.cosrev.2010.09.009

Abstract, Links, (C)

Note:
(LaTeX) Abstract:
URL for the Abstract:
Categories / Keywords:
HyperLinks / References / URLs:
Copyright Message:
Personal Comments:
Download Access Level:	Public

Correlation

MPG Unit:	Max-Planck-Institut für Informatik

MPG Subunit:	Algorithms and Complexity Group
Audience:	Expert
Appearance:	MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort

BibTeX Entry:

@MISC{McConnella2010,
AUTHOR = {McConnella, Ross M. and Mehlhorn, Kurt and N{\"a}her, Stefan and Schweitzer, Pascal},
TITLE = {Certifying algorithms},
JOURNAL = {Computer Science Review},
PUBLISHER = {Elsevier},
YEAR = {2010},
VOLUME = {Article in Press},
PAGES = {1--43},
ADDRESS = {Amsterdam},
MONTH = {October},
ISBN = {1574-0137},
DOI = {10.1016/j.cosrev.2010.09.009},
}

Entry last modified by Anja Becker, 03/01/2011

Edit History (please click the blue arrow to see the details)

	Editor(s) [Library]	Created 03/01/2011 11:51:29
Revision 1. 0.	Editor Anja Becker Anja Becker	Edit Date 01.03.2011 13:33:23 01.03.2011 11:55:35

Attachment Section