Pascal and Francis Bibliographic Databases

Help

Search results

Your search

au.\*:("Nagl, Manfred")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 79

  • Page / 4
Export

Selection :

  • and

Kindermedienwelten als Forschungsgegenstand: Projekte des Instituts für angewandte Kindermedienforschung der Hochschule der Medien Stuttgart (HdM) = Children Media World as a research focus. The Institute for applied Children Media Research of the Stuttgart Media University and its projectsSTANG, Richard; NAGL, Manfred.Information Wissenschaft und Praxis. 2013, Vol 64, Num 5, pp 276-282, issn 1434-4653, 7 p.Article

Tools for consistency management between design productsKÖRTGEN, Anne-Therese; NAGL, Manfred.Computers & chemical engineering. 2011, Vol 35, Num 4, pp 724-735, issn 0098-1354, 12 p.Conference Paper

Parameterized specification of conceptual design tools in civil engineeringKRAFT, Bodo; NAGL, Manfred.Lecture notes in computer science. 2004, pp 90-105, issn 0302-9743, isbn 3-540-22120-4, 16 p.Conference Paper

A combined graph schema and graph grammar approach to consistency in distributed modelingGRUNER, S.Lecture notes in computer science. 2000, pp 247-254, issn 0302-9743, isbn 3-540-67658-9Conference Paper

AGTIVE 2003 : applications of graph transformations with industrial relevance (Charlottesville VA, 27 September - 1 october 2003, revised selected & invited papers)Pfaltz, John L; Nagl, Manfred; Böhlen, Boris et al.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-22120-4, XV, 500 p, isbn 3-540-22120-4Conference Proceedings

A graph-theoretic generalization of the least common subsumer and the most specific concept in the description logic εLBAADER, Franz.Lecture notes in computer science. 2004, pp 177-188, issn 0302-9743, isbn 3-540-24132-9, 12 p.Conference Paper

AGG : A tool environment for algebraic graph transformationTAENTZER, G.Lecture notes in computer science. 2000, pp 481-488, issn 0302-9743, isbn 3-540-67658-9Conference Paper

DiTo : A distribution tool based on Graph rewritingRADERMACHER, A.Lecture notes in computer science. 2000, pp 465-472, issn 0302-9743, isbn 3-540-67658-9Conference Paper

Visual languages : Where do we stand?LEVIALDI, S.Lecture notes in computer science. 2000, pp 145-164, issn 0302-9743, isbn 3-540-67658-9Conference Paper

WG 2004 : graph-theoretic concepts in computer science (Bad Honnef, 21-23 June 2004, revised papers)Hromkovic, Juraj; Nagl, Manfred; Westfechtel, Bernhard et al.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-24132-9, XI, 404 p, isbn 3-540-24132-9Conference Proceedings

Coloring a graph using split decompositionRAO, Michaël.Lecture notes in computer science. 2004, pp 129-141, issn 0302-9743, isbn 3-540-24132-9, 13 p.Conference Paper

PROgrammed Graph REwriting System PROGRESMÜNCH, M.Lecture notes in computer science. 2000, pp 441-448, issn 0302-9743, isbn 3-540-67658-9Conference Paper

From graph transformation to rule-based programming with diagramsHOFFMANN, B.Lecture notes in computer science. 2000, pp 165-180, issn 0302-9743, isbn 3-540-67658-9Conference Paper

Formalizing UML-based process models using graph transformationsSCHLEICHER, A.Lecture notes in computer science. 2000, pp 341-357, issn 0302-9743, isbn 3-540-67658-9Conference Paper

Graph-based reverse engineering and reengineering toolsCREMER, K.Lecture notes in computer science. 2000, pp 95-109, issn 0302-9743, isbn 3-540-67658-9Conference Paper

Support for design patterns through graph transformation toolsRADERMACHER, A.Lecture notes in computer science. 2000, pp 111-126, issn 0302-9743, isbn 3-540-67658-9Conference Paper

A symbolic approach to the all-pairs shortest-paths problemSAWITZKI, Daniel.Lecture notes in computer science. 2004, pp 154-167, issn 0302-9743, isbn 3-540-24132-9, 14 p.Conference Paper

Defining the syntax and semantics of natural visual languagesBLOSTEIN, D.Lecture notes in computer science. 2000, pp 225-232, issn 0302-9743, isbn 3-540-67658-9Conference Paper

AGTIVE'99 : applications of graph transformations with industrial relevance (Kerkrade, 1-3 September 1999)Nagl, Manfred; Schürr, Andreas; Münch, Manfred et al.Lecture notes in computer science. 2000, issn 0302-9743, isbn 3-540-67658-9, XV, 496 p, isbn 3-540-67658-9Conference Proceedings

Retrieval of software components using a distributed web systemBEHLE, Anita; KIRCHHOF, Michael; NAGL, Manfred et al.Journal of network and computer applications. 2002, Vol 25, Num 3, pp 197-222, issn 1084-8045, 26 p.Article

Testing and simulating production control systems using the Fujaba environmentNIERE, J; ZÜNDORF, A.Lecture notes in computer science. 2000, pp 449-456, issn 0302-9743, isbn 3-540-67658-9Conference Paper

CHASID: A graph-based authoring support systemGATZEMEIER, Felix H.Lecture notes in computer science. 2004, pp 420-426, issn 0302-9743, isbn 3-540-22120-4, 7 p.Conference Paper

Core stability of minimum coloring gamesBIETENHADER, Thomas; OKAMOTO, Yoshio.Lecture notes in computer science. 2004, pp 389-401, issn 0302-9743, isbn 3-540-24132-9, 13 p.Conference Paper

AGG: A graph transformation environment for modeling and validation of softwareTAENTZER, Gabriele.Lecture notes in computer science. 2004, pp 446-453, issn 0302-9743, isbn 3-540-22120-4, 8 p.Conference Paper

Fully-dynamic recognition algorithm and certificate for directed cographsCRESPELLE, Christophe; PAUL, Christophe.Lecture notes in computer science. 2004, pp 93-104, issn 0302-9743, isbn 3-540-24132-9, 12 p.Conference Paper

  • Page / 4