Search results for "transformations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	J. Christopher Beck, Patrick Prosser, Evgeny Selensky	Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems.	ICGT	2002	DBLP DOI BibTeX RDF
24	Magdalena Gajewsky, Francesco Parisi-Presicce	On the Compatibility of Model and Model-Class Transformations.	WADT	2001	DBLP DOI BibTeX RDF
24	Hoda Fahmy, Richard C. Holt, James R. Cordy	Wins and Losses of Algebraic Transformations of Software Architectures.	ASE	2001	DBLP DOI BibTeX RDF	software architecture, software maintenance, relational algebra, graph transformation
24	Guenter Stenz, Bernhard M. Riess, Bernhard Rohfleisch, Frank M. Johannes	Performance optimization by interacting netlist transformations andplacement.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
24	Hillol Kargupta	The Genetic Code-Like Transformations and Their Effect on Learning Functions.	PPSN	2000	DBLP DOI BibTeX RDF
24	Willem C. Mallon	On Directed Transformations of Delay-Insensitive Specifications, Alternations and Dynamic Nondeterminism.	ASYNC	2000	DBLP DOI BibTeX RDF	{Communicating Processes}, {Computer Aided Design}, Meta-stability, Formal Methods, Handshake Protocol, Delay-Insensitivity
24	Ganesh Lakshminarayana, Niraj K. Jha	FACT: a framework for applying throughput and power optimizing transformations to control-flow-intensive behavioral descriptions.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
24	Brendan J. Frey, Nebojsa Jojic	Transformed Component Analysis: Joint Estimation of Spatial Transformations and Image Components.	ICCV	1999	DBLP DOI BibTeX RDF
24	Mei Lin Hui, Gavin Lowe	Safe Simplifying Transformations for Security Protocols.	CSFW	1999	DBLP DOI BibTeX RDF
24	Mitrajit Chatterjee, Dhiraj K. Pradhan, Wolfgang Kunz	LOT: Logic Optimization with Testability. New transformations for logic synthesis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1998	DBLP DOI BibTeX RDF
24	Ganesh Lakshminarayana, Niraj K. Jha	FACT: A Framework for the Application of Throughput and Power Optimizing Transformations to Control-Flow Intensive Behavioral Descriptions.	DAC	1998	DBLP DOI BibTeX RDF	high-level synthesis, telecommunication
24	Michael E. Wolf, Dror E. Maydan, Ding-Kai Chen	Combining Loop Transformations Considering Caches and Scheduling.	MICRO	1996	DBLP DOI BibTeX RDF	cache tiling, fission, loop interchange, outer loop unrolling, fusion, instruction scheduling
24	Mitrajit Chatterjee, Dhiraj K. Pradhan, Wolfgang Kunz	LOT: logic optimization with testability-new transformations using recursive learning.	ICCAD	1995	DBLP DOI BibTeX RDF	EX-OR gates, logic optimization with testability, multi-level logic circuits, tstfx, logic design, combinational circuits, logic CAD, gate level, random-pattern testability, recursive learning
24	Vivek Sarkar, Radhika Thekkath	A General Framework for Iteration-Reordering Loop Transformations.	PLDI	1992	DBLP DOI BibTeX RDF
24	Ranga Vemuri, Anuradha Sridhar	Temporal Precondition Verification of Design Transformations.	CAV	1991	DBLP DOI BibTeX RDF
24	Robin A. Nicholl, Tina M. Nicholl	Performing geometric transformations by program transformation.	ACM Trans. Graph.	1990	DBLP DOI BibTeX RDF
24	Susan L. Gerhart	Correctness-Preserving Program Transformations.	POPL	1975	DBLP DOI BibTeX RDF
24	Rui Li 0001, Michel R. V. Chaudron, René C. Ladan	Towards automated software architectures design using model transformations and evolutionary algorithms.	GECCO (Companion)	2010	DBLP DOI BibTeX RDF	architecture transformations, architecture analysis, architecture optimization
24	José María Valls, Ricardo Aler	Optimizing Data Transformations for Classification Tasks.	IDEAL	2009	DBLP DOI BibTeX RDF	General Euclidean Distances, Evolutionary-based Machine Learning, Evolutionary Computation, Data transformations
24	Stephen Drape, Irina Voiculescu	Creating Transformations for Matrix Obfuscation.	SAS	2009	DBLP DOI BibTeX RDF	Program Transformations, Information Hiding, Obfuscation, Matrix Operations
24	Paul Tarau	A Groupoid of Isomorphic Data Transformations.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF	computational mathematics in Haskell, data type transformations, ranking/unranking, Gödel numberings, higher order combinators, hylomorphisms
24	Jarle Hulaas, Walter Binder	Program transformations for light-weight CPU accounting and control in the Java virtual machine.	High. Order Symb. Comput.	2008	DBLP DOI BibTeX RDF	Java, Program transformations, Resource management, Bytecode engineering
24	Vojtech Merunka, Oldrich Nouza, Jirí Brozek	Automated Model Transformations Using the C.C Language.	CIAO! / EOMAS	2008	DBLP DOI BibTeX RDF	C.C language, BORM, model transformations, modelling and simulation
24	László Gönczy, Zsolt Déri, Dániel Varró	Model Transformations for Performability Analysis of Service Configurations.	MoDELS (Workshops)	2008	DBLP DOI BibTeX RDF	Model-driven Analysis, Service-Oriented Architecture, Performability Analysis, Model Transformations
24	Pascal Bihler, Merlin Fotsing, Günter Kniesel, Cédric Joffroy	Using conditional transformations for semantic user interface adaptation.	iiWAS	2008	DBLP DOI BibTeX RDF	LAIM, conditional transformations, web form rendering, abstract user interfaces
24	Greg Freeman, Don S. Batory, R. Greg Lavender	Lifting Transformational Models of Product Lines: A Case Study.	ICMT@TOOLS	2008	DBLP DOI BibTeX RDF	transformation reuse, highlevel transformations, code generation, features, product-lines, model composition
24	Lin Wang 0008, Hitomi Sato, Ling Jin, Pei-Luen Patrick Rau, Yoko Asano	Perception of Movements and Transformations in Flash Animations of Older Adults.	HCI (1)	2007	DBLP DOI BibTeX RDF	Flash Animations, Transformations, Older Adults, Movements
24	Paavo Kukkurainen	Fuzzy Subgroups with Meet Operation in the Connection of Möbius Transformations.	IFSA (1)	2007	DBLP DOI BibTeX RDF	Fixed points and multipliers of Möbius transformations, conjugation, fuzzy subgroups, meet operation, stabilizers
24	Joel Friedman	Linear Transformations in Boolean Complexity Theory.	CiE	2007	DBLP DOI BibTeX RDF	Boolean circuit complexity, linear transformations, cohomology
24	Yaun-Kai Ko, Shyi-Ming Chen	Fuzzy Interpolative Reasoning Via Cutting and Transformations Techniques.	IEA/AIE	2007	DBLP DOI BibTeX RDF	Fuzzy interpolative reasoning, cutting and transformation techniques, increment and ratio transformations, sparse fuzzy rule-based systems
24	Gregor Engels, Baris Güldali, Christian Soltenborn, Heike Wehrheim	Assuring Consistency of Business Process Models and Web Services Using Visual Contracts.	AGTIVE	2007	DBLP DOI BibTeX RDF	UML Activities, visual contracts, web services, Business processes, graph transformations
24	Samar Abdi, Daniel Gajski	Verification of System Level Model Transformations.	Int. J. Parallel Program.	2006	DBLP DOI BibTeX RDF	verification, model transformations, design methodology, System level modeling
24	Tolga Ayav, Pascal Fradet, Alain Girault	Implementing fault-tolerance in real-time systems by automatic program transformations.	EMSOFT	2006	DBLP DOI BibTeX RDF	fault-tolerance, program transformations, checkpointing, heartbeating
24	Arda Goknil, N. Yasemin Topaloglu	Ontological perspective in metamodeling for model transformations.	Metainformatics	2005	DBLP DOI BibTeX RDF	ontology, model transformations, metamodeling, transformation languages
24	Michael Narayan, Christopher Williams 0002, Saverio Perugini, Naren Ramakrishnan	Staging transformations for multimodal web interaction management.	WWW	2004	DBLP DOI BibTeX RDF	out-of-turn interaction, web dialogs, program transformations, partial evaluation, mixed-initiative interaction
24	Roman Kolpakov	Classes of Binary Rational Distributions Closed under Discrete Transformations.	SAGA	2003	DBLP DOI BibTeX RDF	probabilistic transformations, Stochastic automata
24	Peter Z. Yeh, Bruce W. Porter, Ken Barker 0002	Using transformations to improve semantic matching.	K-CAP	2003	DBLP DOI BibTeX RDF	inexact matching, ontology, transformations, conceptual graphs, semantic matching
24	Yosi Ben-Asher, Esti Stein	Basic Results in Automatic Transformations of Shared Memory Parallel Programs into Sequential Programs.	J. Supercomput.	2000	DBLP DOI BibTeX RDF	fairness, transformations, shared memory, sequentialize, execution sequence
24	Franz Binder, Erhard Aichinger, Jürgen Ecker, Christof Nöbauer, Peter Mayr 0001	Algorithms for near-rings of non-linear transformations.	ISSAC	2000	DBLP DOI BibTeX RDF	near-rings, non-linear transformations, groups
24	Otmane Aït Mohamed, Eduard Cerny, Xiaoyu Song	MDG-based Verification by Retiming and Combinational Transformations.	Great Lakes Symposium on VLSI	1998	DBLP DOI BibTeX RDF	Circuit Transformations, Non-termination, Formal Verification, Retiming, Multiway Decision Graphs
24	Mahesh Mehendale, Somdipta Basu Roy, Sunil D. Sherlekar, G. Venkatesh 0001	Coefficient Transformations for Area-Efficient Implementation of Multiplier-less FIR Filters.	VLSI Design	1998	DBLP DOI BibTeX RDF	High Level Synthesis-Transformations, FIR Filters
24	Kathryn S. McKinley, Steve Carr 0001, Chau-Wen Tseng	Improving Data Locality with Loop Transformations.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	loop distribution, loop permutation, loop reversal, simulation, Cache, microprocessors, compiler optimization, data locality, loop transformations, loop fusion
24	Foto N. Afrati, Manolis Gergatsoulis, Maria Katzouraki	On Transformations into Linear Database Logic Programs.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF	Datalog programs, program transformations, deductive databases, program optimization
24	Punam K. Saha, B. B. Chaudhuri 0001	Detection of 3-D Simple Points for Topology Preserving Transformations with Application to Thinning.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	3-D simple points, 3-D digital topology preservation, binary transformations, 3-D object thinning, object voxel, nonobject voxel, 3-D digital geometry, point detection algorithm, surface-skeleton, image processing, computational geometry, topology
24	Friedrich L. Bauer, Bernhard Möller, Helmuth Partsch, Peter Pepper	Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	program construction by transformations, formal problem specification, Munich project CIP, computer-aided intuition-guided programming, software engineering, formal specification, software development, transformation rules, wide-spectrum language, transformational programming
23	Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano 0001	Towards a compositional approach to model transformation for software development.	SAC	2009	DBLP DOI BibTeX RDF
23	Robert Paige	An NSF Proposal.	High. Order Symb. Comput.	2005	DBLP DOI BibTeX RDF	data structure selection, program transformation, partial evaluation, software productivity, software performance, language translators
23	Alexander Scivos, Bernhard Nebel	The Finest of its Class: The Natural Point-Based Ternary Calculus for Qualitative Spatial Reasoning.	Spatial Cognition	2004	DBLP DOI BibTeX RDF
23	Ivan Popivanov, Renée J. Miller	Similarity Search Over Time-Series Data Using Wavelets.	ICDE	2002	DBLP DOI BibTeX RDF	wavelets, time-series, similarity search
23	Hao Fan	Tracing Data Lineage Using Automed Schema Transformation Pathways.	BNCOD	2002	DBLP DOI BibTeX RDF
23	Emmanuel Pietriga, Jean-Yves Vion-Dury	VXT: Visual XML Transformer.	HCC	2001	DBLP DOI BibTeX RDF
23	Norman Ramsey	Relocating Machine Instructions by Currying.	PLDI	1996	DBLP DOI BibTeX RDF
23	Alexander Aiken, John H. Williams, Edward L. Wimmers	Safe: A Semantic Technique for Transforming Programs in the Presence of Errors.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	program transformation, exceptions, program optimization, equational reasoning
23	John Hatcliff, Olivier Danvy	A Generic Account of Continuation-Passing Styles.	POPL	1994	DBLP DOI BibTeX RDF
23	Kevin Lano, David Clark 0001	Model Transformation Specification and Verification.	QSIC	2008	DBLP DOI BibTeX RDF	UML, Specification, Model transformations
23	Ekaterina Shemyakova, Elizabeth L. Mansfield	Moving frames for laplace invariants.	ISSAC	2008	DBLP DOI BibTeX RDF	gauge transformations, partial differential operators, invariants, moving frames
23	Yu-Shen Yang, Subarnarekha Sinha, Andreas G. Veneris, Robert K. Brayton	Automating Logic Rectification by Approximate SPFDs.	ASP-DAC	2007	DBLP DOI BibTeX RDF	SAT-based algorithm, approximate SPFD, digital VLSI cycle, incremental rewiring-based optimization operations, automated logic rectification tools, predefined logic transformations, memory/time explosion problem, design errors
23	Rodrigo Ramos, Augusto Sampaio, Alexandre Mota 0001	A Semantics for UML-RT Active Classes via Mapping into Circus.	FMOODS	2005	DBLP DOI BibTeX RDF	model transformations, method integration, UML-RT, Circus
23	Aida Boukottaya, Christine Vanoirbeek	Schema matching for transforming structured documents.	ACM Symposium on Document Engineering	2005	DBLP DOI BibTeX RDF	document structure transformations, schema matching
23	Olivier Beaudoux	XML active transformation (eXAcT): transforming documents within interactive systems.	ACM Symposium on Document Engineering	2005	DBLP DOI BibTeX RDF	active transformations, XML, GUI, SVG, authoring tools
23	Abhik Roychoudhury, I. V. Ramakrishnan	Inductively Verifying Invariant Properties of Parameterized Systems.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	induction proofs, logic programming, program transformations, concurrent systems, unfolding, folding, parameterized systems
23	Roger D. Hersch, Sylvain Chosson	Band moiré images.	ACM Trans. Graph.	2004	DBLP DOI BibTeX RDF	2D moirés images, Optical art, band moirés, layer transformations, moiré effect, moiré transformation
23	Igor Ivkovic, Kostas Kontogiannis	Model synchronization as a problem of maximizing model dependencies.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	MDSE, transformation mapping, model transformations, RUP, model synchronization
23	Jean Ferrié, Nicolas Vidot, Michèle Cart	Concurrent Undo Operations in Collaborative Environments Using Operational Transformation.	CoopIS/DOA/ODBASE (1)	2004	DBLP DOI BibTeX RDF	Distributed collaborative systems, copies consistency, concurrent undo, operational transformations
23	Sheena R. Judson	Pattern-based model transformation.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	query/views/transformations (QVT), UML, design patterns, model driven architecture (MDA), model transformation, model evolution
23	Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher	Representation results for defeasible logic.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	transformations, normal forms, defeasible logic
23	Kostas Masselos, Koen Danckaert, Francky Catthoor, Nikolaos D. Zervas, Constantinos E. Goutis, Hugo De Man	A Specification Refinement Methodology for Power Efficient Partitioning of Data-Dominated Algorithms Within Performance Constraints.	J. VLSI Signal Process.	2000	DBLP DOI BibTeX RDF	processor partitioning, memory cost, performance constraints, multi-media, code transformations
23	Weidong Chen 0005, David Scott Warren	Tabled Evaluation With Delaying for General Logic Programs.	J. ACM	1996	DBLP DOI BibTeX RDF	tabled evaluation, program transformations, stable models, well-founded models
23	Wojtek Kozaczynski, Jim Q. Ning, Andre Engberts	Program Concept Recognition and Transformation.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	automated concept recognition, software maintenance, software maintenance, program transformations, program understanding, programming theory, software reengineering
23	Jorge L. Aravena, Abdulkader O. Barbir	A Class of Low Complexity High Concurrence Algorithms.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	transformations families, low complexity high concurrence algorithms, dedicatedcomputing structures, compute cycles, matrixmultiplication array, parallel algorithms, architecture, matrix algebra, real-time applications, least square approximation, least squares approximations, design parameter, computationalcomplexity
23	W. Eric L. Grimson, Daniel P. Huttenlocher	On the Sensitivity of the Hough Transform for Object Recognition.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	false peak likelihood bound, tessellation effects, pattern recognition, pattern recognition, object recognition, picture processing, picture processing, transforms, noise, occlusion, Hough transform, sensitivity, sensitivity, false positives, coordinate transformations, sensory data
23	Andrea Maggiolo-Schettini, Margherita Napoli, Genoveffa Tortora	Web Structures: A Tool for Representing and Manipulating Programs.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	high-level data flow analyzer, web structure transformations, data structures, graph theory, software tools, software tools, program transformers, program verification, programming theory, set theory, category theory, production rules, web structures
22	Aart J. C. Bik, Harry A. G. Wijshoff	Automatic Data Structure Selection and Transformation for Sparse Matrix Computations.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	Data structure selection, data structure transformations, program transformations, sparse matrix computations, restructuring compilers
22	Jack W. Davidson, Sanjay Jinturkar	Aggressive Loop Unrolling in a Retargetable Optimizing Compiler.	CC	1996	DBLP DOI BibTeX RDF	Code improving transformations, Compiler optimizations, Loop transformations, Loop unrolling
22	Vijay Balasubramanian, Prithviraj Banerjee	Compiler-Assisted Synthesis of Algorithm-Based Checking in Multiprocessors.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	compiler assisted synthesis, algorithm-based checking, Fortran DO loops, LINPACK routine, DGEFA, fault tolerant computing, concurrency control, multiprocessors, multiprocessing systems, matrix multiplication, linear transformations, nonlinear transformations
22	Marcos Didonet Del Fabro, Patrick Albert, Jean Bézivin, Frédéric Jouault	Achieving Rule Interoperability Using Chains of Model Transformations.	ICMT@TOOLS	2009	DBLP DOI BibTeX RDF
22	Paolo Baldan, Barbara König 0001	Workshop on Petri Nets and Graph Transformations.	ICGT	2008	DBLP DOI BibTeX RDF
22	Guilherme Rangel, Leen Lambers, Barbara König 0001, Hartmut Ehrig, Paolo Baldan	Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts.	ICGT	2008	DBLP DOI BibTeX RDF
22	Ion Petre, Grzegorz Rozenberg	Summary of the Workshop on Natural Computing and Graph Transformations.	ICGT	2008	DBLP DOI BibTeX RDF
22	Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Benjamin Ness, Feng Shi, Ryan Thibodeaux, Gabor Karsai	Applying a Grouping Operator in Model Transformations.	AGTIVE	2007	DBLP DOI BibTeX RDF	Model Transformation, Graph Transformation
22	Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg	Workshop on Petri Nets and Graph Transformations.	ICGT	2006	DBLP DOI BibTeX RDF
22	Gemma Casas-Garriga, José L. Balcázar	Coproduct Transformations on Lattices of Closed Partial Orders.	ICGT	2004	DBLP DOI BibTeX RDF
22	Bruno Courcelle, David Janin	Workshop on Logic, Graph Transformations, Finite and Infinite Structures.	ICGT	2004	DBLP DOI BibTeX RDF
22	Reiko Heckel, Tom Mens	Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions.	ICGT	2004	DBLP DOI BibTeX RDF
22	Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg	Workshop on Petri Nets and Graph Transformations.	ICGT	2004	DBLP DOI BibTeX RDF
22	Paolo Bottoni, Francesco Parisi-Presicce, Gabriele Taentzer	Specifying Integrated Refactoring with Distributed Graph Transformations.	AGTIVE	2003	DBLP DOI BibTeX RDF
22	Christoph M. Hoffmann, Andrew Lomonosov, Meera Sitharam	Planning Geometric Constraint Decomposition via Optimal Graph Transformations.	AGTIVE	1999	DBLP DOI BibTeX RDF
21	Sara Kalvala, Richard Warburton, David Lacey	Program transformations using temporal logic side conditions.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	temporal logic, program transformation, rewriting, Optimizing compilers
21	Milton Roberto Heinen, Paulo Martins Engel	Evaluation of visual attention models under 2D similarity transformations.	SAC	2009	DBLP DOI BibTeX RDF
21	Anna Paszynska, Maciej Paszynski, Ewa Grabska	Graph Transformations for Modeling hp-Adaptive Finite Element Method with Mixed Triangular and Rectangular Elements.	ICCS (2)	2009	DBLP DOI BibTeX RDF
21	Jon Oldevik, Øystein Haugen, Birger Møller-Pedersen	Confluence in Domain-Independent Product Line Transformations.	FASE	2009	DBLP DOI BibTeX RDF
21	José-Luis Blanco, Javier Gonzalez, Juan-Antonio Fernández-Madrigal	Extending obstacle avoidance methods through multiple parameter-space transformations.	Auton. Robots	2008	DBLP DOI BibTeX RDF	Mobile robots, Path planning, Obstacle avoidance
21	Tarvo Raudvere, Ingo Sander, Axel Jantsch	Application and Verification of Local Nonsemantic-Preserving Transformations in System Design.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
21	Claudio Turchetti, Paolo Crippa, Massimiliano Pirani, Giorgio Biagetti	Representation of Nonlinear Random Transformations by Non-Gaussian Stochastic Neural Networks.	IEEE Trans. Neural Networks	2008	DBLP DOI BibTeX RDF
21	Yoshikazu Hayakawa, Tomohiko Jimbo	Floquet transformations for discrete-time systems: Equivalence between periodic systems and time-invariant ones.	CDC	2008	DBLP DOI BibTeX RDF
21	Sebastian Stein 0002, Stefan Kühne, Konstantin Ivanov	Business to IT Transformations Revisited.	Business Process Management Workshops	2008	DBLP DOI BibTeX RDF
21	Jaroslav Sevcík, David Aspinall 0001	On Validity of Program Transformations in the Java Memory Model.	ECOOP	2008	DBLP DOI BibTeX RDF
21	Qing Wang 0002, Klaus-Dieter Schewe, Bernhard Thalheim	XML Database Transformations with Tree Updates.	ABZ	2008	DBLP DOI BibTeX RDF
21	Andrea Masini, Luca Viganò 0001, Margherita Zorzi	A Qualitative Modal Representation of Quantum Register Transformations.	ISMVL	2008	DBLP DOI BibTeX RDF	quantum registers, modal logic, quantum logic
21	Anna Paszynska, Maciej Paszynski, Ewa Grabska	Graph Transformations for Modeling hp-Adaptive Finite Element Method with Triangular Elements.	ICCS (3)	2008	DBLP DOI BibTeX RDF