Found 409 Documents (Results 1–100)
A reactive iterated greedy algorithm for the no-wait flowshop to minimize total tardiness. (English) Zbl 07882638
Hybrid conservative central/WENO finite difference scheme for two-dimensional detonation problems. (English) Zbl 07868819
A positivity preserving and oscillation-free entropy stable discontinuous Galerkin scheme for the reactive Euler equations. (English) Zbl 07842883
A monotone finite volume scheme for single phase flow with reactive transport in anisotropic porous media. (English) Zbl 07829099
Phase-field modeling and effective simulation of non-isothermal reactive transport. (English) Zbl 1537.35282
Reviewer: Denys Dutykh (Le Bourget-du-Lac)
MSC:
35Q35
35R37
76D10
76D05
76V05
76T20
76T99
74F10
80A32
65M08
65M06
65N08
65H10
65M22
80M12
35R35
On a system of PDEs modeling a nonisothermal adsorption column with a single species. (English) Zbl 1533.35262
Modelling the evolution of the two-planetary three-body system of variable masses. (English) Zbl 1533.70009
Analysis of dynamics and control during the deployment of an annular tether group of spacecraft. (English. Russian original) Zbl 1532.70029
Mech. Solids 58, No. 4, 1137-1148 (2023); translation from Izv. Ross. Akad. Nauk, Mekh. Tverd. Tela 2023, No. 4, 110-124 (2023).
Hybrid BOA-GWO-PSO algorithm for mitigation of congestion by optimal reactive power management. (English) Zbl 1531.93153
Stabilization of DFIG-based wind turbine with active and reactive power: a coupling memory state-feedback control scheme. (English) Zbl 1530.93393
Reactive synthesis for relay-explorer consensus with intermittent communication. (English) Zbl 1520.93517
Space-time adaptive ADER-DG finite element method with LST-DG predictor and a posteriori sub-cell WENO finite-volume limiting for simulation of non-stationary compressible multicomponent reactive flows. (English) Zbl 1524.76223
Study of secular perturbations in the restricted three-body problem of variable masses using computer algebra. (English. Russian original) Zbl 1514.70012
Comput. Math. Math. Phys. 63, No. 1, 115-125 (2023); translation from Zh. Vychisl. Mat. Mat. Fiz. 63, No. 1, 154-164 (2023).
Global winning conditions in synthesis of distributed systems with causal memory. (English) Zbl 07830376
Manea, Florin (ed.) et al., 30th EACSL annual conference on computer science logic, CSL 2022, Göttingen, Germany, virtual conference, February 14–19, 2022. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 216, Article 20, 19 p. (2022).
MSC:
68-XX
Optimal control method for power system reactive power management considering real-time uncertainties. (English) Zbl 1531.93240
A framework for transforming specifications in reinforcement learning. (English) Zbl 1528.68205
Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 604-624 (2022).
Developing an adaptive soft sensor using a predictive filter for a nonstationary process. (English. Russian original) Zbl 1510.93317
Autom. Remote Control 83, No. 12, 1984-1994 (2022); translation from Avtom. Telemekh. 2022, No. 12, 141-155 (2022).
Analyzing metabolic processes to optimize the technical and economic indicators of microgrid systems. (English. Ukrainian original) Zbl 1504.78012
Cybern. Syst. Anal. 58, No. 5, 818-824 (2022); translation from Kibern. Sist. Anal. 58, No. 5, 163-171 (2022).
Upscaling of a reaction-diffusion-convection problem with exploding non-linear drift. (English) Zbl 1496.35047
Efficiency of micro-macro models for reactive two-mineral systems. (English) Zbl 1507.35177
Reviewer: Alain Brillard (Riedisheim)
MSC:
35Q35
35Q74
76S05
76V05
74F10
74L10
65M60
65M06
65N30
65N50
65M12
65H10
65F08
65F10
35C20
35B27
68T07
76M10
76M20
74S05
74S20
The nature of reactive and non-reactive trajectories for a three dimensional Caldera potential energy surface. (English) Zbl 1498.37101
Accelerated reactive transport simulations in heterogeneous porous media using Reaktoro and Firedrake. (English) Zbl 1485.86005
A deep learning modeling framework to capture mixing patterns in reactive-transport systems. (English) Zbl 1507.35182
M, the power definition in geometric algebra that unveils the shortcomings of the nonsinusoidal apparent power \(S\). (English) Zbl 1485.15029
A multiscale quasilinear system for colloids deposition in porous media: weak solvability and numerical simulation of a near-clogging scenario. (English) Zbl 1479.35222
OmegaThreads: symbolic controller design for \(\omega\)-regular objectives. (English) Zbl 07807706
Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19–21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 33, 2 p. (2021).
OmegaThreads: symbolic controller design for \(\omega\)-regular objectives. (English) Zbl 07807698
Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19–21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 25, 7 p. (2021).
Modeling the trajectory of motion of a linear dynamic system with multi-point conditions. (English) Zbl 1533.70029
Reviewer: Yulianna Perepelkina (Moskva)
An algorithm for computing phase space structures in chemical reaction dynamics using Voronoi tessellation. (English) Zbl 1490.92132
Reviewer: Dieter Erle (Dortmund)
Adaptation of the structure and parameters of nonlinear soft sensors by the example of an industrial reactive distillation process. (English. Russian original) Zbl 1480.93232
Autom. Remote Control 82, No. 10, 1774-1786 (2021); translation from Avtom. Prom. 2021, No. 3, 3-11 (2021).
Development of clustering-based adaptive soft sensors for industrial distillation columns. (English. Russian original) Zbl 1480.93231
Autom. Remote Control 82, No. 10, 1763-1773 (2021); translation from Avtom. Prom. 2020, No. 8, 44-50 (2020).
Reducing transmission losses via reactive power control. (English) Zbl 1471.93126
Göttlich, Simone (ed.) et al., Mathematical modeling, simulation and optimization for power engineering and management. Cham: Springer. Math. Ind. 34, 219-232 (2021).
Soft-computing approaches for rescheduling problems in a manufacturing industry. (English) Zbl 1479.90076
Mass transport in multicomponent compressible fluids: local and global well-posedness in classes of strong solutions for general class-one models. (English) Zbl 1470.35253
Invited paper: Reactive PLS for distributed decision. (English) Zbl 1518.68230
Devismes, Stéphane (ed.) et al., Stabilization, safety, and security of distributed systems. 22nd international symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12514, 81-96 (2020).
Conditional bigraphs. (English) Zbl 1502.68143
Gadducci, Fabio (ed.) et al., Graph transformation. 13th international conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12150, 3-19 (2020).
MSC:
68Q42
Reactive bisimulation semantics for a process algebra with time-outs. (English) Zbl 07559462
Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 6, 23 p. (2020).
MSC:
68Q85
Remarks on the Cauchy problem of the one-dimensional viscous radiative and reactive gas. (English) Zbl 1499.35400
Turing instability in nonlinear chemical oscillators coupled via an active medium. (English) Zbl 1483.80006
On the Fokker-Planck approach to the stochastic thermodynamics of reactive systems. (English) Zbl 1527.82039
MSC:
82C31
Parameterized synthesis with safety properties. (English) Zbl 1476.68154
Oliveira, Bruno C. d. S. (ed.), Programming languages and systems. 18th Asian symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12470, 273-292 (2020).
Reversal fuzzy switch graphs. (English) Zbl 1475.68233
Carvalho, Gustavo (ed.) et al., Formal methods: foundations and applications. 23rd Brazilian symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12475, 137-154 (2020).
Modeling reactive magnetron sputtering: a survey of different modeling approaches. (English) Zbl 1458.93054
On the relation between reactive synthesis and supervisory control of non-terminating processes. (English) Zbl 1441.93173
Methodology for the characterization of the electrical power demand curve, by means of fractal orbit diagrams on the complex plane of Mandelbrot set. (English) Zbl 1437.62707
An indicator-based problem reduction scheme for coupled reactive transport models. (English) Zbl 07841266
Stochastic simulations of the Schnakenberg model with spatial inhomogeneities using reactive multiparticle collision dynamics. (English) Zbl 1486.37044
Unsupervised machine learning based on non-negative tensor factorization for analyzing reactive-mixing. (English) Zbl 1452.68160
Numerical convergence of the Lyapunov spectrum computed using low Mach number solvers. (English) Zbl 1452.76077
A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs. (English) Zbl 1436.68071
MSC:
68M20
A novel LMI-based robust model predictive control for DFIG-based wind energy conversion systems. (English) Zbl 1463.93066
Reviewer: Witold Pedrycz (Edmonton)
Fast and efficient chemical process flowsheet simulation by pseudo-transient continuation on inertial manifolds. (English) Zbl 1440.74144
MSC:
74F25
Feedback in a predictive model of a reactive distillation process. (English. Russian original) Zbl 1432.93109
J. Comput. Syst. Sci. Int. 58, No. 4, 637-647 (2019); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upr. 2019, No. 4, 144-155 (2019).
The proactive and reactive resource-constrained project scheduling problem. (English) Zbl 1427.90168
Synthesizing adaptive test strategies from temporal logic specifications. (English) Zbl 1427.68160
MSC:
68Q60
pFaces: an acceleration ecosystem for symbolic control. (English) Zbl 1542.93108
Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 252-257 (2019).
Power control of a doubly fed induction generator connected to the power grid. (English) Zbl 1417.93230
Constructive logical characterizations of bisimilarity for reactive probabilistic systems. (English) Zbl 1476.68165
Reviewer: Damas Gruska (Bratislava)
Symmetric synthesis. (English) Zbl 1491.68109
Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 93, Article 26, 13 p. (2018).
Reactive model for autonomous vehicles formation following a mobile reference. (English) Zbl 1460.90061
A decentralized control method for frequency restoration and accurate reactive power sharing in islanded microgrids. (English) Zbl 1402.93042
Compositional and symbolic synthesis of reactive controllers for multi-agent systems. (English) Zbl 1395.68267
Reactive multi-context systems: heterogeneous reasoning in dynamic environments. (English) Zbl 1443.68182
The impact of overtime as a time-based proactive scheduling and reactive allocation strategy on the robustness of a personnel shift roster. (English) Zbl 1392.90061
A degenerate elliptic-parabolic system arising in competitive contaminant transport. (English) Zbl 1375.35005
Query learning of derived \(\omega\)-tree languages in polynomial time. (English) Zbl 1434.68211
Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 10, 21 p. (2017).
A hybrid multi-time-step framework for pore-scale and continuum-scale modeling of solute transport in porous media. (English) Zbl 1439.76157
Multi-stability, limit cycles, and period-doubling bifurcation with reaction systems. (English) Zbl 1387.37043
Automated generation of dynamics-based runtime certificates for high-level control. (English) Zbl 1379.93049
Statistical analysis of power system sensitivity under random penetration of photovoltaic generation. (English) Zbl 1386.93269
Transfer bees optimizer and its application on reactive power optimization. (Chinese. English summary) Zbl 1389.90363
A hybrid multi-objective immune algorithm for predictive and reactive scheduling. (English) Zbl 1373.90062
A port-Hamiltonian formulation of the Navier-Stokes equations for reactive flows. (English) Zbl 1356.93038
Existence of weak solutions for a pseudo-parabolic system coupling chemical reactions, diffusion and momentum equations. arXiv:1702.02481
Preprint, arXiv:1702.02481 [math.AP] (2017).
Reactive power predictive compensation strategy for heavy DC hoist. (English) Zbl 1414.93137
Jia, Yingmin (ed.) et al., Proceedings of 2016 Chinese intelligent systems conference, Xiamen, China. Volume II. Singapore: Springer. Lect. Notes Electr. Eng. 405, 313-321 (2016).
Filter Results by …
Document Type
- Journal Articles (291)
- Collection Articles (93)
- Books (24)
- arXiv Preprints (1)
all
top 5
Author
- Pnueli, Amir (6)
- Montanari, Ugo G. (4)
- Muntean, Adrian (4)
- Torgashov, A. Yu. (4)
- van Glabbeek, Robert Jan (4)
- Alur, Rajeev (3)
- Bonchi, Filippo (3)
- Cai, Kaiyuan (3)
- Cassez, Franck (3)
- De Decker, Yannick (3)
- Ehlers, Rüdiger (3)
- Falaschi, Moreno (3)
- Fiadeiro, José Luiz (3)
- Gabbay, Dov M. (3)
- Giovangigli, Vincent (3)
- Khaled, Mahmoud (3)
- Kowalski, Robert A. (3)
- Li, Yongchao (3)
- Majster-Cederbaum, Mila E. (3)
- Manna, Zohar (3)
- Martins, Manuel António (3)
- Nakshatrala, Kalyana B. (3)
- Sadri, Fariba (3)
- Sevegnani, Michele (3)
- Snegirev, O. Yu. (3)
- Suciu, Dan Mircea (3)
- Topcu, Ufuk (3)
- von Karger, Burghard (3)
- Wang, Xiangyun (3)
- Wiggins, Stephen R. (3)
- Zamani, Majid (3)
- Aktulga, Hasan Metin (2)
- Archibald, Blair (2)
- Battiti, Roberto (2)
- Bebernes, Jerrold W. (2)
- Berghammer, Rudolf (2)
- Birkedal, Lars (2)
- Bloem, Roderick (2)
- Boudol, Gérard (2)
- Bressan, Alberto (2)
- Broy, Manfred (2)
- Calder, Muffy (2)
- Castellani, Ilaria (2)
- Cau, Antonio (2)
- Damgaard, Troels Christoffer (2)
- de Boer, Frank S. (2)
- Ehrig, Hartmut (2)
- Emerson, Ernest Allen (2)
- Figueiredo, Daniel Ratton (2)
- Finkbeiner, Bernd (2)
- Fisher, Michael (2)
- Gadducci, Fabio (2)
- Gaspard, Pierre (2)
- Glenstrup, Arne John (2)
- Goltz, Ursula (2)
- Harel, David (2)
- Hennicker, Rolf (2)
- Hobbs, Bruce E. (2)
- Hülsbusch, Mathias (2)
- Jobstmann, Barbara (2)
- Josko, Bernhard (2)
- Klimchenko, V. V. (2)
- König, Barbara (2)
- Könighofer, Robert (2)
- Kurki-Suonio, Reino (2)
- Lano, Kevin (2)
- Le Guernic, Paul (2)
- Lermer, Karl (2)
- Madeira, Alexandre (2)
- Maibaum, Thomas Stephen Edward (2)
- Majumdar, Rupak (2)
- Merz, Stephan (2)
- Miculan, Marino (2)
- Milner, Robin (2)
- Minglibayev, Mukhtar Zh. (2)
- Moarref, Salar (2)
- Monreale, Giacoma Valentina (2)
- Mudunuru, Maruti Kumar (2)
- Nikolopoulos, Christos V. (2)
- Nowak, David E. (2)
- Passino, Kevin M. (2)
- Pfitzmann, Birgit (2)
- Pinchinat, Sophie (2)
- Prokopenya, Alexander N. (2)
- Roux, Olivier F. (2)
- Santiago, Regivan H. Nunes (2)
- Schmuck, Anne-Kathrin (2)
- Shyamasundar, Rudrapatna Kallikote (2)
- Talpin, Jean-Pierre (2)
- Tripakis, Stavros (2)
- Verwer, Jan G. (2)
- Villanueva, Alicia (2)
- von Hanxleden, Reinhard (2)
- Waidner, Michael (2)
- Wang, Zhongkui (2)
- Zakharov, Vladimir Anatolyevich (2)
- Zhan, Naijun (2)
- Zhang, Wenhui (2)
- Zhao, Chongbin (2)
- Zhao, Weifeng (2)
- and 790 more Authors
all
top 5
Serial
- Theor. Comput. Sci. (13)
- Formal Asp. Comput. (12)
- J. Comput. Phys. (10)
- Sci. Comput. Program. (7)
- Physica D (7)
- Inf. Comput. (6)
- Discrete Event Dyn. Syst. (6)
- Artif. Intell. (5)
- Inf. Process. Lett. (4)
- J. Sci. Comput. (4)
- Form. Methods Syst. Des. (4)
- Comput. Netw. (4)
- Acta Inf. (3)
- Comput. Electr. Eng. (3)
- Comput. Methods Appl. Mech. Eng. (3)
- J. Stat. Phys. (3)
- Inf. Sci. (3)
- Int. J. Found. Comput. Sci. (3)
- Autom. Remote Control (3)
- Phys. Fluids (3)
- J. Sched. (3)
- Theory Pract. Log. Program. (3)
- Stud. Univ. Babeș-Bolyai, Inform. (3)
- J. Math. Anal. Appl. (2)
- Physica A (2)
- IEEE Trans. Autom. Control (2)
- Optim. Control Appl. Methods (2)
- Syst. Control Lett. (2)
- J. Autom. Reasoning (2)
- J. Parallel Distrib. Comput. (2)
- Real-Time Syst. (2)
- J. Log. Comput. (2)
- J. Intell. Robot. Syst. (2)
- Math. Models Methods Appl. Sci. (2)
- Prikl. Mekh., Kiev (2)
- SIAM J. Appl. Math. (2)
- SIAM J. Math. Anal. (2)
- Distrib. Comput. (2)
- Int. J. Robust Nonlinear Control (2)
- Int. J. Bifurcation Chaos Appl. Sci. Eng. (2)
- Cybern. Syst. Anal. (2)
- SIAM J. Sci. Comput. (2)
- Log. J. IGPL (2)
- Math. Comput. Model. Dyn. Syst. (2)
- Comput. Geosci. (2)
- Fundam. Inform. (2)
- Comput. Inform. (2)
- Multiscale Model. Simul. (2)
- J. Intell. Fuzzy Syst. (2)
- ESAIM, Math. Model. Numer. Anal. (2)
- J. Phys. A, Math. Theor. (2)
- Log. Methods Comput. Sci. (2)
- Asian J. Control (2)
- Int. J. Mod. Phys. B (1)
- Appl. Anal. (1)
- Bull. Aust. Math. Soc. (1)
- Comput. Math. Appl. (1)
- Comput. Phys. Commun. (1)
- Discrete Appl. Math. (1)
- Int. J. Control (1)
- J. Appl. Math. Mech. (1)
- J. Eng. Math. (1)
- J. Fluid Mech. (1)
- J. Franklin Inst. (1)
- J. Mech. Phys. Solids (1)
- Lett. Math. Phys. (1)
- Math. Methods Appl. Sci. (1)
- Phys. Fluids, A (1)
- Chaos Solitons Fractals (1)
- Sov. Appl. Mech. (1)
- Automatica (1)
- Computing (1)
- Int. J. Numer. Methods Eng. (1)
- J. Comput. Appl. Math. (1)
- J. Optim. Theory Appl. (1)
- Kybernetika (1)
- Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods (1)
- Program. Comput. Softw. (1)
- Q. Appl. Math. (1)
- SIAM J. Comput. (1)
- SIAM J. Numer. Anal. (1)
- Soobshch. Akad. Nauk Gruz. SSR (1)
- Large Scale Syst. (1)
- Adv. Appl. Math. (1)
- Cybern. Syst. (1)
- Appl. Math. Mech., Engl. Ed. (1)
- Acta Appl. Math. (1)
- Ann. Pure Appl. Logic (1)
- Acta Autom. Sin. (1)
- Appl. Numer. Math. (1)
- Acta Math. Appl. Sin., Engl. Ser. (1)
- Proc. CSEE (1)
- J. Symb. Comput. (1)
- New Generation Comput. (1)
- J. Comb. Math. Comb. Comput. (1)
- Numer. Methods Partial Differ. Equations (1)
- J. Shanghai Jiaotong Univ. (Chin. Ed.) (1)
- Math. Comput. Modelling (1)
- J. Rob. Syst. (1)
- Robot. Auton. Syst. (1)
- and 78 more Serials
all
top 5
Year of Publication
- 2024 (7)
- 2023 (11)
- 2022 (17)
- 2021 (13)
- 2020 (13)
- 2019 (15)
- 2018 (12)
- 2017 (11)
- 2016 (10)
- 2015 (16)
- 2014 (10)
- 2013 (17)
- 2012 (11)
- 2011 (7)
- 2010 (12)
- 2009 (13)
- 2008 (16)
- 2007 (13)
- 2006 (12)
- 2005 (5)
- 2004 (10)
- 2003 (6)
- 2002 (18)
- 2001 (14)
- 2000 (22)
- 1999 (12)
- 1998 (13)
- 1997 (6)
- 1996 (10)
- 1995 (9)
- 1994 (1)
- 1993 (8)
- 1992 (5)
- 1991 (13)
- 1990 (3)
- 1989 (4)
- 1988 (1)
- 1986 (3)
- 1985 (1)
- 1984 (1)
- 1983 (2)
- 1982 (1)
- 1979 (3)
- 1978 (2)
all
top 3
Main Field
- 68-XX (221)
- 93-XX (71)
- 76-XX (58)
- 35-XX (52)
- 03-XX (41)
- 92-XX (35)
- 65-XX (33)
- 74-XX (27)
- 80-XX (27)
- 90-XX (24)
- 82-XX (23)
- 37-XX (20)
- 70-XX (15)
- 91-XX (13)
- 34-XX (10)
- 81-XX (8)
- 05-XX (7)
- 49-XX (7)
- 78-XX (6)
- 00-XX (5)
- 86-XX (5)
- 94-XX (5)
- 62-XX (4)
- 15-XX (2)
- 44-XX (2)
- 26-XX (1)
- 28-XX (1)
- 31-XX (1)
- 45-XX (1)
- 46-XX (1)
all
top 3
Software
- Esterel (10)
- CESAR (7)
- GOLOG (4)
- LUSTRE (4)
- PESSOA (4)
- TuLiP (4)
- UNITY (4)
- AgentSpeak (3)
- BigraphER (3)
- Graphplan (3)
- Isabelle/HOL (3)
- METATEM (3)
- Matlab (3)
- NuSMV (3)
- PRISM (3)
- RATSY (3)
- SCOTS (3)
- UMDES (3)
- Z (3)
- pFaces (3)
- CUDD (2)
- CoSyma (2)
- FIDAP (2)
- GEMS3K (2)
- GEMSelektor (2)
- GeoSysBRNS (2)
- GitHub (2)
- Gromacs (2)
- HYTEC (2)
- Julia (2)
- LMI toolbox (2)
- LOTOS (2)
- MOCHA (2)
- MoMaS (2)
- ODEPACK (2)
- OmegaThreads (2)
- OpenGeoSys (2)
- PFLOTRAN (2)
- PHREEQC (2)
- Python (2)
- ROCS (2)
- Rodin (2)
- SIGNAL (2)
- SPIN (2)
- Simulink (2)
- Strix (2)
- SugarCubes (2)
- ULM (2)
- k.c (2)
- oClingo (2)
- sPuReMD (2)
- 2APL (1)
- ACL2 (1)
- ACVisualizer (1)
- AGEDIS (1)
- AGG (1)
- Acacia+ (1)
- AdaBoost.MH (1)
- Adam (1)
- Algorithm 97 (1)
- Ampersand (1)
- Archive Formal Proofs (1)
- AspectJ (1)
- BDD2Implement (1)
- BIOCHAM (1)
- Bio-PEPA (1)
- Boids (1)
- C-SPARQL (1)
- CASL (1)
- CCSNet (1)
- CHEMKIN (1)
- CLIPS (1)
- COMSOL (1)
- COMSOL-GEMS (1)
- CONOPT (1)
- CRONE (1)
- CafeOBJ (1)
- ChemSage (1)
- Circus (1)
- ClawZ (1)
- Clingo (1)
- ConGolog (1)
- Coq (1)
- CrunchFlow (1)
- DART (1)
- DOLFIN (1)
- DeepHyper (1)
- Eiffel (1)
- ExaHyPE (1)
- FEniCS (1)
- FEniCS-Reaktoro (1)
- FLAC (1)
- FLASH (1)
- FactSage (1)
- Firedrake (1)
- Fran (1)
- GAMS (1)
- GATeL (1)
- GENERIC (1)
- GMTE (1)
- and 125 more Software Packages