http://www.cs.uni-paderborn.de/uploads/tx_sibibtex/Model_trasformations_2010.pdf http://www.cs.uni-paderborn.de/uploads/tx_sibibtex/Measure__diagnose__refactor_A_formal_quality_cycle_for_software_models.pdf http://www.cs.uni-paderborn.de/uploads/tx_sibibtex/Refinement-Preserving_Co-evolution.pdf http://www.cs.uni-paderborn.de/uploads/tx_sibibtex/ERW07.pdf http://www.cs.uni-paderborn.de/uploads/tx_sibibtex/RW07.pdf http://www.cs.uni-paderborn.de/uploads/tx_sibibtex/MWW08-ICFEM.pdf http://www.cs.uni-paderborn.de/uploads/tx_sibibtex/Me07-IFM.pdf http://www.cs.uni-paderborn.de/uploads/tx_sibibtex/MWW08-ICFEM.pdf http://www.cs.uni-paderborn.de/uploads/tx_sibibtex/On_symmetries_and_sportlights-.pdf http://www.cs.uni-paderborn.de/uploads/tx_sibibtex/Three_Valued_Spotlight_Abstractions.pdf http://www.cs.uni-paderborn.de/uploads/tx_sibibtex/Towards_a_shape_analysis_for_gts.pdf http://www.cs.uni-paderborn.de/uploads/tx_sibibtex/Heuristic_Search-based_Planning_for_Graph_Transformation_Systems.pdf http://www.cs.uni-paderborn.de/uploads/tx_sibibtex/BA-2008-Travkin-Oleg.pdf http://www.cs.uni-paderborn.de/uploads/tx_sibibtex/From_UML_Activities_to_TAAL_-_Towards_Behaviour-Preserving_Model_Transformations_01.pdf http://www.cs.uni-paderborn.de/uploads/tx_sibibtex/Showing_full_semantics_perserv._in_model_transformation.pdf http://www.cs.uni-paderborn.de/uploads/tx_sibibtex/DSW07.pdf http://www.cs.uni-paderborn.de/uploads/tx_sibibtex/Mechanizing_a_Correctness_Proof_for_a_Lock-Free_Concurrent_Stack.pdf http://www.cs.uni-paderborn.de/uploads/tx_sibibtex/fulltext_01.pdf