Skip to contents

Marchetti-Spaccamela, Alberto [Editor]; Segal, Michael [Other] ; TAPAS 1 2011 Rom

Theory and practice of algorithms in (computer) systems : first International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 6595
Bjorner, Nikolaj [Author]; Hähnle, Reiner [Author]; Nipkow, Tobias [Author]; Weidenbach, Christoph [Author] ; Nikolaj Bjorner and Reiner Hähnle and Tobias Nipkow and Christoph Weidenbach [Contributor]

Deduction and Arithmetic (Dagstuhl Seminar 13411)

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2014
Li, Yunan [Author]

Mechanism design with financially constrained agents and costly verification

View online
Schließen

Access

... to article via DOI (freely accessible)

... to article (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2021

Published in: Theoretical economics ; 16(2021), 3 vom: Juli, Seite 1139-1194
Guyomarc'h, Jean [Author]; Guerret, François [Author]; El Mejjati, Bilal [Author]; Ohayon, Emmanuel [Author]; Vincke, Bastien [Author]; Mérigot, Alain [Author] ; Jean Guyomarc'h and François Guerret and Bilal El Mejjati and Emmanuel Ohayon and Bastien Vincke and Alain Mérigot [Contributor]

Non-Simultaneity as a Design Constraint

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
Calvanese, Diego [Author]; Ortiz, Magdalena [Author]; Šimkus, Mantas [Author] ; Diego Calvanese and Magdalena Ortiz and Mantas Šimkus [Contributor]

Verification of Evolving Graph-structured Data under Expressive Path Constraints

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
Mukhopadhyay, Supratik [Author] ; Podelski, Andreas [Contributor]

A uniform constraint-based framework for the verification of infinite state systems

View online
Schließen

Links

... to thesis via Resolving system

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Scientific publications of the Saarland University (UdS), 2000
Halfon, Simon [Author] ; Université Paris-Saclay (ComUE) [Contributor]; Schnoebelen, Philippe [Contributor]

On Effective Representations of Well Quasi-Orderings ; Représentations Effectives des Beaux Pré-Ordres

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

theses.fr, 2018-06-29
Bart, Anicet [Author] ; Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire [Contributor]; Monfroy, Éric [Contributor]

Constraint modelling and solving of some verification problems ; Modélisation et résolution par contraintes de problèmes de vérification

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

theses.fr, 2017-10-17
Bride, Hadrien [Author] ; Besançon [Contributor]; Kouchnarenko, Olga [Contributor]; Peureux, Fabien [Contributor]

Verifying Modal Specifications of Workflow Nets : using Constraint Solving and Reduction Methods ; Vérification de spécifications modales de réseaux worklows à l'aide de solveurs de contraintes et de methodes de résolution

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

theses.fr, 2016-10-24
Nguyen, Thi Hoa Hue [Author] ; Nice [Contributor]; Le Thanh, Nhan [Contributor]

La vérification de patrons de workflow métier basés sur les flux de contrôle : une approche utilisant les systèmes à base de connaissances ; Control flow-based business workflow templates checking : an approach using the knowledge-based systems

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

theses.fr, 2015-06-23
Belaid, Mohammed [Author] ; Nice [Contributor]; Rueher, Michel [Contributor]; Michel, Claude [Contributor]

Résolution de contraintes sur les flottants dédiée à la vérification de programmes ; Constraint solver over floating-point numbers designed for program verification

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

theses.fr, 2013-12-04
Kulczynski, Mitja [Author] ; Nowotka, Dirk [Contributor]; Göller, Stefan [Contributor]

Light On String Solving: Approaches to Efficiently and Correctly Solving String Constraints

View online
Schließen

Links

... to thesis via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

MACAU: Open Access Repository of Kiel University, 2022
Li, Yunan [Author]

Mechanism design with financially constrained agents and costly verification

View online
Schließen

Links

... to article

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New Haven, CT: The Econometric Society, 2021
El Ghazi, Aboubakr Achraf [Author] ; Taghdiri, M. [Contributor]

Relational Reasoning - Constraint Solving, Deduction, and Program Verification

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KIT-Bibliothek, Karlsruhe, 2015-01-01
Bauer, Jörg [Author] ; Wilhelm, Reinhard [Contributor]

Analysis of communication topologies by partner abstraction

View online
Schließen

Links

... to thesis via Resolving system

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Scientific publications of the Saarland University (UdS), 2006
Beierle, Christoph [Author]; Voß, Angelika [Author]

Stepwise software developement : Combining axiomatic and algorithmic approaches in algebraic specifications

View online
Schließen

Links

... to E-book via Resolving system

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Saarländische Universitäts- und Landesbibliothek, 1986
Zalila, Faiez [Author] ; Toulouse, INPT [Contributor]; Aït-Ameur, Yamine [Contributor]; Crégut, Xavier [Contributor]

Methods and tools for the integration of formal verification in domain-specific languages ; Méthodes et outils pour l’intégration de la vérification formelle pour les langages dédiés

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

theses.fr, 2014-12-09
Kabi, Bibek [Author] ; Institut polytechnique de Paris [Contributor]; Putot, Sylvie [Contributor]

Synthesizing invariants : a constraint programming approach based on zonotopic abstraction ; Synthèse d'invariants : une approche programmation par contraintes basée sur l'abstraction zonotopique

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

theses.fr, 2020-06-24
Gao, Yang [Author] ; Fränzle, Martin [Degree supervisor]; Zuliani, Paolo [Other]

Verification of stochastic systems by stochastic satisfiability modulo theories with continuous domain (CSSMT)

View online
Schließen

Access

... to E-book via Resolving system (Volltext ; freely accessible) (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oldenburg, 2017
Bertacco, Valeria [Author] ; Legay, Axel [Editor]

Hardware and Software: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham [u.a.]: Springer, 2013

Published in: Lecture notes in computer science ; 8244

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication