Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
185 | Erich Hartmann |
The normalform of a space curve and its application to surface design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 17(7), pp. 445-456, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
normalform, constant distance sum/product surfaces, pipe surfaces, G n, isophotes, blending, bisectors, intersection points, intersection curves |
33 | Vincent Conitzer, Tuomas Sandholm |
Computing the optimal strategy to commit to. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 7th ACM Conference on Electronic Commerce (EC-2006), Ann Arbor, Michigan, USA, June 11-15, 2006, pp. 82-90, 2006, ACM, 1-59593-236-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
normalform games, stackelberg, game theory, nash equilibrium, commitment, leadership, bayesian games |
32 | Bernd Kolar, Markus Schöberl, Kurt Schlacher |
Eine Normalform für eine spezielle Klasse flacher nichtlinearer zeitdiskreter Mehrgrößensysteme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 64(8), pp. 586-601, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
32 | Markus Schöberl, Kurt Schlacher |
Eine Normalform für eine spezielle Klasse flacher nichtlinearer Mehrgrößensysteme in Pfaffscher Systemdarstellung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 62(7), pp. 463-474, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Bernhard Humm, Oliver Juwig |
Eine Normalform für Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering 2006, Fachtagung des GI-Fachbereichs Softwaretechnik, 28.-31.3.2006 in Leipzig, pp. 99-110, 2006, GI, 3-88579-173-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
32 | Patrick Theobald |
Ein Framework zur Berechnung der Hermite-Normalform von großen, dünnbesetzten, ganzzahligen Matrizen. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2001 |
RDF |
|
32 | Michael Bertol |
Effiziente Normalform-Algorithmen für Ersetzungssysteme über frei partiell kommutativen Monoiden. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1996 |
RDF |
|
32 | Klaus Küspert, R. Erbe, M. Wengner |
Varianten der Abbildung NF2-strukturierter Daten aud Relationen erster Normalform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Grundlagen von Datenbanken ![In: Kurzfassungen des 3. GI-Workshops `Grundlagen von Datenbanken`, GvD 1991, Volkse (bei Braunschweig), 21.-25.5.1991, pp. 73-78, 1991, ETH Zürich. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
32 | Dieter Zöbel |
Normalform-Transformationen für CSP-Programme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Forsch. Entwickl. ![In: Inform. Forsch. Entwickl. 3(2), pp. 64-76, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
32 | Günter Hotz, Rockford J. Ross |
LL(k)- und LR(k)-Invarianz von kontexfreien Grammatiken unter einer Transformation auf Greibach-Normalform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. Cybern. ![In: J. Inf. Process. Cybern. 15(1/2), pp. 73-86, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
32 | Dieter Barthel |
Minimisierung schaltalgebraischer Ausdrücke durch Auswahl von Primkonjunktionen ohne Rückgriff auf die kanonische alternative Normalform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. Cybern. ![In: J. Inf. Process. Cybern. 15(4), pp. 213-220, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
32 | Wolfgang Coy, Andreas Vogel |
Eine einfach strukturierte Schaltwerk-Normalform mit niedriger Test-Komplexität. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. Cybern. ![In: J. Inf. Process. Cybern. 12(11/12), pp. 557-565, 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP BibTeX RDF |
|
32 | Hans Joachim Zander |
Zur Minimierung von partiellen Booleschen Funktionen bei gegebener nichtkanonischer Normalform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. Cybern. ![In: J. Inf. Process. Cybern. 9(1/2), pp. 67-79, 1973. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP BibTeX RDF |
|
32 | Eberhard Oberst |
Über eine Möglichkeit zur Bestimmung der Primkonjunktionen einer kanonischen alternativen Normalform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. Cybern. ![In: J. Inf. Process. Cybern. 2(3), pp. 159-163, 1966. The full citation details ...](Pics/full.jpeg) |
1966 |
DBLP BibTeX RDF |
|
24 | Andreas Goerdt |
On Random Ordering Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications, Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings, pp. 105-116, 2009, Springer, 978-3-642-03350-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
random structures, Algorithms, logic, probabilistic analysis, ordering |
24 | Andreas Goerdt |
On Random Betweenness Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009. Proceedings, pp. 157-168, 2009, Springer, 978-3-642-03408-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
random structures, Algorithms, logic, probabilistic analysis |
24 | Andreas Goerdt |
The Cutting Plane Proof System with Bounded Degree of Falsity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991, Proceedings, pp. 119-133, 1991, Springer, 3-540-55789-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
24 | Béla Halassy |
Application of Relational Normalforms in CASE-Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, Second Nordic Conference CAiSE'90, Stockholm, Sweden, May 8-10, 1990, Proceedings, pp. 215-227, 1990, Springer, 3-540-52625-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Andreas Goerdt |
Cuting Plane Versus Frege Proof Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990, Proceedings, pp. 174-194, 1990, Springer, 3-540-54487-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Andreas Goerdt |
Davis-Putnam Resolution versus Unrestricted Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: CSL '89, 3rd Workshop on Computer Science Logic, Kaiserslautern, Germany, October 2-6, 1989, Proceedings, pp. 143-162, 1989, Springer, 3-540-52753-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|