Report date: Nov 6,2024 Conflict count: 361874 Publisher: Springer-Verlag Title count: 281 Conflict count: 3959 ========================================================== Created: 2005-03-24 16:43:31 ConfID: 4712238 CauseID: 171653717 OtherID: 165712302 JT: Programming and Computer Software MD: Gorshkova,31,1,29,2005,A UML-based modeling of web application controller DOI: 10.1007/s11086-005-0004-x(Journal) (4712238-N) DOI: 10.1007/s11086-005-0010-z(Journal) ========================================================== Created: 2005-03-24 16:43:31 ConfID: 4893400 CauseID: 171653717 OtherID: 165712302 JT: Programming and Computer Software MD: Nepomniaschy,31,1,1,2005,Symbolic method of verification of definite iterations over altered data structures DOI: 10.1007/s11086-005-0001-0(Journal) (4893400-N) DOI: 10.1007/s11086-005-0007-7(Journal) ========================================================== Created: 2005-03-24 16:43:31 ConfID: 4599298 CauseID: 171653717 OtherID: 165712302 JT: Programming and Computer Software MD: Kossatchev,31,1,10,2005,Survey of Compiler Testing Methods DOI: 10.1007/s11086-005-0002-z(Journal) (4599298-N) DOI: 10.1007/s11086-005-0008-6(Journal) ========================================================== Created: 2005-03-24 16:43:31 ConfID: 4740370 CauseID: 171653717 OtherID: 165712302 JT: Programming and Computer Software MD: Lizorkin,31,1,34,2005,Implementation of the XML linking language XLink by functional methods DOI: 10.1007/s11086-005-0005-9(Journal) (4740370-N) DOI: 10.1007/s11086-005-0011-y(Journal) ========================================================== Created: 2005-03-24 16:43:31 ConfID: 4586028 CauseID: 171653717 OtherID: 165712302 JT: Programming and Computer Software MD: Kalinov,31,1,20,2005,An approach to the development of debuggers that use semantics of constructs of parallel programs DOI: 10.1007/s11086-005-0003-y(Journal) (4586028-N) DOI: 10.1007/s11086-005-0009-5(Journal)