Edit Profile Maler, Oded Compute Distance To: Compute Author ID: maler.oded Published as: Maler, O.; Maler, Oded Documents Indexed: 81 Publications since 1993, including 5 Books all top 5 Co-Authors 6 single-authored 20 Asarin, Eugene 12 Nickovic, Dejan 12 Pnueli, Amir 9 Ferrère, Thomas 8 Dang, Thao 7 Bozga, Marius 6 Ulus, Dogan 4 Abdeddaïm, Yasmina 4 Donzé, Alexandre 3 Bakhirkin, Alexey 3 Ben Salah, Ramzi 3 Bouajjani, Ahmed 3 Bournez, Olivier 3 Cotton, Scott 3 Le Guernic, Colas 3 Staiger, Ludwig 2 Batt, Grégory 2 Degorre, Aldric 2 Kapinski, James 2 Kempf, Jean-Francois 2 Krogh, Bruce H. 2 Mens, Irini-Eleftheria 2 Niebert, Peter 2 Testylier, Romain 2 Yovine, Sergio 1 Alur, Rajeev 1 Asarin, E. A. 1 Bansal, Sorav 1 Bartocci, Ezio 1 Caspi, Paul 1 Delyon, Bernard 1 Deshmukh, Jyotirmoy V. 1 Esparza, Javier 1 Espiau, Bernard 1 Finkel, Alain 1 Girard, Antoine 1 Grosu, Radu 1 Halász, Ádám M. 1 Henzinger, Thomas A. 1 Jianmin, Hou 1 Jin, Xiaoqing 1 Kesten, Yonit 1 Legriel, Julien 1 Mahfoudh, Moez 1 Marcus, Martin H. 1 Morari, Manfred 1 Piazza, Carla 1 Pnueli, Amir 1 Poplavko, Peter 1 Rossmanith, Peter 1 Sangiovanni-Vincentelli, Alberto L. 1 Shahar, Elad 1 Sifakis, Joseph 1 Smolka, Scott A. 1 Stursberg, Olaf 1 Tendulkar, Pranav 1 Weiss, Gera 1 Willems, Bernard 1 Wolper, Pierre all top 5 Serials 7 Theoretical Computer Science 3 Lecture Notes in Computer Science 2 Journal of the ACM 1 Information Processing Letters 1 Journal of Computer and System Sciences 1 Information and Computation 1 Bulletin of the European Association for Theoretical Computer Science (EATCS) 1 Automation and Remote Control 1 Formal Methods in System Design 1 European Journal of Control 1 Electronic Notes in Theoretical Computer Science 1 Logical Methods in Computer Science all top 5 Fields 67 Computer science (68-XX) 16 Systems theory; control (93-XX) 12 Mathematical logic and foundations (03-XX) 6 General and overarching topics; collections (00-XX) 4 Information and communication theory, circuits (94-XX) 3 Operations research, mathematical programming (90-XX) 3 Biology and other natural sciences (92-XX) 2 Probability theory and stochastic processes (60-XX) 1 History and biography (01-XX) 1 Group theory and generalizations (20-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Convex and discrete geometry (52-XX) 1 Numerical analysis (65-XX) 1 Mechanics of particles and systems (70-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 61 Publications have been cited 590 times in 445 Documents Cited by ▼ Year ▼ On the synthesis of discrete controllers for timed systems. Zbl 1379.68227Maler, Oded; Pnueli, Amir; Sifakis, Joseph 64 1995 Approximate reachability analysis of piecewise-linear dynamical systems. Zbl 0938.93502Asarin, Eugene; Bournez, Olivier; Dang, Thao; Maler, Oded 58 2000 Reachability analysis of dynamical systems having piecewise-constant derivatives. Zbl 0884.68050Asarin, Eugene; Maler, Oded; Pnueli, Amir 55 1995 Monitoring temporal properties of continuous signals. Zbl 1109.68518Maler, Oded; Nickovic, Dejan 30 2004 Symbolic model checking with rich assertional languages. Zbl 0973.68119Kesten, Y.; Maler, O.; Marcus, M.; Pnueli, A.; Shahar, E. 28 2001 Timed regular expressions. Zbl 1323.68335Asarin, Eugene; Caspi, Paul; Maler, Oded 21 2002 On discretization of delays in timed automata and digital circuits. Zbl 0933.94045Asarin, Eugene; Maler, Oded; Pnueli, Amir 20 1998 As soon as possible: Time optimal control for timed automata. Zbl 0952.93064Asarin, Eugene; Maler, Oded 19 1999 Robust satisfaction of temporal logic over real-valued signals. Zbl 1290.68071Donzé, Alexandre; Maler, Oded 18 2010 Scheduling with timed automata. Zbl 1088.68023Abdeddaïm, Yasmina; Asarin, Eugene; Maler, Oded 16 2006 The \(d/dt\) tool for verification of hybrid systems. Zbl 1010.68796Asarin, Eugene; Dang, Thao; Maler, Oded 16 2002 Efficient computation of reachable sets of linear time-invariant systems with inputs. Zbl 1178.93024Girard, Antoine; Le Guernic, Colas; Maler, Oded 14 2006 On syntactic congruences for \(\omega\)-languages. Zbl 0911.68145Maler, Oded; Staiger, Ludwig 13 1997 Fast and flexible difference constraint propagation for DPLL(T). Zbl 1187.68537Cotton, Scott; Maler, Oded 12 2006 From MITL to timed automata. Zbl 1141.68436Maler, Oded; Nickovic, Dejan; Pnueli, Amir 11 2006 Preemptive job-shop scheduling using stopwatch automata. Zbl 1043.68510Abdeddaïm, Yasmina; Maler, Oded 11 2002 Systematic simulation using sensitivity analysis. Zbl 1221.93105Donzé, Alexandre; Maler, Oded 10 2007 On the learnability of infinitary regular sets. Zbl 0834.68099Maler, Oded; Pnueli, Amir 10 1995 Checking temporal properties of discrete, timed and continuous behaviors. Zbl 1133.68378Maler, Oded; Nickovic, Dejan; Pnueli, Amir 9 2008 Verification of timed automata via satisfiability checking. Zbl 1278.68187Niebert, Peter; Mahfoudh, Moez; Asarin, Eugene; Bozga, Marius; Maler, Oded 9 2002 Job-shop scheduling using timed automata. Zbl 0991.68507Abdeddaïm, Yasmina; Maler, Oded 9 2001 Approximating the Pareto front of multi-criteria optimization problems. Zbl 1284.90074Legriel, Julien; Le Guernic, Colas; Cotton, Scott; Maler, Oded 8 2010 Real time temporal logic: Past, present, future. Zbl 1175.03009Maler, Oded; Nickovic, Dejan; Pnueli, Amir 8 2005 Some progress in satisfiability checking for difference logic. Zbl 1109.68513Cotton, Scott; Asarin, Eugene; Maler, Oded; Niebert, Peter 8 2004 On omega-languages defined by mean-payoff conditions. Zbl 1234.68248Alur, Rajeev; Degorre, Aldric; Maler, Oded; Weiss, Gera 7 2009 Approximating continuous systems by timed automata. Zbl 1374.68262Maler, Oded; Batt, Grégory 7 2008 On interleaving in timed automata. Zbl 1151.68457Ben Salah, Ramzi; Bozga, Marius; Maler, Oded 7 2006 Orthogonal polyhedra: Representation and computation. Zbl 0947.68154Bournez, Olivier; Maler, Oded; Pnueli, Amir 7 1999 On some relations between dynamical systems and transition systems. Zbl 1418.68088Asarin, Eugene; Maler, Oded 7 1994 On synthesizing controllers from bounded-response properties. Zbl 1135.68477Maler, Oded; Nickovic, Dejan; Pnueli, Amir 6 2007 On temporal logic and signal processing. Zbl 1374.68278Donzé, Alexandre; Maler, Oded; Bartocci, Ezio; Nickovic, Dejan; Grosu, Radu; Smolka, Scott 5 2012 On the representation of probabilities over structured domains. Zbl 1046.68581Bozga, Marius; Maler, Oded 5 1999 Hybrid systems: computation and control. 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3–5, 2003. Proceedings. Zbl 1017.00053Maler, Oded (ed.); Pnueli, Amir (ed.) 4 2003 Achilles and the tortoise climbing up the arithmetical hierarchy. Zbl 0928.68128Asarin, Eugene; Maler, Oded 4 1998 A decomposition theorem for probabilistic transition systems. Zbl 0873.68145Maler, Oded 4 1995 Computing reachable states for nonlinear biological models. Zbl 1211.92023Dang, Thao; Le Guernic, Colas; Maler, Oded 3 2011 Amir Pnueli and the dawn of hybrid systems. Zbl 1360.68005Maler, Oded 3 2010 Accurate hybridization of nonlinear systems. Zbl 1360.93083Dang, Thao; Maler, Oded; Testylier, Romain 3 2010 Computer aided verification. 21st international conference, CAV 2009, Grenoble, France, June 26–July 2, 2009. Proceedings. Zbl 1165.68004Bouajjani, Ahmed (ed.); Maler, Oded (ed.) 3 2009 Verification of analog and mixed-signal circuits using hybrid system techniques. Zbl 1117.68303Dang, Thao; Donzé, Alexandre; Maler, Oded 3 2004 On timing analysis of combinational circuits. Zbl 1099.94523Ben Salah, Ramzi; Bozga, Marius; Maler, Oded 3 2004 On systematic simulation of open continuous systems. Zbl 1032.93532Kapinski, Jim; Krogh, Bruce H.; Maler, Oded; Stursberg, Olaf 3 2003 Achilles and the tortoise climbing up the arithmetical hierarchy. Zbl 1354.03057Asarin, Eugene; Maler, Oded 3 1995 Online timed pattern matching using derivatives. Zbl 1420.68247Ulus, Dogan; Ferrère, Thomas; Asarin, Eugene; Maler, Oded 2 2016 Using redundant constraints for refinement. Zbl 1305.68117Asarin, Eugene; Dang, Thao; Maler, Oded; Testylier, Romain 2 2010 On recognizable timed languages. Zbl 1126.68459Maler, Oded; Pnueli, Amir 2 2004 On optimal scheduling under uncertainty. Zbl 1031.68030Abdeddaïm, Yasmina; Asarin, Eugene; Maler, Oded 2 2003 Verification of asynchronous circuits using timed automata. Zbl 1270.68164Bozga, Marius; Jianmin, Hou; Maler, Oded; Yovine, Sergio 2 2002 An efficient automata approach to some problems on context-free grammars. Zbl 1137.68418Bouajjani, Ahmed; Esparza, Javier; Finkel, Alain; Maler, Oded; Rossmanith, Peter; Willems, Bernard; Wolper, Pierre 2 2000 On the effects of noise and speed on computations. Zbl 0822.68069Delyon, Bernard; Maler, Oded 2 1994 On syntactic congruences for \(\omega\)-languages. Zbl 0797.68093Maler, Oded; Staiger, Ludwig 2 1993 Measuring with timed patterns. Zbl 1381.68160Ferrère, Thomas; Maler, Oded; Ničković, Dejan; Ulus, Dogan 1 2015 Trace diagnostics using temporal implicants. Zbl 06527556Ferrère, Thomas; Maler, Oded; Ničković, Dejan 1 2015 Learning regular languages over large ordered alphabets. Zbl 1448.68271Mens, Irini-Eleftheria; Maler, Oded 1 2015 Timed pattern matching. Zbl 1419.68221Ulus, Dogan; Ferrère, Thomas; Asarin, Eugene; Maler, Oded 1 2014 The unmet challenge of timed systems. Zbl 1416.68114Maler, Oded 1 2014 Symmetry breaking for multi-criteria mapping and scheduling on multicores. Zbl 1390.68154Tendulkar, Pranav; Poplavko, Peter; Maler, Oded 1 2013 As soon as probable: optimal scheduling under stochastic uncertainty. Zbl 1381.68022Kempf, Jean-François; Bozga, Marius; Maler, Oded 1 2013 On the Krohn-Rhodes cascaded decomposition theorem. Zbl 1288.68177Maler, Oded 1 2010 On timed models of gene networks. Zbl 1141.92310Batt, Grégory; Ben Salah, Ramzi; Maler, Oded 1 2007 Hybrid systems applications: An oxymoron? (Abstract). Zbl 0991.93518Sangiovanni-Vincentelli, Alberto; Henzinger, Thomas A.; Krogh, Bruce H.; Maler, Oded; Morari, Manfred 1 2002 Online timed pattern matching using derivatives. Zbl 1420.68247Ulus, Dogan; Ferrère, Thomas; Asarin, Eugene; Maler, Oded 2 2016 Measuring with timed patterns. Zbl 1381.68160Ferrère, Thomas; Maler, Oded; Ničković, Dejan; Ulus, Dogan 1 2015 Trace diagnostics using temporal implicants. Zbl 06527556Ferrère, Thomas; Maler, Oded; Ničković, Dejan 1 2015 Learning regular languages over large ordered alphabets. Zbl 1448.68271Mens, Irini-Eleftheria; Maler, Oded 1 2015 Timed pattern matching. Zbl 1419.68221Ulus, Dogan; Ferrère, Thomas; Asarin, Eugene; Maler, Oded 1 2014 The unmet challenge of timed systems. Zbl 1416.68114Maler, Oded 1 2014 Symmetry breaking for multi-criteria mapping and scheduling on multicores. Zbl 1390.68154Tendulkar, Pranav; Poplavko, Peter; Maler, Oded 1 2013 As soon as probable: optimal scheduling under stochastic uncertainty. Zbl 1381.68022Kempf, Jean-François; Bozga, Marius; Maler, Oded 1 2013 On temporal logic and signal processing. Zbl 1374.68278Donzé, Alexandre; Maler, Oded; Bartocci, Ezio; Nickovic, Dejan; Grosu, Radu; Smolka, Scott 5 2012 Computing reachable states for nonlinear biological models. Zbl 1211.92023Dang, Thao; Le Guernic, Colas; Maler, Oded 3 2011 Robust satisfaction of temporal logic over real-valued signals. Zbl 1290.68071Donzé, Alexandre; Maler, Oded 18 2010 Approximating the Pareto front of multi-criteria optimization problems. Zbl 1284.90074Legriel, Julien; Le Guernic, Colas; Cotton, Scott; Maler, Oded 8 2010 Amir Pnueli and the dawn of hybrid systems. Zbl 1360.68005Maler, Oded 3 2010 Accurate hybridization of nonlinear systems. Zbl 1360.93083Dang, Thao; Maler, Oded; Testylier, Romain 3 2010 Using redundant constraints for refinement. Zbl 1305.68117Asarin, Eugene; Dang, Thao; Maler, Oded; Testylier, Romain 2 2010 On the Krohn-Rhodes cascaded decomposition theorem. Zbl 1288.68177Maler, Oded 1 2010 On omega-languages defined by mean-payoff conditions. Zbl 1234.68248Alur, Rajeev; Degorre, Aldric; Maler, Oded; Weiss, Gera 7 2009 Computer aided verification. 21st international conference, CAV 2009, Grenoble, France, June 26–July 2, 2009. Proceedings. Zbl 1165.68004Bouajjani, Ahmed (ed.); Maler, Oded (ed.) 3 2009 Checking temporal properties of discrete, timed and continuous behaviors. Zbl 1133.68378Maler, Oded; Nickovic, Dejan; Pnueli, Amir 9 2008 Approximating continuous systems by timed automata. Zbl 1374.68262Maler, Oded; Batt, Grégory 7 2008 Systematic simulation using sensitivity analysis. Zbl 1221.93105Donzé, Alexandre; Maler, Oded 10 2007 On synthesizing controllers from bounded-response properties. Zbl 1135.68477Maler, Oded; Nickovic, Dejan; Pnueli, Amir 6 2007 On timed models of gene networks. Zbl 1141.92310Batt, Grégory; Ben Salah, Ramzi; Maler, Oded 1 2007 Scheduling with timed automata. Zbl 1088.68023Abdeddaïm, Yasmina; Asarin, Eugene; Maler, Oded 16 2006 Efficient computation of reachable sets of linear time-invariant systems with inputs. Zbl 1178.93024Girard, Antoine; Le Guernic, Colas; Maler, Oded 14 2006 Fast and flexible difference constraint propagation for DPLL(T). Zbl 1187.68537Cotton, Scott; Maler, Oded 12 2006 From MITL to timed automata. Zbl 1141.68436Maler, Oded; Nickovic, Dejan; Pnueli, Amir 11 2006 On interleaving in timed automata. Zbl 1151.68457Ben Salah, Ramzi; Bozga, Marius; Maler, Oded 7 2006 Real time temporal logic: Past, present, future. Zbl 1175.03009Maler, Oded; Nickovic, Dejan; Pnueli, Amir 8 2005 Monitoring temporal properties of continuous signals. Zbl 1109.68518Maler, Oded; Nickovic, Dejan 30 2004 Some progress in satisfiability checking for difference logic. Zbl 1109.68513Cotton, Scott; Asarin, Eugene; Maler, Oded; Niebert, Peter 8 2004 Verification of analog and mixed-signal circuits using hybrid system techniques. Zbl 1117.68303Dang, Thao; Donzé, Alexandre; Maler, Oded 3 2004 On timing analysis of combinational circuits. Zbl 1099.94523Ben Salah, Ramzi; Bozga, Marius; Maler, Oded 3 2004 On recognizable timed languages. Zbl 1126.68459Maler, Oded; Pnueli, Amir 2 2004 Hybrid systems: computation and control. 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3–5, 2003. Proceedings. Zbl 1017.00053Maler, Oded (ed.); Pnueli, Amir (ed.) 4 2003 On systematic simulation of open continuous systems. Zbl 1032.93532Kapinski, Jim; Krogh, Bruce H.; Maler, Oded; Stursberg, Olaf 3 2003 On optimal scheduling under uncertainty. Zbl 1031.68030Abdeddaïm, Yasmina; Asarin, Eugene; Maler, Oded 2 2003 Timed regular expressions. Zbl 1323.68335Asarin, Eugene; Caspi, Paul; Maler, Oded 21 2002 The \(d/dt\) tool for verification of hybrid systems. Zbl 1010.68796Asarin, Eugene; Dang, Thao; Maler, Oded 16 2002 Preemptive job-shop scheduling using stopwatch automata. Zbl 1043.68510Abdeddaïm, Yasmina; Maler, Oded 11 2002 Verification of timed automata via satisfiability checking. Zbl 1278.68187Niebert, Peter; Mahfoudh, Moez; Asarin, Eugene; Bozga, Marius; Maler, Oded 9 2002 Verification of asynchronous circuits using timed automata. Zbl 1270.68164Bozga, Marius; Jianmin, Hou; Maler, Oded; Yovine, Sergio 2 2002 Hybrid systems applications: An oxymoron? (Abstract). Zbl 0991.93518Sangiovanni-Vincentelli, Alberto; Henzinger, Thomas A.; Krogh, Bruce H.; Maler, Oded; Morari, Manfred 1 2002 Symbolic model checking with rich assertional languages. Zbl 0973.68119Kesten, Y.; Maler, O.; Marcus, M.; Pnueli, A.; Shahar, E. 28 2001 Job-shop scheduling using timed automata. Zbl 0991.68507Abdeddaïm, Yasmina; Maler, Oded 9 2001 Approximate reachability analysis of piecewise-linear dynamical systems. Zbl 0938.93502Asarin, Eugene; Bournez, Olivier; Dang, Thao; Maler, Oded 58 2000 An efficient automata approach to some problems on context-free grammars. Zbl 1137.68418Bouajjani, Ahmed; Esparza, Javier; Finkel, Alain; Maler, Oded; Rossmanith, Peter; Willems, Bernard; Wolper, Pierre 2 2000 As soon as possible: Time optimal control for timed automata. Zbl 0952.93064Asarin, Eugene; Maler, Oded 19 1999 Orthogonal polyhedra: Representation and computation. Zbl 0947.68154Bournez, Olivier; Maler, Oded; Pnueli, Amir 7 1999 On the representation of probabilities over structured domains. Zbl 1046.68581Bozga, Marius; Maler, Oded 5 1999 On discretization of delays in timed automata and digital circuits. Zbl 0933.94045Asarin, Eugene; Maler, Oded; Pnueli, Amir 20 1998 Achilles and the tortoise climbing up the arithmetical hierarchy. Zbl 0928.68128Asarin, Eugene; Maler, Oded 4 1998 On syntactic congruences for \(\omega\)-languages. Zbl 0911.68145Maler, Oded; Staiger, Ludwig 13 1997 On the synthesis of discrete controllers for timed systems. Zbl 1379.68227Maler, Oded; Pnueli, Amir; Sifakis, Joseph 64 1995 Reachability analysis of dynamical systems having piecewise-constant derivatives. Zbl 0884.68050Asarin, Eugene; Maler, Oded; Pnueli, Amir 55 1995 On the learnability of infinitary regular sets. Zbl 0834.68099Maler, Oded; Pnueli, Amir 10 1995 A decomposition theorem for probabilistic transition systems. Zbl 0873.68145Maler, Oded 4 1995 Achilles and the tortoise climbing up the arithmetical hierarchy. Zbl 1354.03057Asarin, Eugene; Maler, Oded 3 1995 On some relations between dynamical systems and transition systems. Zbl 1418.68088Asarin, Eugene; Maler, Oded 7 1994 On the effects of noise and speed on computations. Zbl 0822.68069Delyon, Bernard; Maler, Oded 2 1994 On syntactic congruences for \(\omega\)-languages. Zbl 0797.68093Maler, Oded; Staiger, Ludwig 2 1993 all cited Publications top 5 cited Publications all top 5 Cited by 836 Authors 13 Larsen, Kim Guldstrand 12 Bouyer, Patricia 11 Abdulla, Parosh Aziz 11 Asarin, Eugene 11 Cimatti, Alessandro 10 Bournez, Olivier 10 Chatterjee, Krishnendu 10 Maler, Oded 9 Henzinger, Thomas A. 8 Legay, Axel 7 Girard, Antoine 7 Markey, Nicolas 6 Dang, Thao 6 Lygeros, John 6 Pappas, George J. 6 Roveri, Marco 6 Sebastiani, Roberto 6 Wąsowski, Andrzej 5 Abate, Alessandro 5 Bartocci, Ezio 5 David, Alexandre 5 Majumdar, Rupak 5 Piazza, Carla 5 Raskin, Jean-François 5 Rezine, Ahmed 5 Subramani, Krishnan 5 Yovine, Sergio 5 Zamani, Majid 4 Basin, David A. 4 Bersani, Marcello M. 4 Bortolussi, Luca 4 Clarke, Edmund Melson jun. 4 Delzanno, Giorgio 4 Donzé, Alexandre 4 Doyen, Laurent 4 Fahrenberg, Uli 4 Fisman, Dana 4 Griggio, Alberto 4 Kulkarni, Sandeep S. 4 Kupferman, Orna 4 La Torre, Salvatore 4 Lanotte, Ruggero 4 Nielsen, Jens D. 4 Norman, Gethin 4 Platzer, André 4 Pnueli, Amir 4 Prabhakar, Pavithra 4 Rossi, Matteo A. C. 4 Sankaranarayanan, Sriram 4 Sastry, S. Shankar 4 Seshia, Sanjit Arunkumar 4 Viswanathan, Mahesh 3 Alur, Rajeev 3 Angluin, Dana 3 Barkaoui, Kamel 3 Basset, Nicolas 3 Belta, Calin 3 Bérard, Béatrice 3 Blondel, Vincent D. 3 Bonakdarpour, Borzoo 3 Bouajjani, Ahmed 3 Boucheneb, Hanifa 3 Bruttomesso, Roberto 3 Corradini, Flavio 3 Degorre, Aldric 3 Dima, Cătălin 3 Dimarogonas, Dimos V. 3 Dullerud, Geir E. 3 Finkel, Olivier 3 Graça, Daniel Silva 3 Haddad, Serge 3 Jobstmann, Barbara 3 Junttila, Tommi A. 3 Klaedtke, Felix 3 Koiran, Pascal 3 Krishna, Shankara Narayanan 3 Krstić, Srđan 3 Kwiatkowska, Marta Z. 3 Lakhnech, Yassine 3 Lazar, Mircea 3 Li, Guangyuan 3 Lime, Didier 3 Micheli, Andrea 3 Nenzi, Laura 3 Nyman, Ulrik 3 Ouaknine, Joel O. 3 Pandya, Paritosh K. 3 Roux, Olivier H. 3 Salmerón, Antonio 3 Sankur, Ocan 3 Sastry, Shankar S. 3 Schneider, Gerardo 3 Siegelmann, Hava T. 3 Stursberg, Olaf 3 Tonetta, Stefano 3 Traytel, Dmitry 3 Tsitsiklis, John N. 3 van Schuppen, Jan H. 3 Vardi, Moshe Y. 3 Vladimerou, Vladimeros ...and 736 more Authors all top 5 Cited in 72 Serials 65 Theoretical Computer Science 33 Formal Methods in System Design 27 Automatica 25 Information and Computation 14 Nonlinear Analysis. Hybrid Systems 9 International Journal of Foundations of Computer Science 8 Acta Informatica 8 Journal of Computer and System Sciences 8 Discrete Event Dynamic Systems 7 Journal of Automated Reasoning 7 The Journal of Logic and Algebraic Programming 6 International Journal of Control 6 International Journal of Approximate Reasoning 6 Real-Time Systems 5 Information Processing Letters 5 Formal Aspects of Computing 5 European Journal of Control 4 Discrete Applied Mathematics 4 Applied Mathematics and Computation 4 Science of Computer Programming 4 Logical Methods in Computer Science 3 Artificial Intelligence 3 Systems & Control Letters 3 Journal of Global Optimization 3 Distributed Computing 3 Annals of Mathematics and Artificial Intelligence 2 International Journal of General Systems 2 Mathematics and Computers in Simulation 2 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 2 Annals of Operations Research 2 International Journal of Robust and Nonlinear Control 2 Journal of the ACM 2 Chaos 2 Theory and Practice of Logic Programming 1 ACM Computing Surveys 1 International Journal of Systems Science 1 International Journal of Theoretical Physics 1 Zhurnal Vychislitel’noĭ Matematiki i Matematicheskoĭ Fiziki 1 Information Sciences 1 Journal of Optimization Theory and Applications 1 Annals of Pure and Applied Logic 1 International Journal of Production Research 1 Physica D 1 Optimization 1 Journal of Complexity 1 Machine Learning 1 Computational Geometry 1 International Journal of Algebra and Computation 1 MSCS. Mathematical Structures in Computer Science 1 Computational Statistics and Data Analysis 1 Journal of Logic, Language and Information 1 The Journal of Artificial Intelligence Research (JAIR) 1 The Bulletin of Symbolic Logic 1 Sbornik: Mathematics 1 Constraints 1 INFORMS Journal on Computing 1 Mathematical Problems in Engineering 1 Optimization Methods & Software 1 Data Mining and Knowledge Discovery 1 Higher-Order and Symbolic Computation 1 Probability in the Engineering and Informational Sciences 1 Journal of Systems Science and Complexity 1 Comptes Rendus. Mathématique. Académie des Sciences, Paris 1 Computer Languages, Systems & Structures 1 ACM Transactions on Computational Logic 1 Journal of Applied Logic 1 Numerical Algebra, Control and Optimization 1 Mathematical Control and Related Fields 1 Frontiers of Computer Science 1 Computer Science Review 1 Journal of Logical and Algebraic Methods in Programming 1 International Journal of Systems Science. Principles and Applications of Systems and Integration all top 5 Cited in 28 Fields 331 Computer science (68-XX) 120 Systems theory; control (93-XX) 64 Mathematical logic and foundations (03-XX) 30 Operations research, mathematical programming (90-XX) 27 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 17 Biology and other natural sciences (92-XX) 14 Numerical analysis (65-XX) 12 Dynamical systems and ergodic theory (37-XX) 11 Ordinary differential equations (34-XX) 9 Calculus of variations and optimal control; optimization (49-XX) 9 Probability theory and stochastic processes (60-XX) 7 Information and communication theory, circuits (94-XX) 5 Combinatorics (05-XX) 5 Statistics (62-XX) 4 Category theory; homological algebra (18-XX) 2 General and overarching topics; collections (00-XX) 2 Commutative algebra (13-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Operator theory (47-XX) 2 Mechanics of particles and systems (70-XX) 1 History and biography (01-XX) 1 Number theory (11-XX) 1 Group theory and generalizations (20-XX) 1 Partial differential equations (35-XX) 1 Convex and discrete geometry (52-XX) 1 General topology (54-XX) 1 Fluid mechanics (76-XX) 1 Quantum theory (81-XX) Citations by Year