{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:57:20Z","timestamp":1725494240242},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422358"},{"type":"electronic","value":"9783540457206"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45720-8_19","type":"book-chapter","created":{"date-parts":[[2007,11,5]],"date-time":"2007-11-05T13:37:02Z","timestamp":1194269822000},"page":"158-165","source":"Crossref","is-referenced-by-count":2,"title":["Verifying Properties of Neural Networks"],"prefix":"10.1007","author":[{"given":"Pedro","family":"Rodrigues","sequence":"first","affiliation":[]},{"given":"J. F\u00e9lix","family":"Costa","sequence":"additional","affiliation":[]},{"given":"Hava T.","family":"Siegelmann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,12]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Bradfield, J.: Verifying Temporal Properties of Systems with Applications to Petri Nets, PhD thesis, University of Edinburgh (1991)","DOI":"10.1007\/978-1-4684-6819-9_4"},{"key":"19_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/BFb0019967","volume-title":"Advances in Petri Nets","author":"J. Bradfield","year":"1991","unstructured":"Bradfield, J.: Proving Temporal Properties of Petri Nets. In Rozenberg, G. (eds.): Advances in Petri Nets 1991. Lecture Notes in Computer Science, Vol. 524. Springer-Verlag, Berlin (1991) 29\u201347"},{"key":"19_CR3","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/0304-3975(92)90183-G","volume":"96","author":"J. Bradfield","year":"1992","unstructured":"Bradfield, J., Stirling, C.:,Local Model Checking for Infinite State Spaces. Theoretical Computer Science, Vol. 96. (1992) 157\u2013174","journal-title":"Theoretical Computer Science"},{"key":"19_CR4","unstructured":"Emerson, E. A., Lei, C.-L.: Efficient Model Checking in Fragments of the Propositional Mucalculus. Proceedings of the 1st IEEE Symposium on Logic in Computer Science, (1986) 267\u2013278"},{"issue":"3","key":"19_CR5","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1162\/neco.1992.4.3.393","volume":"4","author":"C. Gilles","year":"1992","unstructured":"Gilles, C., Miller, C., Chen, D., Chen, H., Sun, G., Lee, Y.: Learning and Extracting Finite State Automata with Second-Order Recurrent Neural Networks. Neural Computation, Vol. 4 3 (1992) 393\u2013405","journal-title":"Neural Computation"},{"issue":"1-2","key":"19_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(94)00200-3","volume":"141","author":"F. Gruau","year":"1995","unstructured":"Gruau, F., Ratajszczak, J., Wiber, G.: A neural compiler. Theoretical Computer Science, Vol. 141(1-2) (1995) 1\u201352","journal-title":"Theoretical Computer Science"},{"key":"19_CR7","first-page":"201","volume":"1","author":"J. P. Neto","year":"1998","unstructured":"Neto, J. P., Siegelmann, H. T., Costa, J. F.: On the Implementation of Programming Languages with Neural Nets. In First International Conference on Computing Anticipatory Systems (CASYS\u201997). CHAOS, 1 (1998) 201\u2013208","journal-title":"First International Conference on Computing Anticipatory Systems (CASYS\u201997)"},{"key":"19_CR8","unstructured":"Neto, J. P., Siegelmann, H. T., Costa, J. F.: Building Neural Net Software. submitted, (1999)"},{"key":"19_CR9","volume-title":"On Connectionism Models of Natural Language Processing","author":"J. Pollack","year":"1987","unstructured":"Pollack, J.: On Connectionism Models of Natural Language Processing. PhD thesis. University of Illinois, Urbana (1987)"},{"issue":"4","key":"19_CR10","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1142\/S0129626496000510","volume":"6","author":"H. T. Siegelmann","year":"1996","unstructured":"Siegelmann, H. T.: On NIL: the Software Constructor of Neural Networks. Parallel Processing Letters. Vol. 6 4, World Scientific Publishing Company (1996) 575\u2013582","journal-title":"Parallel Processing Letters"},{"key":"19_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0707-8","volume-title":"Neural Networks and Analog Computation: beyond the Turing limit","author":"H. T. Siegelmann","year":"1999","unstructured":"Siegelmann, H. T.: Neural Networks and Analog Computation: beyond the Turing limit. Birkh\u00e4user, Boston (1999)"}],"container-title":["Lecture Notes in Computer Science","Connectionist Models of Neurons, Learning Processes, and Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45720-8_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T05:23:00Z","timestamp":1556947380000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45720-8_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422358","9783540457206"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-45720-8_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}