|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7997 occurrences of 3661 keywords
|
|
|
Results
Found 12984 publication records. Showing 12984 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
79 | Agustín Fernández, José M. Llabería, Miguel Valero-García |
Loop Transformation Using Nonunimodular Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 6(8), pp. 832-840, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
nonunimodular transformations, loop transformations, linear transformations, Iteration space, unimodular transformations, Hermite Normal Form |
66 | Deborah Whitfield, Mary Lou Soffa |
An Approach for Exploring Code-Improving Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 19(6), pp. 1053-1084, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
automatic generation of optimizers, code-improving transformations, enabling and disabling of optimizations, parallelizing transformations, specification of program optimizations |
60 | Marcos Didonet Del Fabro, Patrick Valduriez |
Towards the efficient development of model transformations using model weaving and matching transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 8(3), pp. 305-324, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Matching transformations, Model engineering, Model weaving |
60 | Benjamin Braatz, Hartmut Ehrig, Milan Urbásek |
Petri Net Transformations in the "Petri Net Baukasten". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Net Technology for Communication-Based Systems ![In: Petri Net Technology for Communication-Based Systems - Advances in Petri Nets, pp. 37-65, 2003, Springer, 3-540-20538-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
59 | Robert Paige |
Transformational Programming - Applications to Algorithms and Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 1983, pp. 73-87, 1983, ACM Press, 0-89791-090-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
57 | Michael F. P. O'Boyle, Peter M. W. Knijnenburg |
Integrating Loop and Data Transformations for Global Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques, Paris, France, October 12-18, 1998, pp. 12-, 1998, IEEE Computer Society, 0-8186-8591-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Global Optimisation, Rank-modifying Transformations, Array Reshaping, Data Locality Optimisation, Loop Transformations, Data Transformations |
55 | Marcos Didonet Del Fabro, Patrick Valduriez |
Semi-automatic model integration using matching transformations and weaving models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 963-970, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
matching transformations, model engineering, model weaving |
55 | Marc Alexa |
Linear combination of transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 21(3), pp. 380-387, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
transformations, logarithm, linear space, matrix exponential, exponential map |
54 | Harry Hengster, Rolf Drechsler, Bernd Becker 0001 |
On local transformations and path delay fault testability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 7(3), pp. 173-191, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
path delay fault model, testability preserving transformations, testability inproving transformations, design for testability |
51 | Raul Silaghi, Frédéric Fondement, Alfred Strohmeier |
"Weaving" MTL Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDAFA ![In: Model Driven Architecture, European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004, Revised Selected Papers, pp. 123-138, 2004, Springer, 3-540-28240-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
MTL, Aspect-Oriented Programming, AOP, Model-Driven Architecture, MDA, Model Transformations |
51 | Iván R. Terol-Villalobos, Jorge D. Mendiola-Santibañez |
Image Segmentation Based on Transformations with Reconstruction Criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAIP ![In: Computer Analysis of Images and Patterns, 10th International Conference, CAIP 2003, Groningen, The Netherlands, August 25-27, 2003, Proceedings, pp. 361-368, 2003, Springer, 3-540-40730-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
filters by reconstruction, transformations with reconstruction criteria, image segmentation, markers |
50 | Laurence Tratt |
Model transformations and tool integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 4(2), pp. 112-122, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Modelling, Transformations, Model transformations, Tool integration, QVT |
49 | Miodrag Potkonjak |
Discrete-relaxation-based heuristic techniques for video algorithm/architecture matching and system level transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 77-80, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
discrete-relaxation-based heuristic techniques, video algorithm, system level transformations, computational transformations, throughput performance, iterative heuristic approach, behavioral transformations, rephasing, architecture matching, computational complexity, image processing, VLSI, pipelining, iterative methods, pipeline processing, retiming, integrated circuit design, system level design, video processing, video signal processing, heuristic programming, digital signal processing chips, circuit optimisation, throughput optimization |
49 | S. T. Kim, K. Suwunboriruksa, S. Herath, Anura P. Jayasumana, Jayantha A. Herath |
Algorithmic Transformations for Neural Computing and Performance of Supervised Learning on a Dataflow Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(7), pp. 613-623, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
reprogrammable dataflow neural classifiers, neural-dataflow transformations, dataflow algorithmic transformations, dataflow multiprocessors, high level data dependency, machine executable low-level dataflow graph, tagged token dataflow algorithmic transformation, performance evaluation, performance, parallel architectures, supervised learning, neural nets, granularity, learning systems, functional languages, neural computing, computerized pattern recognition, algorithmic transformations, dataflow machine |
49 | Julia Padberg |
Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 7(4), pp. 371-403, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
high-level replacement systems, Petri net transformations, horizontal structuring, refinement, graph transformations |
48 | Michael Gleicher |
Projective registration with difference decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 1997 Conference on Computer Vision and Pattern Recognition (CVPR '97), June 17-19, 1997, San Juan, Puerto Rico, pp. 331-337, 1997, IEEE Computer Society, 0-8186-7822-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
projective registration, difference decomposition, image region registration, piecewise-projective transformations, nonplanar object motion modeling, performance, image registration, image transformations, prototype implementation, nonlinear transformations |
48 | Michal Cierniak, Wei Li 0015 |
Unifying Data and Control Transformations for Distributed Shared Memory Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI), La Jolla, California, USA, June 18-21, 1995, pp. 205-217, 1995, ACM, 0-89791-697-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
47 | Harry Hengster, Rolf Drechsler, Bernd Becker 0001 |
On the application of local circuit transformations with special emphasis on path delay fault testability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 13th IEEE VLSI Test Symposium (VTS'95), April 30 - May 3, 1995, Princeton, New Jersey, USA, pp. 387-392, 1995, IEEE Computer Society, 0-8186-7000-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
local circuit transformations, path delay fault testability, SALT, logic testing, delays, integrated circuit testing, automatic testing |
47 | Valdis Berzins, Luqi, Amiram Yehudai |
Using Transformations in Specification-Based Prototyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(5), pp. 436-452, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
software tool support, specification-based prototyping, system interfaces, externally observable behavior, chronological derivation sequences, formal specification, software evolution, process model, software prototyping, abstraction level, software transformations, system description |
46 | Junhua Wang, Soon-Kyeong Kim, David A. Carrington |
Automatic Generation of Test Models for Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 19th Australian Software Engineering Conference (ASWEC 2008), March 25-28, 2008, Perth, Australia, pp. 432-440, 2008, IEEE Computer Society, 978-0-7695-3100-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Testing Model Transformations, Automatic Test Model Generation, Model Driven Architecture, Model Transformations |
45 | Marcel van Amstel, Christian F. J. Lange, Mark van den Brand |
Using Metrics for Assessing the Quality of ASF+SDF Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMT@TOOLS ![In: Theory and Practice of Model Transformations - 2nd International Conference, ICMT@TOOLS 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings, pp. 239-248, 2009, Springer, 978-3-642-02407-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
44 | Minjoong Rim, Rajiv Jain |
Valid Transformations: A New Class of Loop Transformations for High-Level Synthesis and Pipelined Scheduling Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 7(4), pp. 399-410, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
super-scalar, loop compilation, High-level synthesis, VLIW, loop transformations, loop optimization, pipeline scheduling |
44 | Albert Cohen 0001, Marc Sigler, Sylvain Girbal, Olivier Temam, David Parello, Nicolas Vasilache |
Facilitating the search for compositions of program transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 19th Annual International Conference on Supercomputing, ICS 2005, Cambridge, Massachusetts, USA, June 20-22, 2005, pp. 151-160, 2005, ACM, 1-59593-167-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Heidi Lam, Ronald A. Rensink, Tamara Munzner |
Effects of 2D geometric transformations on visual memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APGV ![In: Proceedings of the 3rd Symposium on Applied Perception in Graphics and Visualization, APGV 2006, Boston, Massachusetts, USA, July 28-29, 2006, pp. 119-126, 2006, ACM, 1-59593-429-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
visual memory, information visualization, geometric transformations |
43 | Keith Lau, Ronald A. Rensink, Tamara Munzner |
Perceptual invariance of nonlinear Focus+Context transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APGV ![In: Proceedings of the 1st Symposium on Applied Perception in Graphics and Visualization, APGV 2004, Los Angeles, California, USA, August 7-8, 2004, pp. 65-72, 2004, ACM, 1-58113-914-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
fisheye transformations, information visualization, visual search, Focus+Context, visual representation |
43 | Emmanuel Pietriga, Jean-Yves Vion-Dury, Vincent Quint |
VXT: a visual approach to XML transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2001 ACM Symposium on Document Engineering, Atlanta, Georgia, USA, November 9-10, 2001, pp. 1-10, 2001, ACM. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
XML transformations, XML, XSLT, zoomable user interfaces, visual programming languages, circus |
43 | William W. Pugh, David Wonnacott |
Static Analysis of Upper and Lower Bounds on Dependences and Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(4), pp. 1248-1278, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Omega test, array data-dependence analysis, optimization, compilation, automatic parallelization, Presburger arithmetic, dependence relation |
42 | Amey Karkare, Manoj Singla, Ajai Jain |
Testability Preserving and Enhancing Transformations for Robust Delay Fault Testabilit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 11th International Conference on VLSI Design (VLSI Design 1991), 4-7 January 1998, Chennai, India, pp. 370-373, 1998, IEEE Computer Society, 0-8186-8224-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Testability Preserving Transformations, Testability Enhancing Transformations, DFT, Testability, Delay Faults |
42 | Jordi Torres, Eduard Ayguadé, Jesús Labarta, Mateo Valero |
Loop Parallelization: Revisiting Framework of Unimodular Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), January 24-26, 1996, Portugal, pp. 420-428, 1996, IEEE Computer Society, 0-8186-7376-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
linear loop transformations, nonlinear step, transformation process, maximum loop parallelism, perfect nested loops, tight recurrences, MIMD system, parallel algorithms, parallelizing algorithm, parallel programming, graph theory, dependence graph, loop parallelization, optimising compilers, coarse grain parallelism, unimodular transformations |
42 | Lucia Pomello |
Refinement of Concurrent Systems Based on Local State Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings, pp. 641-668, 1989, Springer, 3-540-52559-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
functional abstraction and refinement, observable local/global states, local state transformations, morphisms preserving local state transformations |
41 | Richard F. Paige |
Engineering Bidirectional Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bidirectional Transformations ![In: Bidirectional Transformations - International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures, pp. 151-187, 2016, Springer, 978-3-319-79107-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
41 | Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens |
Introduction to Bidirectional Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bidirectional Transformations ![In: Bidirectional Transformations - International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures, pp. 1-28, 2016, Springer, 978-3-319-79107-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
41 | Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel |
Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 1-5, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | Esther Guerra, Juan de Lara, Fernando Orejas |
Controlling Reuse in Pattern-Based Model-to-Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 175-201, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | Enrico Biermann, Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Gabriele Taentzer |
Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 121-140, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | András Balogh, Gábor Bergmann, György Csertán, László Gönczy, Ákos Horváth 0001, István Majzik, András Pataricza, Balázs Polgár, István Ráth, Dániel Varró, Gergely Varró |
Workflow-Driven Tool Integration Using Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 224-248, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | Barbara König 0001, Ugo Montanari, Philippa Gardner |
04241 Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems ![In: Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004, 2004, IBFI, Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
41 | Reiko Heckel, Tom Mens, Michel Wermelinger |
Software Evolution through Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Evolution Through Transformations @ ICGT ![In: Workshop on Software Evolution Through Transformations 2002 - Toward Uniform Support Throughout the Software Life-Cycle, Barcelona, Spain, 2002, pp. 1-5, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
41 | Julia Padberg |
Basic Ideas for Transformations of Specification Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Evolution Through Transformations @ ICGT ![In: Workshop on Software Evolution Through Transformations 2002 - Toward Uniform Support Throughout the Software Life-Cycle, Barcelona, Spain, 2002, pp. 46-58, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
41 | Tom Tourwé, Tom Mens |
High-level Transformations to Support Framework-Based Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Evolution Through Transformations @ ICGT ![In: Workshop on Software Evolution Through Transformations 2002 - Toward Uniform Support Throughout the Software Life-Cycle, Barcelona, Spain, 2002, pp. 34-45, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
41 | Gabriele Taentzer, Martin Beyer |
Amalgamated Graph Transformations and Their Use for Specifying AGG - an Algebraic Graph Grammar System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Graph Transformations in Computer Science ![In: Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings, pp. 380-394, 1993, Springer, 3-540-57787-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
40 | Ronen Basri, David W. Jacobs |
Recognition Using Region Correspondences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Procedings of the Fifth International Conference on Computer Vision (ICCV 95), Massachusetts Institute of Technology, Cambridge, Massachusetts, USA, June 20-23, 1995, pp. 8-15, 1995, IEEE Computer Society, 0-8186-7042-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
region correspondences, model-image transformation, object presence determination, object position determination, volume/region subset matching, alignment transformation, 3D object projections, computer vision, image segmentation, computational geometry, object recognition, object recognition, affine transformations, projective transformations, similarity transformations, planar objects |
40 | Gabor Karsai, Aditya Agrawal |
Graph Transformations in OMG's Model-Driven Architecture: (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGTIVE ![In: Applications of Graph Transformations with Industrial Relevance, Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers, pp. 243-259, 2003, Springer, 3-540-22120-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
formal specifications, model-driven architecture, graph transformations, Graph grammars, Model-Integrated Computing, domain-specific modeling languages |
39 | Pau Giner, Vicente Pelechano |
Test-Driven Development of Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, pp. 748-752, 2009, Springer, 978-3-642-04424-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
test-driven development, Model-to-model transformations |
39 | Artur Boronat, Reiko Heckel, José Meseguer 0001 |
Rewriting Logic Semantics and Verification of Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 18-33, 2009, Springer, 978-3-642-00592-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Model and graph transformations, LTL model checking, reachability analysis, rewriting logic, MOF, QVT, Maude |
39 | Kostas Masselos, Francky Catthoor, Constantinos E. Goutis, Hugo De Man |
Combined Application of Data Transfer and Storage Optimizing Transformations and Subword Parallelism Exploitation for Power Consumption and Execution Time Reduction in VLIW Multimedia Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 37(1), pp. 53-73, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
low-power-dissipation, performance, memory, VLIW processors, multi-media, code transformations, subword parallelism, system level |
38 | Gabor Karsai, Gabriele Taentzer |
Third international workshop on graph and model transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE Companion ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, Companion Volume, pp. 1055-1056, 2008, ACM. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
model transformations, model-driven development, graph transformations |
38 | Dattatraya Kulkarni |
Transformations for Improving Data Access Locality in Non-Perfectly Nested Loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques, Paris, France, October 12-18, 1998, pp. 314-321, 1998, IEEE Computer Society, 0-8186-8591-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Loop and Data Transformations, Size-reduction Transformations, Performance, Optimizing Compiler, Locality of reference |
37 | Jun Xia, Li Luo, Xuejun Yang |
A 0-1 Integer Linear Programming Based Approach for Global Locality Optimizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asia-Pacific Computer Systems Architecture Conference ![In: Advances in Computer Systems Architecture, 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006, Proceedings, pp. 281-294, 2006, Springer, 3-540-40056-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
compiler optimizations, integer linear programming, loop transformations, data transformations, Cache locality, memory layouts |
37 | Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski |
High-Level Nets with Nets and Rules as Tokens. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings, pp. 268-288, 2005, Springer, 3-540-26301-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
High-level net models, algebraic high-level nets, nets and rules as tokens, integration of net theory and graph transformations, case study: House of Philosophers, graph grammars and Petri net transformations, algebraic specifications |
36 | Guillaume Hillairet, Frédéric Bertrand, Jean-Yves Lafaye |
Rewriting Queries by Means of Model Transformations from SPARQL to OQL and Vice-Versa. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMT@TOOLS ![In: Theory and Practice of Model Transformations - 2nd International Conference, ICMT@TOOLS 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings, pp. 116-131, 2009, Springer, 978-3-642-02407-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Query languages, Model Transformations, SPARQL, ATL, OQL |
36 | Enrico Biermann, Claudia Ermel, Gabriele Taentzer |
Precise Semantics of EMF Model Transformations by Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings, pp. 53-67, 2008, Springer, 978-3-540-87874-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Eclipse Modeling Framework, model transformation, graph transformation, Model-driven software development |
36 | Nicolas Vasilache, Albert Cohen 0001, Louis-Noël Pouchet |
Automatic Correction of Loop Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACT ![In: 16th International Conference on Parallel Architectures and Compilation Techniques (PACT 2007), Brasov, Romania, September 15-19, 2007, pp. 292-304, 2007, IEEE Computer Society, 0-7695-2944-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Karina Olmos, Eelco Visser |
Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 204-220, 2005, Springer, 3-540-25411-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Carmen Paz Suárez Araujo, Roberto Moreno-Díaz |
Intersensorial Transformations: General Systems Description and Implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST'95, A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22-25, 1995, Proceedings, pp. 73-87, 1995, Springer, 3-540-60748-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
35 | Arthur I. Baars, S. Doaitse Swierstra, Marcos Viera |
Typed transformations of typed abstract syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009, pp. 15-26, 2009, ACM, 978-1-60558-420-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
typed transformations, type systems, meta-programming, gadt, common subexpression elimination |
35 | Markus Schmidt 0004 |
Transformations of UML 2 Models Using Concrete Syntax Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RISE ![In: Rapid Integration of Software Engineering Techniques, Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers, pp. 130-143, 2006, Springer, 978-3-540-71875-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
UML 2 Profiles, Patterns, Model Transformations |
35 | Chia-Chu Chiang, Joseph E. Urban |
Incremental Elicitation and Formalization of User Requirements through Rapid Prototyping via Software Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: COMPSAC '96 - 20th Computer Software and Applications Conference, August 19-23, 1996, Seoul, Korea, pp. 240-245, 1996, IEEE Computer Society, 0-8186-7579-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
incremental elicitation, user specifications, TUG formal specification language, abstract execution, change request scripts, specification changes, timely updates, telegram analysis problem, formal specification, specification languages, rapid prototyping, formalization, software prototyping, user requirements, software transformations |
34 | Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, Claudia Ermel |
Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings, pp. 104-123, 2007, Springer, 978-3-540-73093-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
integration of net theory and graph transformations, parallel and sequential independence of net transformations and token firing |
34 | Richard Eric Mortimer, Keith H. Bennett |
Maintenance and abstraction of program data using formal transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 1996 International Conference on Software Maintenance (ICSM '96), 4-8 November 1996, Monterey, CA, USA, Proceedings, pp. 301-, 1996, IEEE Computer Society, 0-8186-7677-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
program data abstraction, program data maintenance, formal transformations, DREAM method, Data Reverse Engineering and Abstraction Mechanism method, program data restructuring, data changes, code manipulation, discrete types, software maintenance, program transformations, generic method |
34 | Zi-Cai Li, Ching Y. Suen, Tien Dai Bui, Yuan Yan Tang, Quan Lin Gu |
Splitting-Integrating Method for Normalizing Images by Inverse Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 14(6), pp. 678-686, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
images normalisation, splitting-integrating method, picture transformations, inverse nonlinear mapping, picture processing, picture processing, convergence, convergence, antialiasing, inverse transformations |
34 | Michelle Mills Strout, Larry Carter, Jeanne Ferrante |
Compile-time composition of run-time data and iteration reorderings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003, pp. 91-102, 2003, ACM, 1-58113-662-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
data remapping, inspector/executor, iteration reordering, run-time transformations, sparse tiling, optimization |
33 | Mahmut T. Kandemir, Alok N. Choudhary, J. Ramanujam, Prithviraj Banerjee |
A Matrix-Based Approach to the Global Locality Optimization Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques, Paris, France, October 12-18, 1998, pp. 306-313, 1998, IEEE Computer Society, 0-8186-8591-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
optimizing for locality, global (whole program) optimization, combined unified loop and data transformations, loop transformations, data layout optimizations |
33 | Asuman Dogac, Esen A. Ozkarahan |
A Generalized DBMS Implementation on a Database Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1980 ACM SIGMOD International Conference on Management of Data, Santa Monica, California, USA, May 14-16, 1980., pp. 133-143, 1980, ACM Press. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
DML, E/R model query languages, GDBMS, RAP database machine, structural transformations, data models, schemas, operational transformations, database machines, associative processors, DDL |
33 | Mika Siikarla, Markku Laitkorpi, Petri Selonen, Tarja Systä |
Transformations Have to be Developed ReST Assured. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMT@TOOLS ![In: Theory and Practice of Model Transformations - 1st International Conference, ICMT@TOOLS 2008, Zurich, Switzerland, July 1-2, 2008, Proceedings, pp. 1-15, 2008, Springer, 978-3-540-69926-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Jana Koehler, Thomas Gschwind, Jochen Malte Küster, Cesare Pautasso, Ksenia Ryndina, Jussi Vanhatalo, Hagen Völzer |
Combining Quality Assurance and Model Transformations in Business-Driven Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGTIVE ![In: Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, pp. 1-16, 2007, Springer, 978-3-540-89019-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | David G. Haigh |
Analytic approach to or transformations for FET circuit synthesis. Part I. Nullator-norator tree transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2006), 21-24 May 2006, Island of Kos, Greece, 2006, IEEE, 0-7803-9389-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Paolo Baldan, Hartmut Ehrig, Barbara König 0001 |
Composition and Decomposition of DPO Transformations with Borrowed Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings, pp. 153-167, 2006, Springer, 3-540-38870-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Dániel Varró, Szilvia Varró-Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer |
Termination Analysis of Model Transformations by Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings, pp. 260-274, 2006, Springer, 3-540-38870-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Petri nets, model transformation, termination, graph transformation |
32 | Ansgar Schleicher |
Formalizing UML-Based Process Models Using Graph Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGTIVE ![In: Applications of Graph Transformations with Industrial Relevance, International Workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999, Proceedings, pp. 341-357, 1999, Springer, 3-540-67658-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Unified Modeling Language, Process Modeling, Graph Transformations, Process Enactment |
32 | Jeremy Gibbons, Perdita Stevens (eds.) |
Bidirectional Transformations - International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bidirectional Transformations ![Springer, 978-3-319-79107-4 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
32 | Anthony Anjorin |
An Introduction to Triple Graph Grammars as an Implementation of the Delta-Lens Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bidirectional Transformations ![In: Bidirectional Transformations - International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures, pp. 29-72, 2016, Springer, 978-3-319-79107-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
32 | Zhenjiang Hu, Hsiang-Shang Ko |
Principles and Practice of Bidirectional Programming in BiGUL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bidirectional Transformations ![In: Bidirectional Transformations - International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures, pp. 100-150, 2016, Springer, 978-3-319-79107-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
32 | Martin Hofmann 0001 |
Modular Edit Lenses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bidirectional Transformations ![In: Bidirectional Transformations - International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures, pp. 73-99, 2016, Springer, 978-3-319-79107-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
32 | Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel (eds.) |
Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![Springer, 978-3-642-17321-9 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Wilhelm Schäfer, Heike Wehrheim |
Model-Driven Development with Mechatronic UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 533-554, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Peter Klein |
The Architecture Description Language MoDeL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 249-273, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Holger Giese, Stephan Hildebrandt, Stefan Neumann 0002 |
Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 555-579, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Adam Borkowski, Barbara Siemiatkowska, Jacek Szklarski |
Towards Semantic Navigation in Mobile Robotics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 719-748, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Roberto Bruni, Andrea Corradini 0001, Fabio Gadducci, Alberto Lluch-Lafuente, Ugo Montanari |
On GS-Monoidal Theories for Graphs with Nesting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 59-86, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Luca Zanolin, Cecilia Mascolo, Wolfgang Emmerich |
Model Checking Programmable Router Configurations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 473-491, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Reiko Heckel, Paolo Torrini |
Stochastic Modelling and Simulation of Mobile Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 87-101, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Gabor Karsai |
Lessons Learned from Building a Graph Transformation System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 202-223, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Gregor Engels, Stefan Sauer 0001 |
A Meta-Method for Defining Software Engineering Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 411-440, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
32 | André Marburger, Bernhard Westfechtel |
Graph-Based Structural Analysis for Telecommunication Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 363-392, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Arend Rensink |
The Edge of Graph Transformation - Graphs for Behavioural Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 6-32, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Felix Klar, Marius Lauder, Alexander Königs, Andy Schürr |
Extended Triple Graph Grammars with Efficient and Compatible Graph Translators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 141-174, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Matthias Jarke, Ralf Klamma, Klaus Pohl, Ernst Sikora |
Requirements Engineering in Complex Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 602-620, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Ri Hai, Manfred Theißen, Wolfgang Marquardt |
An Extensible Modeling Language for the Representation of Work Processes in the Chemical and Process Industries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 655-682, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Josée Tassé, Nazim H. Madhavji, Amandeep Azad |
Techniques for Merging Views of Software Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 441-472, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Simon M. Becker, Anne-Thérèse Körtgen |
Integration Tools for Consistency Management between Design Documents in Development Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 683-718, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Mark Minas, Hans Jürgen Schneider |
Graph Transformation by Computational Category Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 33-58, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Ulrich Epple |
Model Driven Engineering in Operative Industrial Process Control Environments - - Overview -. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 749-765, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Jürgen Börstler |
Using Role-Play Diagrams to Improve Scenario Role-Play. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 309-334, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Thomas Heer, Markus Heller, Bernhard Westfechtel, René Wörzberger |
Tool Support for Dynamic Development Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 621-654, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Albert Zündorf, Leif Geiger, Ralf Gemmerich, Ruben Jubeh, Jürgen Leohold, Dieter Müller, Carsten Reckord, Christian Schneider 0001, Sven Semmelrodt |
Using Graph Grammars for Modeling Wiring Harnesses - An Experience Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 512-532, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Jürgen Ebert, Daniel Bildhauer |
Reverse Engineering Using Graph Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 335-362, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Stefan Jablonski |
Do We Really Know How to Support Processes? Considerations and Reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 393-410, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Aditya A. Shah, Aleksandr A. Kerzhner, Dirk Schaefer, Christiaan J. J. Paredis |
Multi-view Modeling to Support Embedded Systems Engineering in SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 580-601, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Hans-Jörg Kreowski, Sabine Kuske |
Autonomous Units and Their Semantics - The Concurrent Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Model-Driven Engineering ![In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 102-120, 2010, Springer, 978-3-642-17321-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 12984 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|