Sila Konur - Publications

Affiliations: 
2004 Columbia University, New York, NY 

3/30 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2004 Konur S, Yuste R. Imaging the motility of dendritic protrusions and axon terminals: roles in axon sampling and synaptic competition. Molecular and Cellular Neurosciences. 27: 427-40. PMID 15555921 DOI: 10.1016/J.Mcn.2004.07.005  0.512
2004 Konur S, Yuste R. Developmental regulation of spine and filopodial motility in primary visual cortex: reduced effects of activity and sensory deprivation. Journal of Neurobiology. 59: 236-46. PMID 15085540 DOI: 10.1002/Neu.10306  0.473
2003 Konur S, Rabinowitz D, Fenstermaker VL, Yuste R. Systematic regulation of spine sizes and densities in pyramidal neurons. Journal of Neurobiology. 56: 95-112. PMID 12838576 DOI: 10.1002/Neu.10229  0.463
Low-probability matches (unlikely to be authored by this person)
2006 Tashiro A, Aaron G, Aronov D, Cossart R, Dumitriu D, Fenstermaker V, Goldberg J, Hamzei-Sichani F, Ikegaya Y, Konur S, MacLean J, Nemet B, Nikolenko V, Portera-Cailliau C, Yuste R. Imaging brain slices Handbook of Biological Confocal Microscopy: Third Edition. 722-735. DOI: 10.1007/978-0-387-45524-2_41  0.172
2005 Konur S, Ghosh A. Calcium signaling and the control of dendritic development. Neuron. 46: 401-5. PMID 15882639 DOI: 10.1016/j.neuron.2005.04.022  0.099
2014 Bakir ME, Konur S, Gheorghe M, Niculescu I, Ipate F. High performance simulations of kernel P systems Proceedings - 16th Ieee International Conference On High Performance Computing and Communications, Hpcc 2014, 11th Ieee International Conference On Embedded Software and Systems, Icess 2014 and 6th International Symposium On Cyberspace Safety and Security, Css 2014. 409-412. DOI: 10.1109/HPCC.2014.69  0.036
2014 Bakir ME, Ipate F, Konur S, Mierla L, Niculescu I. Extended simulation and verification platform for Kernel P systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8961: 158-178. DOI: 10.1007/978-3-319-14370-5_10  0.03
2014 Dragomir C, Ipate F, Konur S, Lefticaru R, Mierla L. Model checking kernel P systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8340: 151-172. DOI: 10.1007/978-3-642-54239-8-12  0.022
2010 Altan L, Ercan I, Konur S. Reliability and validity of Turkish version of the patient rated tennis elbow evaluation. Rheumatology International. 30: 1049-54. PMID 19707766 DOI: 10.1007/s00296-009-1101-6  0.02
2014 Konur S, Gheorghe M, Dragomir C, Ipate F, Krasnogor N. Conventional verification for unconventional computing: A Genetic XOR gate example Fundamenta Informaticae. 134: 97-110. DOI: 10.3233/FI-2014-1093  0.017
2015 Konur S, Gheorghe M, Dragomir C, Mierla L, Ipate F, Krasnogor N. Qualitative and quantitative analysis of systems and synthetic biology constructs using P systems. Acs Synthetic Biology. 4: 83-92. PMID 25090609 DOI: 10.1021/sb500134w  0.016
2015 Gheorghe M, Konur S, Ipate F, Mierla L, Bakir ME, Stannett M. An integrated model checking toolset for kernel P systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9504: 153-170. DOI: 10.1007/978-3-319-28475-0_11  0.016
2013 Konur S. A survey on temporal logics for specifying and verifying real-time systems Frontiers of Computer Science. 7: 370-403. DOI: 10.1007/s11704-013-2195-2  0.01
2016 Camci F, Eker OF, Baskan S, Konur S. Comparison of sensors and methodologies for effective prognostics on railway turnout systems Proceedings of the Institution of Mechanical Engineers, Part F: Journal of Rail and Rapid Transit. 230: 24-42. DOI: 10.1177/0954409714525145  0.01
2015 Konur S, Gheorghe M. A Property-Driven Methodology for Formal Analysis of Synthetic Biology Systems. Ieee/Acm Transactions On Computational Biology and Bioinformatics / Ieee, Acm. 12: 360-71. PMID 26357223 DOI: 10.1109/TCBB.2014.2362531  0.01
2015 Konur S, Gheorghe M. A Property-Driven Methodology for Formal Analysis of Synthetic Biology Systems Ieee/Acm Transactions On Computational Biology and Bioinformatics. 12: 360-371. DOI: 10.1109/TCBB.2014.2362531  0.01
2014 Konur S. Towards light-weight probabilistic model checking Journal of Applied Mathematics. 2014. DOI: 10.1155/2014/814159  0.01
2014 Sanassy D, Fellermann H, Krasnogor N, Konur S, Mierla LM, Gheorghe M, Ladroue C, Kalvala S. Modelling and stochastic simulation of synthetic biological boolean gates Proceedings - 16th Ieee International Conference On High Performance Computing and Communications, Hpcc 2014, 11th Ieee International Conference On Embedded Software and Systems, Icess 2014 and 6th International Symposium On Cyberspace Safety and Security, Css 2014. 404-408. DOI: 10.1109/HPCC.2014.68  0.01
2014 Konur S, Fisher M. A roadmap to pervasive systems verification Knowledge Engineering Review. 70. DOI: 10.1017/S0269888914000228  0.01
2014 Konur S. Specifying safety-critical systems with a decidable duration logic Science of Computer Programming. 80: 264-287. DOI: 10.1016/j.scico.2013.07.012  0.01
2014 Konur S, Fisher M, Dobson S, Knox S. Formal verification of a pervasive messaging system Formal Aspects of Computing. 26: 677-694. DOI: 10.1007/s00165-013-0277-4  0.01
2013 Konur S, Fisher M, Schewe S. Combined model checking for temporal, probabilistic, and real-time logics Theoretical Computer Science. 503: 61-88. DOI: 10.1016/j.tcs.2013.07.012  0.01
2012 Konur S, Dixon C, Fisher M. Analysing robot swarm behaviour via probabilistic model checking Robotics and Autonomous Systems. 60: 199-213. DOI: 10.1016/j.robot.2011.10.005  0.01
2011 Konur S, Fisher M. Formal analysis of a VANET congestion control protocol through probabilistic verification Ieee Vehicular Technology Conference. DOI: 10.1109/VETECS.2011.5956327  0.01
2011 Konur S. An Event-Based Fragment of First-Order Logic over Intervals Journal of Logic, Language and Information. 20: 49-68. DOI: 10.1007/s10849-010-9126-5  0.01
2010 Konur S, Dixon C, Fisher M. Formal verification of probabilistic swarm behaviours Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6234: 440-447. DOI: 10.1007/978-3-642-15461-4_42  0.01
2008 Konur S. An interval logic for natural language semantics Advances in Modal Logic 2006. 7: 177-191.  0.01
2007 Yurtkuran M, Alp A, Konur S, Ozçakir S, Bingol U. Laser acupuncture in knee osteoarthritis: a double-blind, randomized controlled study. Photomedicine and Laser Surgery. 25: 14-20. PMID 17352632 DOI: 10.1089/pho.2006.1093  0.01
2006 Konur S. A decidable temporal logic for events and states Proceedings of the International Workshop On Temporal Representation and Reasoning. 2006: 36-41. DOI: 10.1109/TIME.2006.1  0.01
2004 Abbink H, Van Dijk R, Dobos T, Hoogendoorn M, Jonker C, Konur S, Van Maanen PP, Popova V, Sharpanskykh A, Van Tooren P, Treur J, Valk J, Xu L, Yolum P. Automated support for adaptive incident management Proceedings of Iscram 2004 - 1st International Workshop On Information Systems For Crisis Response and Management. 69-74.  0.01
Hide low-probability matches.