Simple Search

Cookie	Provider	Description	Expires
COPAUTH	OCLC	The cookie stores a successful login.	10 years after creation
EU_LAW_INFO	OCLC	Is set when the user has acknowledged the usage of cookies in OPEN.	10 years after creation
.ASPXANONYMOUS	DNN	The cookie stores an unique ID für anonymous users.	approximately 70 days
.DOTNETNUKE	DNN	A DNN cookie which is created during login.	Session
ASP.NET_SessionId	ASP.NET	Identifies the session of ASP.NET.	Session
authentication	OCLC	Saves the registration way of the patron. DNN (= DNN Login), COP (= OPEN Login) "" (= Patron is not logged in)	Session
dnn_IsMobile	DNN	The cookie stores whether the user uses a mobile device (e.g. a smartphone).	Session
languague	DNN	The cookie stores the currently set language (e.g. de-DE).	Session
LastPageId	DNN	The cookie stores the ID (TabID) of the last visited tab.	Session
__RequestVerificationToken	DNN	The cookie offers protection against cross-site attacks.	Session
SplashPageView	DNN	The cookie controls the single display of the welcome page.	Session
RepeaterCategories, RepeaterGroup	DNNGo	Cookies of the DNN module xPlugin, for layout configuration.	Session

Cookie	Provider	Description	Expires
GOOGLE_ANALYTICS_INFO	OCLC	The cookie is set when the user has acknowledged the usage of the tracking tool Google Analytics.	1 year
_ga, _ga__<container-id>	Google Analytics	The cookie _ga saves the Google Analytics-Client-ID in order to distinguish users, _ga__<container-id> is used to persist session state (provided the user has acknowledged the tool, please refer to cookie GOOGLE_ANALYTICS_INFO).	2 years
_Module_359_Survey_0_, AppearanceSecurityOptions, CSVExportOptions	DNN	These cookies are used by the optional 3rd party DNN module Survey.	until 31.12.9999, 20 minutes, 20 minutes

Cookie	Provider	Description	Expires
List of all settings cookies of OPEN:	OCLC	The cookies control the unfolded/closed - status of the different settings sections as well as the visibility of the headers.	Session
StayInEditMode	DNN	The cookie controls the edit mode of the page.	Session
cem_pending, CEM_CallbackData, CEM_ExistingModule, CEM_NewModuleId	DNN	These cookies are saved when adding or duplicating a module during edit mode.	Session

Principles of Contract Language; 101

pp. 1-27

Year: 2023

Publisher: Wadern, LZI

Parent work: Dagstuhl Reports

Count: 101

Media group: DAGSTUHL REPORT

Deductive Software Verification

Future Perspectives : Reflections on the Occasion of 20 Years of KeY

Year: 2020

Publisher: Heidelberg, Springer

Series: Lecture notes in computer science : State-of-the-Art Survey; 12345

Media group: MONOGRAPHIE

Software Engineering 2020

Fachtagung vom 24. - 28. Februar 2020 in Innsbruck, Austria

Year: 2020

Publisher: Bonn, Gesellschaft für Informatik e.V.

Series: Lecture notes in informatics / P; 300

Media group: CD

Deductive Software Verification

The KeY Book : From Theory to Practice

Year: 2016

Publisher: Heidelberg, Springer

Series: Lecture notes in computer science; 10001

Media group: MONOGRAPHIE

Ambient Intelligence

European Conference, AmI 2014, Eindhoven, The Netherlands, November 11-13, 2014. Revised Selected Papers

Year: 2014

Publisher: Heidelberg, Springer

Series: Lecture notes in computer science; 8850

Media group: MONOGRAPHIE

Deduction and Arithmetic; 10

pp. 1-24

Year: 2014

Publisher: Wadern, LZI

Parent work: Dagstuhl Reports

Count: 10

Media group: DAGSTUHL REPORT

Leveraging Applications of Formal Methods, Verification, and Validation

International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17 - 18, 2011 : Revised Selected Papers

Year: 2012

Publisher: Berlin, Springer

Series: Communications in computer and information science; 336

Media group: MONOGRAPHIE

Scheduling Periodic Tasks in a Hard Real-Time Environment

article in LNCS 6198 : pp. 299-311

Year: 2010

Publisher: Berlin, Springer

Series: Lecture notes in computer science : 6198; pp. 299-311

Media group: ARTICLE

Ambient Intelligence

First International Joint Conference, Malaga, Spain, November 10 - 12, 2010, Proceedings

Year: 2010

Publisher: Berlin, Springer

Series: Lecture notes in computer science; 6439

Media group: MONOGRAPHIE

Interaction versus Automation

The two Faces of Deduction

Year: 2009

Publisher: Wadern, LZI

Series: Dagstuhl Seminar Proceedings; 09411

Media group: DAGSTUHL-SEMINAR-PRO

OPEN V 11.1.0.0

Simple Search

Author

Year

Publisher

Media group

Author

Year

Publisher

Media group

Principles of Contract Language; 101

Deductive Software Verification

Software Engineering 2020

Deductive Software Verification

Ambient Intelligence

Deduction and Arithmetic; 10

Leveraging Applications of Formal Methods, Verification, and Validation

Scheduling Periodic Tasks in a Hard Real-Time Environment

Ambient Intelligence

Interaction versus Automation

Simple Search

search result

Principles of Contract Language; 101

Deductive Software Verification

Software Engineering 2020

Deductive Software Verification

Ambient Intelligence

Deduction and Arithmetic; 10

Leveraging Applications of Formal Methods, Verification, and Validation

Scheduling Periodic Tasks in a Hard Real-Time Environment

Ambient Intelligence

Interaction versus Automation