Max Planck Institute < Max-Planck-Institut < McGill University [Montreal]

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 41.
[0-20] [0 - 20][0 - 41][20-40]

Ident.	Authors (with country if any)	Title
000016 (2010)	Eric Berberich ; Michael Hemmer ; Sylvain Lazard ; Luis Pe Aranda ; Monique Teillaud	Algebraic kernel
000230 (2015-01)	Marek Kosta ; Thomas Sturm	A Generalized Framework for Virtual Substitution
000271 (2007-08)	Stefan Canzar ; Ernst Althaus	A Lagrangian Relaxation Approach for the Multiple Sequence Alignment Problem
000B15 (2015)	Maximilian Jaroschek ; Pablo Federico Dobal ; Pascal Fontaine	Adapting Real Quantifier Elimination Methods for Conflict Set Computation
000B58 (1999-08)	Marc Stamminger ; Daniel Wexler ; Wolfram Kresse ; Nicolas Holzschuch ; Per Christensen	Advanced Radiosity: Complex Scenes and Glossy Reflections
000C37 (2006-05-24)	Marc Kemps-Snijders ; Julien Ducret ; Laurent Romary ; Peter Wittenburg	An API for accessing the Data Category Registry
000C76 (2003-08)	Ernst Althaus ; Denys Duchier ; Alexander Koller ; Kurt Mehlhorn ; Joachim Niehren ; Sven Thiel	An Efficient Graph Algorithm for Dominance Constraints
000F59 (2008-07-02)	Ernst Althaus ; Stefan Canzar ; Andreas Karrenbauer ; Julián Mestre	Approximating the Interval Constrained Coloring Problem
001113 (2012-03)	Arnaud Fietzke ; Evgeny Kruglov ; Christoph Weidenbach	Automatic Generation of Invariants for Circular Derivations in SUP(LA)
001187 (2014)	Manuel Lamotte-Schubert ; Christoph Weidenbach	BDI: a new decidable clause class
001208 (2015-08)	Peter Baumgartner ; Joshua Bax ; Uwe Waldmann	Beagle – A Hierarchic Superposition Prover
001232 (2015-01)	Marco Voigt ; Christoph Weidenbach	Bernays-Schönfinkel-Ramsey with Simple Bounds is NEXPTIME-complete
001234 (2014-07)	Marek Kosta ; Thomas Sturm ; Andreas Dolzmann	Better Answers to Real Questions
001235 (2015)	Marek Kosta ; Thomas Sturm ; Andreas Dolzmann	Better Answers to Real Questions
001550 (2010-02)	Duc-Khanh Tran ; Christophe Ringeissen ; Silvio Ranise ; Hélène Kirchner	Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation
001555 (2012-06-26)	Pascal Fontaine ; Stephan Merz ; Christoph Weidenbach	Combination of disjoint theories: beyond decidability
001770 (2008-03-16)	Ernst Althaus ; Stefan Canzar ; Mark R. Emmett ; Andreas Karrenbauer ; Alan G. Marshall ; Anke Meyer-Baese ; Huimin Zhang	Computing H/D-exchange speeds of single residues from data of peptic fragments
001783 (2013-06-09)	Noran Azmy ; Christoph Weidenbach	Computing Tiny Clause Normal Forms
001868 (2014-09)	Christopher W. Brown ; Marek Kosta	Constructing a single cell in cylindrical algebraic decomposition
001C15 (2015-06)	Hassan Errami ; Markus Eiswirth ; Dima Grigoriev ; Werner M. Seiler ; Thomas Sturm ; Andreas Weber	Detection of Hopf bifurcations in chemical reaction networks using convex coordinates
002082 (2012-09)	Werner Damm ; Henning Dierks ; Stefan Disch ; Willem Hagemann ; Florian Pigorsch ; Christoph Scholl ; Uwe Waldmann ; Boris Wirtz	Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalTutelle.i -k "Max-Planck-Institut" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalTutelle.i  \
                -Sk "Max-Planck-Institut" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    HalTutelle.i
   |clé=    Max-Planck-Institut
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022