Report date: Apr 30, 2024
Conflict count: 350192
Publisher: Springer-Verlag
Title count: 282
Conflict count: 4417


==========================================================

Created: 2005-03-24 16:43:31.0
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)
==========================================================

Created: 2005-03-24 16:43:31.0
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.0
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.0
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.0
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)