×

zbMATH — the first resource for mathematics

Fisher, Michael W.

Compute Distance To:
Author ID: fisher.michael-w Recent zbMATH articles by "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

Publications by Year

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.35166
Fisher, Michael; Schiff, Jeremy
31
1999
Clausal temporal resolution. Zbl 1365.03017
Fisher, Michael; Dixon, Clare; Peim, Martin
27
2001
A resolution method for temporal logic. Zbl 0745.68091
Fisher, Michael
24
1991
Monodic temporal resolution. Zbl 1367.03035
Degtyarev, Anatoli; Fisher, Michael; Konev, Boris
11
2006
Equality and monodic first-order temporal logic. Zbl 1011.03007
Degtyarev, Anatoli; Fisher, Michael; Lisitsa, Alexei
11
2002
Resolution for temporal logics of knowledge. Zbl 0951.03007
Dixon, Clare; Fisher, Michael; Wooldridge, Michael
11
1998
A survey of concurrent MetateM – the language and its applications. Zbl 0949.68532
Fisher, M.
11
1994
A normal form for temporal logics and its applications in theorem-proving and execution. Zbl 0893.03003
Fisher, Michael
10
1997
MetateM: An introduction. Zbl 0838.68014
Barringer, H.; Fisher, M.; Gabbay, D.; Gough, G.; Owens, R.
10
1995
Mechanising first-order temporal resolution. Zbl 1086.03009
Konev, 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.03011
Woolbridge, Michael; Dixon, Clare; Fisher, Michael
9
1998
A normal form for first-order temporal formulae. Zbl 0925.03100
Fisher, Michael
9
1992
Handbook of temporal reasoning in artificial intelligence. Zbl 1099.68106
Fisher, Michael (ed.); Gabbay, Dov (ed.); Vila, Lluis (ed.)
8
2005
Monodic temporal resolution. Zbl 1272.03090
Degtyarev, Anatoly; Fisher, Michael; Konev, Boris
8
2003
Limited-memory BFGS diagonal preconditioners for a data assimilation problem in meteorology. Zbl 0991.65051
Veersé, F.; Auroux, D.; Fisher, M.
7
2000
An algorithm for the construction of intrinsic Delaunay triangulations with applications to digital geometry processing. Zbl 1149.65014
Fisher, 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.68029
Fisher, Michael (ed.); Owens, Richard (ed.)
6
1995
Combinations of modal logics. Zbl 1014.68158
Bennett, Brandon; Dixon, Clare; Fisher, Michael; Hustadt, Ullrich; Franconi, Enrico; Horrocks, Ian; de Rijke, Maarten
5
2002
Meta-reasoning in executable temporal logic. Zbl 0825.68584
Barringer, Howard; Fisher, Michael; Gabbay, Dov; Hunter, Anthony
5
1991
An introduction to practical formal methods using temporal logic. Zbl 1250.68003
Fisher, Michael
4
2011
Advances in temporal logic. Selected papers of the 2nd international conference on temporal logic, ICTL, Manchester, UK, 1997. Zbl 0931.00025
Barringer, Howard (ed.); Fisher, Michael (ed.); Gabbay, Dov (ed.); Gough, Graham (ed.)
4
2000
Temporal semantics for concurrent METATEM. Zbl 0867.68048
Fisher, Michael
4
1996
Optimal compression in natural gas networks: a geometric programming approach. Zbl 1370.90046
Misra, Sidhant; Fisher, Michael W.; Backhaus, Scott; Bent, Russell; Chertkov, Michael; Pan, Feng
3
2015
Deductive verification of simple foraging robotic behaviours. Zbl 1178.93098
Behdenna, Abdelkader; Dixon, Clare; Fisher, Michael
3
2009
Specifying and reasoning about uncertain agents. Zbl 1184.68502
de Carvalho Ferreira, Nivea; Fisher, Michael; van der Hoek, Wiebe
3
2008
Temporal logic with capacity constraints. Zbl 1148.03311
Dixon, Clare; Fisher, Michael; Konev, Boris
3
2007
On the relationship between \(\omega\)-automata and temporal logic normal forms. Zbl 1007.03014
Bolotov, Alexander; Fisher, Michael; Dixon, Clare
3
2002
Verification within the KARO agent theory. Zbl 0988.68180
Hustadt, 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.68591
Konur, Savas; Fisher, Michael; Schewe, Sven
2
2013
Agent deliberation in an executable temporal framework. Zbl 1248.68502
Fisher, Michael
2
2011
Property-based slicing for agent verification. Zbl 1185.68751
Bordini, Rafael H.; Fisher, Michael; Wooldridge, Michael; Visser, Willem
2
2009
Executing logical agent specifications. Zbl 1185.68205
Fisher, Michael; Hepple, Anthony
2
2009
Temporal logics of knowledge and their applications in security. Zbl 1277.94051
Dixon, 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.68220
Ballarini, 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.68002
Fisher, Michael (ed.); van der Hoek, Wiebe (ed.); Konev, Boris (ed.); Lisitsa, Alexei (ed.)
2
2006
First-order temporal verification in practice. Zbl 1108.03018
Fernández-Gago, M. C.; Hustadt, U.; Dixon, C.; Fisher, M.; Konev, B.
2
2005
Resolution for synchrony and no learning. Zbl 1102.03006
Nalon, Cláudia; Dixon, Clare; Fisher, Michael
2
2005
Monodic ASMs and temporal verification. Zbl 1188.68187
Fisher, Michael; Lisitsa, Alexei
2
2004
Handling equality in monodic temporal resolution. Zbl 1273.03062
Konev, Boris; Degtyarev, Anatoli; Fisher, Michael
2
2003
A simplified clausal resolution procedure for propositional linear-time temporal logic. Zbl 1015.03015
Degtyarev, Anatoli; Fisher, Michael; Konev, Boris
2
2002
Algorithms for guiding clausal temporal resolution. Zbl 1015.68171
Fernández Gago, M. Carmen; Fisher, Michael; Dixon, Clare
2
2002
Normal forms and proofs in combined modal and temporal logics. Zbl 0964.03011
Hustadt, U.; Dixon, C.; Schmidt, R. A.; Fisher, M.
2
2000
Executable temporal logics. Zbl 0865.00029
Fisher, M. (ed.); Kono, S. (ed.); Orgun, M. A. (ed.)
2
1996
A graph-based approach to resolution in temporal logic. Zbl 0949.03505
Dixon, C.; Fisher, M.; Barringer, H.
2
1994
A decision procedure for a temporal belief logic. Zbl 0949.03504
Wooldridge, M.; Fisher, M.
2
1994
Exploring the future with resource-bounded agents. Zbl 1163.68338
Fisher, Michael; Ghidini, Chiara
1
2009
Implementing temporal logics: tools for execution and proof. Zbl 1236.68224
Fisher, Michael
1
2006
Organising software in active environments. Zbl 1081.68684
Hirsch, Benjamin; Fisher, Michael; Ghidini, Chiara; Busetta, Paolo
1
2005
Alternating automata and temporal logic normal forms. Zbl 1087.03013
Dixon, Clare; Bolotov, Alexander; Fisher, Michael
1
2005
Tableaux for logics of time and knowledge with interactions relating to synchrony. Zbl 1185.03013
Dixon, Clare; Nalon, Cláudia; Fisher, Michael
1
2004
Programming groups of rational agents. Zbl 1110.68502
Fisher, Michael; Ghidini, Chiara; Hirsch, Benjamin
1
2004
Agents with bounded temporal resources. Zbl 1048.68753
Fisher, Michael; Ghidini, Chiara
1
2002
Clausal resolution in a logic of rational agency. Zbl 1015.68170
Dixon, Clare; Fisher, Michael; Bolotov, Alexander
1
2002
Towards first-order temporal resolution. Zbl 1007.03010
Degtyarev, Anatoli; Fisher, Michael
1
2001
Execution and proof in a Horn-clause temporal logic. Zbl 0945.03019
Dixon, Clare; Fisher, Michael; Reynolds, Mark
1
2000
Clausal resolution for CTL*. Zbl 0947.03044
Bolotov, Alexander; Dixon, Clare; Fisher, Michael
1
1999
Executable temporal logic systems. Zbl 0874.68278
Orgun, 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.68053
Barringer, 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.12202
Fisher, Michael
1
1969
Optimal compression in natural gas networks: a geometric programming approach. Zbl 1370.90046
Misra, 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.68591
Konur, Savas; Fisher, Michael; Schewe, Sven
2
2013
An introduction to practical formal methods using temporal logic. Zbl 1250.68003
Fisher, Michael
4
2011
Agent deliberation in an executable temporal framework. Zbl 1248.68502
Fisher, Michael
2
2011
Deductive verification of simple foraging robotic behaviours. Zbl 1178.93098
Behdenna, Abdelkader; Dixon, Clare; Fisher, Michael
3
2009
Property-based slicing for agent verification. Zbl 1185.68751
Bordini, Rafael H.; Fisher, Michael; Wooldridge, Michael; Visser, Willem
2
2009
Executing logical agent specifications. Zbl 1185.68205
Fisher, Michael; Hepple, Anthony
2
2009
Exploring the future with resource-bounded agents. Zbl 1163.68338
Fisher, Michael; Ghidini, Chiara
1
2009
Specifying and reasoning about uncertain agents. Zbl 1184.68502
de 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.65014
Fisher, M.; Springborn, B.; Schröder, P.; Bobenko, A. I.
6
2007
Temporal logic with capacity constraints. Zbl 1148.03311
Dixon, Clare; Fisher, Michael; Konev, Boris
3
2007
Temporal logics of knowledge and their applications in security. Zbl 1277.94051
Dixon, Clare; Gago, Mari-Carmen Fernández; Fisher, Michael; van der Hoek, Wiebe
2
2007
Monodic temporal resolution. Zbl 1367.03035
Degtyarev, Anatoli; Fisher, Michael; Konev, Boris
11
2006
Automated game analysis via probabilistic model checking: a case study. Zbl 1273.68220
Ballarini, 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.68002
Fisher, 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.68224
Fisher, Michael
1
2006
Mechanising first-order temporal resolution. Zbl 1086.03009
Konev, Boris; Degtyarev, Anatoli; Dixon, Clare; Fisher, Michael; Hustadt, Ullrich
9
2005
Handbook of temporal reasoning in artificial intelligence. Zbl 1099.68106
Fisher, Michael (ed.); Gabbay, Dov (ed.); Vila, Lluis (ed.)
8
2005
First-order temporal verification in practice. Zbl 1108.03018
Fernández-Gago, M. C.; Hustadt, U.; Dixon, C.; Fisher, M.; Konev, B.
2
2005
Resolution for synchrony and no learning. Zbl 1102.03006
Nalon, Cláudia; Dixon, Clare; Fisher, Michael
2
2005
Organising software in active environments. Zbl 1081.68684
Hirsch, Benjamin; Fisher, Michael; Ghidini, Chiara; Busetta, Paolo
1
2005
Alternating automata and temporal logic normal forms. Zbl 1087.03013
Dixon, Clare; Bolotov, Alexander; Fisher, Michael
1
2005
Monodic ASMs and temporal verification. Zbl 1188.68187
Fisher, Michael; Lisitsa, Alexei
2
2004
Tableaux for logics of time and knowledge with interactions relating to synchrony. Zbl 1185.03013
Dixon, Clare; Nalon, Cláudia; Fisher, Michael
1
2004
Programming groups of rational agents. Zbl 1110.68502
Fisher, Michael; Ghidini, Chiara; Hirsch, Benjamin
1
2004
Monodic temporal resolution. Zbl 1272.03090
Degtyarev, Anatoly; Fisher, Michael; Konev, Boris
8
2003
Handling equality in monodic temporal resolution. Zbl 1273.03062
Konev, Boris; Degtyarev, Anatoli; Fisher, Michael
2
2003
Equality and monodic first-order temporal logic. Zbl 1011.03007
Degtyarev, Anatoli; Fisher, Michael; Lisitsa, Alexei
11
2002
Combinations of modal logics. Zbl 1014.68158
Bennett, 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.03014
Bolotov, Alexander; Fisher, Michael; Dixon, Clare
3
2002
A simplified clausal resolution procedure for propositional linear-time temporal logic. Zbl 1015.03015
Degtyarev, Anatoli; Fisher, Michael; Konev, Boris
2
2002
Algorithms for guiding clausal temporal resolution. Zbl 1015.68171
Fernández Gago, M. Carmen; Fisher, Michael; Dixon, Clare
2
2002
Agents with bounded temporal resources. Zbl 1048.68753
Fisher, Michael; Ghidini, Chiara
1
2002
Clausal resolution in a logic of rational agency. Zbl 1015.68170
Dixon, Clare; Fisher, Michael; Bolotov, Alexander
1
2002
Clausal temporal resolution. Zbl 1365.03017
Fisher, Michael; Dixon, Clare; Peim, Martin
27
2001
Verification within the KARO agent theory. Zbl 0988.68180
Hustadt, Ullrich; Dixon, Clare; Schmidt, Renate A.; Fisher, Michael; Meyer, John-Jules; van der Hoek, Wiebe
3
2001
Towards first-order temporal resolution. Zbl 1007.03010
Degtyarev, Anatoli; Fisher, Michael
1
2001
Limited-memory BFGS diagonal preconditioners for a data assimilation problem in meteorology. Zbl 0991.65051
Veersé, 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.00025
Barringer, 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.03011
Hustadt, U.; Dixon, C.; Schmidt, R. A.; Fisher, M.
2
2000
Execution and proof in a Horn-clause temporal logic. Zbl 0945.03019
Dixon, Clare; Fisher, Michael; Reynolds, Mark
1
2000
The Camassa Holm equation: Conserved quantities and the initial value problem. Zbl 0936.35166
Fisher, Michael; Schiff, Jeremy
31
1999
Clausal resolution for CTL*. Zbl 0947.03044
Bolotov, Alexander; Dixon, Clare; Fisher, Michael
1
1999
Resolution for temporal logics of knowledge. Zbl 0951.03007
Dixon, Clare; Fisher, Michael; Wooldridge, Michael
11
1998
A tableau-based proof method for temporal logics of knowledge and belief. Zbl 0926.03011
Woolbridge, Michael; Dixon, Clare; Fisher, Michael
9
1998
A normal form for temporal logics and its applications in theorem-proving and execution. Zbl 0893.03003
Fisher, Michael
10
1997
Temporal semantics for concurrent METATEM. Zbl 0867.68048
Fisher, Michael
4
1996
Executable temporal logics. Zbl 0865.00029
Fisher, M. (ed.); Kono, S. (ed.); Orgun, M. A. (ed.)
2
1996
Executable temporal logic systems. Zbl 0874.68278
Orgun, 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.68053
Barringer, 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.68014
Barringer, 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.68029
Fisher, Michael (ed.); Owens, Richard (ed.)
6
1995
A survey of concurrent MetateM – the language and its applications. Zbl 0949.68532
Fisher, M.
11
1994
A graph-based approach to resolution in temporal logic. Zbl 0949.03505
Dixon, C.; Fisher, M.; Barringer, H.
2
1994
A decision procedure for a temporal belief logic. Zbl 0949.03504
Wooldridge, M.; Fisher, M.
2
1994
A normal form for first-order temporal formulae. Zbl 0925.03100
Fisher, Michael
9
1992
A resolution method for temporal logic. Zbl 0745.68091
Fisher, Michael
24
1991
Meta-reasoning in executable temporal logic. Zbl 0825.68584
Barringer, Howard; Fisher, Michael; Gabbay, Dov; Hunter, Anthony
5
1991
Tame singular integrals. Zbl 0176.12202
Fisher, Michael
1
1969
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

Citations by Year