Edit Profile Fisher, Michael W. Compute Distance To: Compute Author ID: fisher.michael-w Published as: Fisher, M.; Fisher, Michael; Fisher, Michael W. Documents Indexed: 92 Publications since 1969, including 11 Books Biographic References: 1 Publication Co-Authors 0 single-authored 1 Backhaus, Scott N. 1 Bent, Russell W. 1 Chertkov, Michael 1 Misra, Sidhant 1 Pan, Feng Serials 1 IEEE Transactions on Control of Network Systems Fields 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 59 Publications have been cited 296 times in 185 Documents Cited by ▼ Year ▼ The Camassa Holm equation: Conserved quantities and the initial value problem. Zbl 0936.35166Fisher, Michael; Schiff, Jeremy 31 1999 Clausal temporal resolution. Zbl 1365.03017Fisher, Michael; Dixon, Clare; Peim, Martin 27 2001 A resolution method for temporal logic. Zbl 0745.68091Fisher, Michael 24 1991 Monodic temporal resolution. Zbl 1367.03035Degtyarev, Anatoli; Fisher, Michael; Konev, Boris 11 2006 Equality and monodic first-order temporal logic. Zbl 1011.03007Degtyarev, Anatoli; Fisher, Michael; Lisitsa, Alexei 11 2002 Resolution for temporal logics of knowledge. Zbl 0951.03007Dixon, Clare; Fisher, Michael; Wooldridge, Michael 11 1998 A survey of concurrent MetateM – the language and its applications. Zbl 0949.68532Fisher, M. 11 1994 A normal form for temporal logics and its applications in theorem-proving and execution. Zbl 0893.03003Fisher, Michael 10 1997 MetateM: An introduction. Zbl 0838.68014Barringer, H.; Fisher, M.; Gabbay, D.; Gough, G.; Owens, R. 10 1995 Mechanising first-order temporal resolution. Zbl 1086.03009Konev, Boris; Degtyarev, Anatoli; Dixon, Clare; Fisher, Michael; Hustadt, Ullrich 9 2005 A tableau-based proof method for temporal logics of knowledge and belief. Zbl 0926.03011Woolbridge, Michael; Dixon, Clare; Fisher, Michael 9 1998 A normal form for first-order temporal formulae. Zbl 0925.03100Fisher, Michael 9 1992 Handbook of temporal reasoning in artificial intelligence. Zbl 1099.68106Fisher, Michael (ed.); Gabbay, Dov (ed.); Vila, Lluis (ed.) 8 2005 Monodic temporal resolution. Zbl 1272.03090Degtyarev, Anatoly; Fisher, Michael; Konev, Boris 8 2003 Limited-memory BFGS diagonal preconditioners for a data assimilation problem in meteorology. Zbl 0991.65051Veersé, F.; Auroux, D.; Fisher, M. 7 2000 An algorithm for the construction of intrinsic Delaunay triangulations with applications to digital geometry processing. Zbl 1149.65014Fisher, M.; Springborn, B.; Schröder, P.; Bobenko, A. I. 6 2007 Executable modal and temporal logics. IJCAI ’93 Workshop, Chambery, France, August 28, 1993. Proceedings. Zbl 0813.68029Fisher, Michael (ed.); Owens, Richard (ed.) 6 1995 Combinations of modal logics. Zbl 1014.68158Bennett, Brandon; Dixon, Clare; Fisher, Michael; Hustadt, Ullrich; Franconi, Enrico; Horrocks, Ian; de Rijke, Maarten 5 2002 Meta-reasoning in executable temporal logic. Zbl 0825.68584Barringer, Howard; Fisher, Michael; Gabbay, Dov; Hunter, Anthony 5 1991 An introduction to practical formal methods using temporal logic. Zbl 1250.68003Fisher, Michael 4 2011 Advances in temporal logic. Selected papers of the 2nd international conference on temporal logic, ICTL, Manchester, UK, 1997. Zbl 0931.00025Barringer, Howard (ed.); Fisher, Michael (ed.); Gabbay, Dov (ed.); Gough, Graham (ed.) 4 2000 Temporal semantics for concurrent METATEM. Zbl 0867.68048Fisher, Michael 4 1996 Optimal compression in natural gas networks: a geometric programming approach. Zbl 1370.90046Misra, Sidhant; Fisher, Michael W.; Backhaus, Scott; Bent, Russell; Chertkov, Michael; Pan, Feng 3 2015 Deductive verification of simple foraging robotic behaviours. Zbl 1178.93098Behdenna, Abdelkader; Dixon, Clare; Fisher, Michael 3 2009 Specifying and reasoning about uncertain agents. Zbl 1184.68502de Carvalho Ferreira, Nivea; Fisher, Michael; van der Hoek, Wiebe 3 2008 Temporal logic with capacity constraints. Zbl 1148.03311Dixon, Clare; Fisher, Michael; Konev, Boris 3 2007 On the relationship between \(\omega\)-automata and temporal logic normal forms. Zbl 1007.03014Bolotov, Alexander; Fisher, Michael; Dixon, Clare 3 2002 Verification within the KARO agent theory. Zbl 0988.68180Hustadt, Ullrich; Dixon, Clare; Schmidt, Renate A.; Fisher, Michael; Meyer, John-Jules; van der Hoek, Wiebe 3 2001 Combined model checking for temporal, probabilistic, and real-time logics. Zbl 1360.68591Konur, Savas; Fisher, Michael; Schewe, Sven 2 2013 Agent deliberation in an executable temporal framework. Zbl 1248.68502Fisher, Michael 2 2011 Property-based slicing for agent verification. Zbl 1185.68751Bordini, Rafael H.; Fisher, Michael; Wooldridge, Michael; Visser, Willem 2 2009 Executing logical agent specifications. Zbl 1185.68205Fisher, Michael; Hepple, Anthony 2 2009 Temporal logics of knowledge and their applications in security. Zbl 1277.94051Dixon, Clare; Gago, Mari-Carmen Fernández; Fisher, Michael; van der Hoek, Wiebe 2 2007 Automated game analysis via probabilistic model checking: a case study. Zbl 1273.68220Ballarini, P.; Fisher, M.; Wooldridge, M. J. 2 2006 Logics in artificial intelligence. 10th European conference, JELIA 2006, Liverpool, UK, September 13–15, 2006. Proceedings. Zbl 1145.68002Fisher, Michael (ed.); van der Hoek, Wiebe (ed.); Konev, Boris (ed.); Lisitsa, Alexei (ed.) 2 2006 First-order temporal verification in practice. Zbl 1108.03018Fernández-Gago, M. C.; Hustadt, U.; Dixon, C.; Fisher, M.; Konev, B. 2 2005 Resolution for synchrony and no learning. Zbl 1102.03006Nalon, Cláudia; Dixon, Clare; Fisher, Michael 2 2005 Monodic ASMs and temporal verification. Zbl 1188.68187Fisher, Michael; Lisitsa, Alexei 2 2004 Handling equality in monodic temporal resolution. Zbl 1273.03062Konev, Boris; Degtyarev, Anatoli; Fisher, Michael 2 2003 A simplified clausal resolution procedure for propositional linear-time temporal logic. Zbl 1015.03015Degtyarev, Anatoli; Fisher, Michael; Konev, Boris 2 2002 Algorithms for guiding clausal temporal resolution. Zbl 1015.68171Fernández Gago, M. Carmen; Fisher, Michael; Dixon, Clare 2 2002 Normal forms and proofs in combined modal and temporal logics. Zbl 0964.03011Hustadt, U.; Dixon, C.; Schmidt, R. A.; Fisher, M. 2 2000 Executable temporal logics. Zbl 0865.00029Fisher, M. (ed.); Kono, S. (ed.); Orgun, M. A. (ed.) 2 1996 A graph-based approach to resolution in temporal logic. Zbl 0949.03505Dixon, C.; Fisher, M.; Barringer, H. 2 1994 A decision procedure for a temporal belief logic. Zbl 0949.03504Wooldridge, M.; Fisher, M. 2 1994 Exploring the future with resource-bounded agents. Zbl 1163.68338Fisher, Michael; Ghidini, Chiara 1 2009 Implementing temporal logics: tools for execution and proof. Zbl 1236.68224Fisher, Michael 1 2006 Organising software in active environments. Zbl 1081.68684Hirsch, Benjamin; Fisher, Michael; Ghidini, Chiara; Busetta, Paolo 1 2005 Alternating automata and temporal logic normal forms. Zbl 1087.03013Dixon, Clare; Bolotov, Alexander; Fisher, Michael 1 2005 Tableaux for logics of time and knowledge with interactions relating to synchrony. Zbl 1185.03013Dixon, Clare; Nalon, Cláudia; Fisher, Michael 1 2004 Programming groups of rational agents. Zbl 1110.68502Fisher, Michael; Ghidini, Chiara; Hirsch, Benjamin 1 2004 Agents with bounded temporal resources. Zbl 1048.68753Fisher, Michael; Ghidini, Chiara 1 2002 Clausal resolution in a logic of rational agency. Zbl 1015.68170Dixon, Clare; Fisher, Michael; Bolotov, Alexander 1 2002 Towards first-order temporal resolution. Zbl 1007.03010Degtyarev, Anatoli; Fisher, Michael 1 2001 Execution and proof in a Horn-clause temporal logic. Zbl 0945.03019Dixon, Clare; Fisher, Michael; Reynolds, Mark 1 2000 Clausal resolution for CTL*. Zbl 0947.03044Bolotov, Alexander; Dixon, Clare; Fisher, Michael 1 1999 Executable temporal logic systems. Zbl 0874.68278Orgun, Mehmet A.; Faustini, Anthony A.; Schäfer, Karl; Brzoska, Christoph; Fisher, Michael; Kellet, Adam; Moszkowski, Ben 1 1996 Languages, meta-languages and METATEM, a discussion paper. Zbl 0846.68053Barringer, Howard; Gough, Graham; Brough, Derek; Gabbay, Dov; Hodkinson, Ian; Hunter, Anthony; Owens, Richard; McBrien, Peter; Reynolds, Mark; Fisher, Michael 1 1996 Tame singular integrals. Zbl 0176.12202Fisher, Michael 1 1969 Optimal compression in natural gas networks: a geometric programming approach. Zbl 1370.90046Misra, Sidhant; Fisher, Michael W.; Backhaus, Scott; Bent, Russell; Chertkov, Michael; Pan, Feng 3 2015 Combined model checking for temporal, probabilistic, and real-time logics. Zbl 1360.68591Konur, Savas; Fisher, Michael; Schewe, Sven 2 2013 An introduction to practical formal methods using temporal logic. Zbl 1250.68003Fisher, Michael 4 2011 Agent deliberation in an executable temporal framework. Zbl 1248.68502Fisher, Michael 2 2011 Deductive verification of simple foraging robotic behaviours. Zbl 1178.93098Behdenna, Abdelkader; Dixon, Clare; Fisher, Michael 3 2009 Property-based slicing for agent verification. Zbl 1185.68751Bordini, Rafael H.; Fisher, Michael; Wooldridge, Michael; Visser, Willem 2 2009 Executing logical agent specifications. Zbl 1185.68205Fisher, Michael; Hepple, Anthony 2 2009 Exploring the future with resource-bounded agents. Zbl 1163.68338Fisher, Michael; Ghidini, Chiara 1 2009 Specifying and reasoning about uncertain agents. Zbl 1184.68502de Carvalho Ferreira, Nivea; Fisher, Michael; van der Hoek, Wiebe 3 2008 An algorithm for the construction of intrinsic Delaunay triangulations with applications to digital geometry processing. Zbl 1149.65014Fisher, M.; Springborn, B.; Schröder, P.; Bobenko, A. I. 6 2007 Temporal logic with capacity constraints. Zbl 1148.03311Dixon, Clare; Fisher, Michael; Konev, Boris 3 2007 Temporal logics of knowledge and their applications in security. Zbl 1277.94051Dixon, Clare; Gago, Mari-Carmen Fernández; Fisher, Michael; van der Hoek, Wiebe 2 2007 Monodic temporal resolution. Zbl 1367.03035Degtyarev, Anatoli; Fisher, Michael; Konev, Boris 11 2006 Automated game analysis via probabilistic model checking: a case study. Zbl 1273.68220Ballarini, P.; Fisher, M.; Wooldridge, M. J. 2 2006 Logics in artificial intelligence. 10th European conference, JELIA 2006, Liverpool, UK, September 13–15, 2006. Proceedings. Zbl 1145.68002Fisher, Michael (ed.); van der Hoek, Wiebe (ed.); Konev, Boris (ed.); Lisitsa, Alexei (ed.) 2 2006 Implementing temporal logics: tools for execution and proof. Zbl 1236.68224Fisher, Michael 1 2006 Mechanising first-order temporal resolution. Zbl 1086.03009Konev, Boris; Degtyarev, Anatoli; Dixon, Clare; Fisher, Michael; Hustadt, Ullrich 9 2005 Handbook of temporal reasoning in artificial intelligence. Zbl 1099.68106Fisher, Michael (ed.); Gabbay, Dov (ed.); Vila, Lluis (ed.) 8 2005 First-order temporal verification in practice. Zbl 1108.03018Fernández-Gago, M. C.; Hustadt, U.; Dixon, C.; Fisher, M.; Konev, B. 2 2005 Resolution for synchrony and no learning. Zbl 1102.03006Nalon, Cláudia; Dixon, Clare; Fisher, Michael 2 2005 Organising software in active environments. Zbl 1081.68684Hirsch, Benjamin; Fisher, Michael; Ghidini, Chiara; Busetta, Paolo 1 2005 Alternating automata and temporal logic normal forms. Zbl 1087.03013Dixon, Clare; Bolotov, Alexander; Fisher, Michael 1 2005 Monodic ASMs and temporal verification. Zbl 1188.68187Fisher, Michael; Lisitsa, Alexei 2 2004 Tableaux for logics of time and knowledge with interactions relating to synchrony. Zbl 1185.03013Dixon, Clare; Nalon, Cláudia; Fisher, Michael 1 2004 Programming groups of rational agents. Zbl 1110.68502Fisher, Michael; Ghidini, Chiara; Hirsch, Benjamin 1 2004 Monodic temporal resolution. Zbl 1272.03090Degtyarev, Anatoly; Fisher, Michael; Konev, Boris 8 2003 Handling equality in monodic temporal resolution. Zbl 1273.03062Konev, Boris; Degtyarev, Anatoli; Fisher, Michael 2 2003 Equality and monodic first-order temporal logic. Zbl 1011.03007Degtyarev, Anatoli; Fisher, Michael; Lisitsa, Alexei 11 2002 Combinations of modal logics. Zbl 1014.68158Bennett, Brandon; Dixon, Clare; Fisher, Michael; Hustadt, Ullrich; Franconi, Enrico; Horrocks, Ian; de Rijke, Maarten 5 2002 On the relationship between \(\omega\)-automata and temporal logic normal forms. Zbl 1007.03014Bolotov, Alexander; Fisher, Michael; Dixon, Clare 3 2002 A simplified clausal resolution procedure for propositional linear-time temporal logic. Zbl 1015.03015Degtyarev, Anatoli; Fisher, Michael; Konev, Boris 2 2002 Algorithms for guiding clausal temporal resolution. Zbl 1015.68171Fernández Gago, M. Carmen; Fisher, Michael; Dixon, Clare 2 2002 Agents with bounded temporal resources. Zbl 1048.68753Fisher, Michael; Ghidini, Chiara 1 2002 Clausal resolution in a logic of rational agency. Zbl 1015.68170Dixon, Clare; Fisher, Michael; Bolotov, Alexander 1 2002 Clausal temporal resolution. Zbl 1365.03017Fisher, Michael; Dixon, Clare; Peim, Martin 27 2001 Verification within the KARO agent theory. Zbl 0988.68180Hustadt, Ullrich; Dixon, Clare; Schmidt, Renate A.; Fisher, Michael; Meyer, John-Jules; van der Hoek, Wiebe 3 2001 Towards first-order temporal resolution. Zbl 1007.03010Degtyarev, Anatoli; Fisher, Michael 1 2001 Limited-memory BFGS diagonal preconditioners for a data assimilation problem in meteorology. Zbl 0991.65051Veersé, F.; Auroux, D.; Fisher, M. 7 2000 Advances in temporal logic. Selected papers of the 2nd international conference on temporal logic, ICTL, Manchester, UK, 1997. Zbl 0931.00025Barringer, Howard (ed.); Fisher, Michael (ed.); Gabbay, Dov (ed.); Gough, Graham (ed.) 4 2000 Normal forms and proofs in combined modal and temporal logics. Zbl 0964.03011Hustadt, U.; Dixon, C.; Schmidt, R. A.; Fisher, M. 2 2000 Execution and proof in a Horn-clause temporal logic. Zbl 0945.03019Dixon, Clare; Fisher, Michael; Reynolds, Mark 1 2000 The Camassa Holm equation: Conserved quantities and the initial value problem. Zbl 0936.35166Fisher, Michael; Schiff, Jeremy 31 1999 Clausal resolution for CTL*. Zbl 0947.03044Bolotov, Alexander; Dixon, Clare; Fisher, Michael 1 1999 Resolution for temporal logics of knowledge. Zbl 0951.03007Dixon, Clare; Fisher, Michael; Wooldridge, Michael 11 1998 A tableau-based proof method for temporal logics of knowledge and belief. Zbl 0926.03011Woolbridge, Michael; Dixon, Clare; Fisher, Michael 9 1998 A normal form for temporal logics and its applications in theorem-proving and execution. Zbl 0893.03003Fisher, Michael 10 1997 Temporal semantics for concurrent METATEM. Zbl 0867.68048Fisher, Michael 4 1996 Executable temporal logics. Zbl 0865.00029Fisher, M. (ed.); Kono, S. (ed.); Orgun, M. A. (ed.) 2 1996 Executable temporal logic systems. Zbl 0874.68278Orgun, Mehmet A.; Faustini, Anthony A.; Schäfer, Karl; Brzoska, Christoph; Fisher, Michael; Kellet, Adam; Moszkowski, Ben 1 1996 Languages, meta-languages and METATEM, a discussion paper. Zbl 0846.68053Barringer, Howard; Gough, Graham; Brough, Derek; Gabbay, Dov; Hodkinson, Ian; Hunter, Anthony; Owens, Richard; McBrien, Peter; Reynolds, Mark; Fisher, Michael 1 1996 MetateM: An introduction. Zbl 0838.68014Barringer, H.; Fisher, M.; Gabbay, D.; Gough, G.; Owens, R. 10 1995 Executable modal and temporal logics. IJCAI ’93 Workshop, Chambery, France, August 28, 1993. Proceedings. Zbl 0813.68029Fisher, Michael (ed.); Owens, Richard (ed.) 6 1995 A survey of concurrent MetateM – the language and its applications. Zbl 0949.68532Fisher, M. 11 1994 A graph-based approach to resolution in temporal logic. Zbl 0949.03505Dixon, C.; Fisher, M.; Barringer, H. 2 1994 A decision procedure for a temporal belief logic. Zbl 0949.03504Wooldridge, M.; Fisher, M. 2 1994 A normal form for first-order temporal formulae. Zbl 0925.03100Fisher, Michael 9 1992 A resolution method for temporal logic. Zbl 0745.68091Fisher, Michael 24 1991 Meta-reasoning in executable temporal logic. Zbl 0825.68584Barringer, Howard; Fisher, Michael; Gabbay, Dov; Hunter, Anthony 5 1991 Tame singular integrals. Zbl 0176.12202Fisher, Michael 1 1969 all cited Publications top 5 cited Publications all top 5 Cited by 323 Authors 15 Dixon, Clare 9 Fisher, Michael W. 8 Hustadt, Ullrich 5 Bolotov, Alexander 5 Demri, Stéphane P. 5 Pliuškevičius, Regimantas 4 Fisher, Michael E. 4 Konev, Boris 4 Treur, Jan 3 Auroux, Didier 3 Barringer, Howard 3 Dekhtyar, Michael I. 3 Fisher, Michael J. 3 Gui, Guilong 3 Jonker, Catholijn M. 3 Konur, Savas 3 Kowalski, Robert A. 3 Liu, Yue 3 Moszkowski, Ben C. 3 Nalon, Cláudia 3 Rybakov, Vladimir Vladimirovich 3 Sadri, Fariba 3 Schuppan, Viktor 3 Tian, Lixin 3 Valiev, Mars K. 3 van der Hoek, Wiebe 2 Alagic, Suad 2 Anco, Stephen C. 2 Artale, Alessandro 2 Basukoski, Artie 2 Chen, Taolue 2 Cialdea Mayer, Marta 2 De Giacomo, Giuseppe 2 de Guzmán, Inma P. 2 Dikovsky, Alexander Yakovlevich 2 Dix, Jurgen 2 Duan, Zhenhua 2 Enciso, Manuel 2 Gaintzarain, Jose 2 Giannakoglou, Kyriakos C. 2 Hermo, Montserrat 2 Hodkinson, Ian Martin 2 Hussak, Walter 2 Ivanov, Rossen I. 2 Kamide, Norihiro 2 Lespérance, Yves 2 Li, Jianwen 2 Liu, Zhengrong 2 Long, Yao 2 Lucio, Paqui 2 Masini, Andrea 2 Navarro, Marisa 2 Olver, Peter John 2 Orejas, Fernando 2 Papadimitriou, Dimitrios I. 2 Pu, Geguang 2 Qian, Tifei 2 Qiao, Zhijun 2 Qu, Changzheng 2 Rasin, Alexander G. 2 Sakalauskaitė, Jūratė 2 Schiff, Jeremy 2 Schmidt, Renate A. 2 Tang, Minying 2 Vardi, Moshe Y. 2 Viganò, Luca 2 Volpe, Marco 2 Yang, Shaojie 2 Zhang, Lan 2 Zhang, Lijun 2 Zhu, Shufang 2 Zlotnik, Anatoly 1 Abreu, Salvador 1 Agrawal, Akshay 1 Aguado, Felicidad 1 Akinkunmi, B. O. 1 Al Akhras, H. 1 Alagić, Mara 1 Alberti, Marco 1 Amandi, Analía 1 Araújo, Aluizio Fausto Ribeiro 1 Artho, Cyrille 1 Baldoni, Matteo 1 Bardsley, Johnathan M. 1 Baroglio, Cristina 1 Beauquier, Danièl 1 Behdenna, Abdelkader 1 Belardinelli, Francesco 1 Bench-Capon, Trevor J. M. 1 Bent, Russell W. 1 Bhattacharjee, G. P. 1 Blum, Jacques 1 Borgo, Stefano 1 Bowman, Hannah 1 Boyd, Stephen Poythress 1 Bruzón, Maria Santos 1 Brzoska, Christoph 1 Bujorianu, Manuela L. 1 Bujorianu, Marius C. 1 Burrieza, Alfredo ...and 223 more Authors all top 5 Cited in 81 Serials 12 Theoretical Computer Science 12 Journal of Applied Non-Classical Logics 8 Artificial Intelligence 7 Information and Computation 6 Annals of Pure and Applied Logic 6 Formal Aspects of Computing 6 Annals of Mathematics and Artificial Intelligence 6 Journal of Applied Logic 4 Studia Logica 4 Journal of Automated Reasoning 4 ACM Transactions on Computational Logic 3 Lithuanian Mathematical Journal 3 Chaos, Solitons and Fractals 3 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 3 Formal Methods in System Design 3 The Journal of Logic and Algebraic Programming 2 Acta Informatica 2 Communications in Mathematical Physics 2 Journal of Differential Equations 2 Mathematical and Computer Modelling 2 Journal of Nonlinear Science 2 Journal of Logic, Language and Information 2 Theory of Computing Systems 2 Theory and Practice of Logic Programming 1 Archive for Rational Mechanics and Analysis 1 Computers and Fluids 1 Computer Methods in Applied Mechanics and Engineering 1 International Journal of Theoretical Physics 1 Journal of Computational Physics 1 Journal of Mathematical Physics 1 Letters in Mathematical Physics 1 Theoretical and Mathematical Physics 1 Journal of Geometry and Physics 1 Applied Mathematics and Computation 1 Fuzzy Sets and Systems 1 Journal of Philosophical Logic 1 Mathematische Zeitschrift 1 Programming and Computer Software 1 Transactions of the American Mathematical Society 1 Science of Computer Programming 1 Applied Mathematics and Mechanics. (English Edition) 1 Acta Applicandae Mathematicae 1 Physica D 1 ACM Transactions on Graphics 1 New Generation Computing 1 Algorithmica 1 Discrete & Computational Geometry 1 International Journal of Intelligent Systems 1 International Journal of Approximate Reasoning 1 Neural Computation 1 Applied Intelligence 1 Applied Mathematical Modelling 1 International Journal of Computer Mathematics 1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 1 Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série VI 1 Journal of Mathematical Sciences (New York) 1 Numerical Linear Algebra with Applications 1 Annales Mathématiques Blaise Pascal 1 Discrete and Continuous Dynamical Systems 1 Computational & Mathematical Organization Theory 1 INFORMS Journal on Computing 1 Mathematical Problems in Engineering 1 Optimization Methods & Software 1 Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 Journal of Mathematical Fluid Mechanics 1 Qualitative Theory of Dynamical Systems 1 Journal of Nonlinear Mathematical Physics 1 Nonlinear Analysis. Real World Applications 1 Archives of Computational Methods in Engineering 1 Journal of Applied Mathematics 1 Computer Languages, Systems & Structures 1 Journal of Hyperbolic Differential Equations 1 Advances in Difference Equations 1 Mathematics in Computer Science 1 Logica Universalis 1 Optimization Letters 1 SIAM Journal on Imaging Sciences 1 International Journal of Intelligent Computing and Cybernetics 1 Journal of Theoretical Biology 1 Frontiers of Computer Science 1 International Journal of Analysis all top 5 Cited in 20 Fields 108 Computer science (68-XX) 96 Mathematical logic and foundations (03-XX) 31 Partial differential equations (35-XX) 17 Dynamical systems and ergodic theory (37-XX) 10 Fluid mechanics (76-XX) 8 Numerical analysis (65-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Geophysics (86-XX) 4 Operations research, mathematical programming (90-XX) 4 Systems theory; control (93-XX) 3 Biology and other natural sciences (92-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 Convex and discrete geometry (52-XX) 2 Mechanics of particles and systems (70-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Algebraic geometry (14-XX) 1 Ordinary differential equations (34-XX) 1 Quantum theory (81-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year