{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,20]],"date-time":"2024-07-20T16:10:30Z","timestamp":1721491830199},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2006,5,1]],"date-time":"2006-05-01T00:00:00Z","timestamp":1146441600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Comput Sci Technol"],"published-print":{"date-parts":[[2006,5]]},"DOI":"10.1007\/s11390-006-0450-9","type":"journal-article","created":{"date-parts":[[2006,6,23]],"date-time":"2006-06-23T09:56:11Z","timestamp":1151056571000},"page":"450-458","source":"Crossref","is-referenced-by-count":1,"title":["A Component-Based Debugging Approach for Detecting Structural Inconsistencies in Declarative Equation Based Models"],"prefix":"10.1007","volume":"21","author":[{"given":"Jian-Wan","family":"Ding","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Li-Ping","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fan-Li","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"8","key":"450_CR1","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1177\/0037549704046340","volume":"80","author":"P Bunus","year":"2004","unstructured":"Bunus P, Fritzson P. Automated static analysis of equation-based components. Simulation: Trans. the Society for Modeling and Simulation International, 2004, 80(8): 321\u2013345.","journal-title":"Simulation: Trans. the Society for Modeling and Simulation International"},{"issue":"5-6","key":"450_CR2","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1016\/0378-4754(94)00112-6","volume":"39","author":"S E Mattsson","year":"1995","unstructured":"Mattsson S E. Simulation of object-oriented continuous time models. Mathematics and Computers in Simulation, 1995, 39(5-6): 513\u2013518.","journal-title":"Mathematics and Computers in Simulation"},{"issue":"4-5","key":"450_CR3","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1016\/S0098-1354(97)00231-7","volume":"22","author":"W Morton","year":"1998","unstructured":"Morton W, Collingwood C. An equation analyzer for process models. Computers and Chemical Engineering, 1998, 22(4-5): 571\u2013585.","journal-title":"Computers and Chemical Engineering"},{"issue":"11","key":"450_CR4","doi-asserted-by":"crossref","first-page":"1482","DOI":"10.1109\/TCSI.2003.818620","volume":"50","author":"G Rei\u00dfig","year":"2003","unstructured":"Rei\u00dfig G, Feldmann U. A simple and general method for detecting structural inconsistencies in large electrical networks. IEEE Trans. Circuits and Systems I: Fundamental Theory and Applications, 2003, 50(11): 1482\u20131485.","journal-title":"IEEE Trans. Circuits and Systems I: Fundamental Theory and Applications"},{"key":"450_CR5","doi-asserted-by":"crossref","unstructured":"Fritzson P, Engelson V. Modelica\u2014A unified object-oriented language for system modeling and simulation. Lecture Notes in Computer Science 1445, Springer-Verlag, 1998, pp.67\u201390.","DOI":"10.1007\/BFb0054087"},{"key":"450_CR6","doi-asserted-by":"crossref","unstructured":"Elmqvist H, Mattsson S E, Otter M. Modelica\u2014A language for physical system modeling, visualization and interaction. In Proc. the IEEE Symposium on Computer-Aided Control System Design, Hawaii, USA, 1999, pp.630\u2013639.","DOI":"10.1109\/CACSD.1999.808720"},{"key":"450_CR7","unstructured":"Fritzson P. Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. IEEE Press, 2003."},{"key":"450_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-1561-6","volume-title":"Introduction to Physical Modeling with Modelica","author":"M Tiller","year":"2001","unstructured":"Tiller M. Introduction to Physical Modeling with Modelica. Boston: Kluwer Academic, 2001."},{"key":"450_CR9","doi-asserted-by":"crossref","unstructured":"Asratian A S, Denley T, H\u00e4ggkvist R. Bipartite Graphs and Their Applications. Cambridge University Press, 1998.","DOI":"10.1017\/CBO9780511984068"},{"key":"450_CR10","doi-asserted-by":"crossref","first-page":"517","DOI":"10.4153\/CJM-1958-052-0","volume":"10","author":"A L Dulmage","year":"1963","unstructured":"Dulmage A L, Mendelsohn N S. Coverings of bipartite graphs. Canadian Journal of Mathematics, 1963, 10: 517\u2013534.","journal-title":"Canadian Journal of Mathematics"},{"key":"450_CR11","unstructured":"Ait-Aoudia S, Jegou R, Michelucci D. Reduction of constraint systems. In Proc. Compugraphics, Alvor, Portugal, 1993, pp.83\u201392."},{"issue":"4","key":"450_CR12","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1145\/98267.98287","volume":"16","author":"A Pothen","year":"1990","unstructured":"Pothen A, Fan C J. Computing the block triangular form of a sparse matrix. ACM Trans. Mathematical Software, 1990, 16(4): 303\u2013324.","journal-title":"ACM Trans. Mathematical Software"},{"issue":"4","key":"450_CR13","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1137\/0202019","volume":"2","author":"J E Hopcroft","year":"1973","unstructured":"Hopcroft J E, Karp R M. An n5\/2 algorithm for maximum matchings in bipartite graphs. SIAM Journal of Computing, 1973, 2(4): 225\u2013231.","journal-title":"SIAM Journal of Computing"},{"key":"450_CR14","doi-asserted-by":"crossref","unstructured":"Uno T. Algorithms for enumerating all perfect, maximum and maximal matchings in bipartite graphs. Lecture Notes in Computer Science 1350, Springer-Verlag, 1997, pp.92\u2013101.","DOI":"10.1007\/3-540-63890-3_11"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-006-0450-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11390-006-0450-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-006-0450-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:32:36Z","timestamp":1559385156000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11390-006-0450-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,5]]},"references-count":14,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006,5]]}},"alternative-id":["450"],"URL":"https:\/\/doi.org\/10.1007\/s11390-006-0450-9","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,5]]}}}