Found 395 Documents (Results 1–100)
Assessing HIV-infected patient retention in a program of differentiated care in sub-Saharan Africa: a G-estimation approach. (English) Zbl 07899300
MSC:
62P10
Matching on noise: finite sample bias in the synthetic control estimator. (English) Zbl 1541.62352
MSC:
62P20
DSMC evaluation stages: fostering robust and safe behavior in deep reinforcement learning – extended version. (English) Zbl 07907912
Estimating causal effects of community health financing via principal stratification. (English) Zbl 07778001
MSC:
62-XX
Automated verification of multi-party agreements and scheduling of sending messages in distributed ledger systems. (English. Russian original) Zbl 07763719
Program. Comput. Softw. 49, No. 5, 448-454 (2023); translation from Programm. Inzh. 13, No. 4 (2022).
Program equivalence in a typed probabilistic call-by-need functional language. (English) Zbl 07741963
MSC:
68-XX
Checking scheduling-induced violations of control safety properties. (English) Zbl 1522.68352
Bouajjani, Ahmed (ed.) et al., Automated technology for verification and analysis. 20th international symposium, ATVA 2022, virtual event, October 25–28, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13505, 100-116 (2022).
Long-run effects of dynamically assigned treatments: a new methodology and an evaluation of training effects on earnings. (English) Zbl 1515.91091
MSC:
91B39
Statistical analysis of KMM program – an educational intervention. (English) Zbl 1504.90004
Kulkarni, Anand J. (ed.), Multiple criteria decision making. Techniques, analysis and applications. Singapore: Springer. Stud. Syst. Decis. Control 407, 223-242 (2022).
An analytic framework for effective public health program design using correctional facilities. (English) Zbl 07549368
MSC:
90-XX
Tabu search for a parallel-machine scheduling problem with periodic maintenance, job rejection and weighted sum of completion times. (English) Zbl 1486.90094
Equality-minded treatment choice. (English) Zbl 07925226
MSC:
62P20
Multivalued treatments and decomposition analysis: an application to the WIA program. (English) Zbl 07925212
MSC:
62P20
Deadlock in packet switching networks. (English) Zbl 1496.68043
Hojjat, Hossein (ed.) et al., Fundamentals of software engineering. 9th international conference, FSEN 2021, virtual event, May 19–21, 2021. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12818, 127-141 (2021).
Spotlight abstraction in model checking real-time task schedulability. (English) Zbl 1490.68135
Laarman, Alfons (ed.) et al., Model checking software. 27th international symposium, SPIN 2021, virtual event, July 12, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12864, 63-80 (2021).
Stand-alone renewable power system scheduling for a green data center using integer linear programming. (English) Zbl 1480.90132
Partial identification of the distribution of treatment effects with an application to the Knowledge is Power Program (KIPP). (English) Zbl 1477.62333
Causal inference with interference and noncompliance in two-stage randomized experiments. (English) Zbl 1464.62208
Synthesizing imperative code from answer set programming specifications. (English) Zbl 1502.68075
Gabbrielli, Maurizio (ed.), Logic-based program synthesis and transformation. 29th international symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12042, 75-89 (2020).
Probabilistic model checking of AODV. (English) Zbl 1483.68037
Gribaudo, Marco (ed.) et al., Quantitative evaluation of systems. 17th international conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12289, 54-73 (2020).
Fixing code that explodes under symbolic evaluation. (English) Zbl 07228501
Beyer, Dirk (ed.) et al., Verification, model checking, and abstract interpretation. 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11990, 44-67 (2020).
PREM-based optimal task segmentation under fixed priority scheduling. (English) Zbl 1541.68057
Quinton, Sophie (ed.), 31st Euromicro conference on real-time systems, ECRTS 2019, Stuttgart, Germany, July 9–12, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 133, Article 4, 23 p. (2019).
MSC:
68M20
Preemptive parallel-machine scheduling problem of maximizing the number of on-time jobs. (English) Zbl 1434.90059
Read atomic transactions with prevention of lost updates: ROLA and its formal analysis. (English) Zbl 1425.68096
Formal verification of weakly-hard systems. (English) Zbl 07120155
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). 197-207 (2019).
Verifying weakly-hard real-time properties of traffic streams in switched networks. (English) Zbl 1497.68057
Altmeyer, Sebastian (ed.), 30th Euromicro conference on real-time systems, ECRTS 2018, July 3rd–6th, 2018, Barcelona, Spain. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 106, Article 15, 22 p. (2018).
New MIP model for multiprocessor scheduling problem with communication delays. (English) Zbl 1421.90091
Pardalos, Panos M. (ed.) et al., Open problems in optimization and data analysis. Based on the summer school on challenges and open problems in optimization and data science, Deucalion Summer Institute for Advanced Studies in Optimization, Mathematics, and Data Science, Greece, August 2016. Cham: Springer. Springer Optim. Appl. 141, 129-149 (2018).
Who should be treated? Empirical welfare maximization methods for treatment choice. (English) Zbl 1419.91280
Front-door versus back-door adjustment with unmeasured confounding: bias formulas for front-door and hybrid adjustments with application to a job training program. (English) Zbl 1402.62270
MSC:
62P10
Theory and methodology of assumption/commitment based system interface specification and architectural contracts. (English) Zbl 1392.68238
An approximation scheme for minimizing the makespan of the parallel identical multi-stage flow-shops. (English) Zbl 1393.68041
Evaluation of temporal datasets via interval temporal logic model checking. (English) Zbl 1515.68109
Schewe, Sven (ed.) et al., 24th international symposium on temporal representation and reasoning, TIME 2017, Mons, Belgium, October 16–18, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 90, Article 11, 18 p. (2017).
A quantitative partial model-checking function and its optimisation. (English) Zbl 1403.68121
Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 319-337 (2017).
Detecting decidable classes of finitely ground logic programs with function symbols. (English) Zbl 1407.68078
MSC:
68N17
Introduction to embedded systems. A cyber-physical systems approach. 2nd edition. (English) Zbl 1371.68001
Cambridge, MA: MIT Press (ISBN 978-0-262-53381-2). xxii, 537 p. (2017).
Two-machine flowshop scheduling with three-operation jobs subject to a fixed job sequence. (English) Zbl 1376.90026
Symbolic trajectory evaluation for word-level verification: theory and implementation. (English) Zbl 1360.68582
MSC:
68Q60
From non-preemptive to preemptive scheduling using synchronization synthesis. (English) Zbl 1360.68346
A PTAS for the multiple parallel identical multi-stage flow-shops to minimize the makespan. (English) Zbl 1475.90024
Zhu, Daming (ed.) et al., Frontiers in algorithmics. 10th international workshop, FAW 2016, Qingdao, China, June 30 – July 2, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9711, 227-237 (2016).
Identification of the timing-of-events model with multiple competing exit risks from single-spell data. (English) Zbl 1396.91362
MSC:
91B40
62P20
Estimation of time-varying average treatment effects using panel data when unobserved fixed effects affect potential outcomes differently. (English) Zbl 1396.91138
MSC:
91B12
Gradient method for construction dynamic data processing schedules in a conveyor system with various data arrival time and different priorities. (Russian. English summary) Zbl 1375.68033
Using linear constraints for logic program termination analysis. (English) Zbl 1379.68050
MSC:
68N17
Evaluating probabilistic model checking tools for verification of robot control policies. (English) Zbl 1373.68410
Formal assessment of reliability specifications in embedded cyber-physical systems. (English) Zbl 1436.68196
Why systems of temporal logic are sometimes (un)useful? (English) Zbl 1358.68292
Rutkowski, Leszek (ed.) et al., Artificial intelligence and soft computing. 15th international conference, ICAISC 2016, Zakopane, Poland, June 12–16, 2016. Proceedings. Part II. Cham: Springer (ISBN 978-3-319-39383-4/pbk; 978-3-319-39384-1/ebook). Lecture Notes in Computer Science 9693. Lecture Notes in Artificial Intelligence, 306-316 (2016).
From curriculum guidelines to learning outcomes: assessment at the program level. (English) Zbl 07671758
MSC:
62-XX
The challenges in developing an online applied statistics program: lessons learned at Penn State University. (English) Zbl 07671732
MSC:
62-XX
Static optimal scheduling for synchronous data flow graphs with model checking. (English) Zbl 1427.68177
Bjørner, Nikolaj (ed.) et al., FM 2015: formal methods. 20th international symposium, Oslo, Norway, June 24–26, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9109, 551-569 (2015).
Difference-in-differences techniques for spatial data: local autocorrelation and spatial interaction. (English) Zbl 1398.62230
Schedulability verification of embedded system AADL model based on timed automata. (Chinese. English summary) Zbl 1349.68117
Verification and control of partially observable probabilistic real-time systems. (English) Zbl 1465.68182
Sankaranarayanan, Sriram (ed.) et al., Formal modeling and analysis of timed systems. 13th international conference, FORMATS 2015, Madrid, Spain, September 2–4, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9268, 240-255 (2015).
The tractability frontier of graph-like first-order query sets. (English) Zbl 1394.68171
Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 31, 9 p. (2014).
Compositional semantics for composable continuations: from abortive to delimited control. (English) Zbl 1345.68046
Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP ’14, Gothenburg, Sweden, September 1–3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2873-9). 109-122 (2014).
On the modular integration of abstract semantics for WCET analysis. (English) Zbl 1445.68037
Dal Lago, Ugo (ed.) et al., Foundational and practical aspects of resource analysis. Third international workshop, FOPARA 2013, Bertinoro, Italy, August 29–31, 2013. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 8552, 19-37 (2014).
Generating specialized interpreters for modular structural operational semantics. (English) Zbl 1453.68040
Gupta, Gopal (ed.) et al., Logic-based program synthesis and transformation. 23rd international symposium, LOPSTR 2013, Madrid, Spain, September 18–19, 2013. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 8901, 220-236 (2014).
Finding best and worst case execution times of systems using difference-bound matrices. (English) Zbl 1448.68177
Legay, Axel (ed.) et al., Formal modeling and analysis of timed systems. 12th international conference, FORMATS 2014, Florence, Italy, September 8–10, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8711, 38-52 (2014).
Probabilistic model checking on HPC systems for the performance analysis of mobile networks. (English) Zbl 1324.68026
Energy-utility analysis for resilient systems using probabilistic model checking. (English) Zbl 1407.68280
Ciardo, Gianfranco (ed.) et al., Application and theory of Petri nets and concurrency. 35th international conference, PETRI NETS 2014, Tunis, Tunisia, June 23–27, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8489, 20-39 (2014).
Probabilistic model checking for energy-utility analysis. (English) Zbl 1407.68279
van Breugel, Franck (ed.) et al., Horizons of the mind. A tribute to Prakash Panangaden. Essays dedicated to Prakash Panangaden on the occasion of his 60th birthday. Berlin: Springer. Lect. Notes Comput. Sci. 8464, 96-123 (2014).
Translation from multisingular hybrid Petri nets to multisingular hybrid automata. (English) Zbl 1308.68083
Reviewer: Jörg Desel (Hagen)
Modular, higher-order cardinality analysis in theory and practice. (English) Zbl 1284.68151
Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 335-347 (2014).
Graph balancing: a special case of scheduling unrelated parallel machines. (English) Zbl 1295.68214
Reviewer: Roberto Solis-Oba (London)
Quick job entry or long-term human capital development? The dynamic effects of alternative training schemes. (English) Zbl 1405.91331
MSC:
91B40
Rewarding probabilistic hybrid automata. (English) Zbl 1362.68172
Proceedings of the 16th ACM international conference on hybrid systems: computation and control, HSCC 2013, Philadelphia, PA, USA, April 8–11, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1567-8). 313-322 (2013).
Energy efficient scheduling and routing via randomized rounding. (English) Zbl 1359.68034
Seth, Anil (ed.) et al., 33nd international conference on foundations of software technology and theoretical computer science, FSTTCS 2013, Guwahati, India, December 12–14, 2013. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-64-4). LIPIcs – Leibniz International Proceedings in Informatics 24, 449-460 (2013).
A model of concentrated processing of non-uniform processes in systems of macroconveyor type. (Russian. English summary) Zbl 1302.68042
MSC:
68M20
Scalable and precise refinement of cache timing analysis via path-sensitive verification. (English) Zbl 1291.68068
Logic programming with function symbols: checking termination of bottom-up evaluation through program adornments. (English) Zbl 1286.68045
MSC:
68N17
Agnostic notes on regression adjustments to experimental data: reexamining Freedman’s critique. (English) Zbl 1454.62217
MSC:
62J05
Filter Results by …
Document Type
- Journal Articles (254)
- Collection Articles (113)
- Books (28)
all
top 5
Author
- Baier, Christel (5)
- Haverkort, Boudewijn R. (5)
- Hermanns, Holger (5)
- Jones, Neil D. (5)
- Puebla, Germán (5)
- Glück, Robert (4)
- Heckman, James Joseph (4)
- Katoen, Joost-Pieter (4)
- Norman, Gethin (4)
- Vytlacil, Edward J. (4)
- Albert, Elvira (3)
- Alblas, Henk (3)
- Bensalem, Saddek (3)
- Clarke, Edmund Melson jun. (3)
- Consel, Charles (3)
- Danvy, Olivier (3)
- Ershov, Andreĭ Petrovich (3)
- Greco, Sergio (3)
- Larsen, Kim Guldstrand (3)
- Parker, David F. (3)
- Peled, Doron A. (3)
- Reps, Thomas W. (3)
- Sifakis, Joseph (3)
- Trubitsyna, Irina (3)
- Abramsky, Samson (2)
- Arvind (2)
- Bampis, Evripidis (2)
- Basten, Twan (2)
- Basu, Ananda (2)
- Behrmann, Gerd (2)
- Bozzano, Marco (2)
- Broy, Manfred (2)
- Bueno, Francisco (2)
- Bulyonkov, Mikhail A. (2)
- Calautti, Marco (2)
- Chattopadhyay, Sudipta (2)
- Chaudron, Michel (2)
- Dehejia, Rajeev H. (2)
- Delzanno, Giorgio (2)
- Desovski, D. (2)
- Duan, Zhenhua (2)
- Dubslaff, Clemens (2)
- Furukawa, Kōichi (2)
- Garey, Michael Randolph (2)
- Ge, Qi-Wei (2)
- Giannotti, Fosca (2)
- Goebel, Randy G. (2)
- Gouda, Mohamed G. (2)
- Guessarian, Irène (2)
- Gupta, Gopal (2)
- Hart, Sergiu (2)
- Henzinger, Thomas A. (2)
- Hermenegildo, Manuel V. (2)
- Hsiang, Jieh (2)
- Hudak, Paul (2)
- Hung, William N. N. (2)
- Johnson, David Stifler (2)
- Kitagawa, Toru (2)
- Klüppelholz, Sascha (2)
- Kononov, Alexander V. (2)
- Kwiatkowska, Marta Z. (2)
- Lafont, Yves (2)
- Lawall, Julia L. (2)
- Letsios, Dimitrios (2)
- Leuschel, Michael (2)
- Li, Yongjian (2)
- Lin, Bertrand Miao-Tsong (2)
- Lin, Guohui (2)
- López-García, Pedro (2)
- Lucarelli, Giorgio (2)
- Marlet, Renaud (2)
- Miyano, Eiji (2)
- Molinaro, Cristian (2)
- Ochoa, Claudio (2)
- Pedreschi, Dino (2)
- Peyton Jones, Simon L. (2)
- Pingali, Keshav K. (2)
- Pulina, Luca (2)
- Remke, Anne (2)
- Reniers, Michel Adriaan (2)
- Roychoudhury, Abhik (2)
- Ruiz, M. Carmen (2)
- Sakamura, Ken (2)
- Sampaio, Augusto C. A. (2)
- Sarkar, Vivek (2)
- Schittkowski, Klaus (2)
- Seger, Carl-Johan H. (2)
- Sestoft, Peter (2)
- Sharir, Micha (2)
- Song, Xiaoyu (2)
- Srivas, Mandayam K. (2)
- Subramani, Krishnan (2)
- Sviridenko, Maxim I. (2)
- Tacchella, Armando (2)
- Tetenov, Aleksey (2)
- Tong, Weitian (2)
- Turini, Franco (2)
- Wadler, Philip Lee (2)
- Zou, Xueyi (2)
- Aagaard, Mark D. (1)
- and 691 more Authors
all
top 5
Serial
- Theor. Comput. Sci. (20)
- New Generation Comput. (12)
- J. Econom. (11)
- Inf. Process. Lett. (8)
- Econometrica (8)
- Sci. Comput. Program. (8)
- Form. Methods Syst. Des. (8)
- Acta Inf. (7)
- J. Log. Program. (7)
- ACM Trans. Program. Lang. Syst. (6)
- Real-Time Syst. (6)
- Econ. Lett. (6)
- IEEE Trans. Softw. Eng. (6)
- J. Sched. (6)
- High.-Order Symb. Comput. (6)
- Theory Pract. Log. Program. (5)
- Formal Asp. Comput. (4)
- Comput. Phys. Commun. (3)
- J. Am. Stat. Assoc. (3)
- J. Assoc. Comput. Mach. (3)
- SIAM J. Comput. (3)
- J. Autom. Reasoning (3)
- J. ACM (3)
- J. Bus. Econ. Stat. (3)
- Am. Stat. (2)
- IEEE Trans. Commun. (2)
- J. Environ. Econ. Manage. (2)
- Program. Comput. Softw. (2)
- Perform. Eval. (2)
- Parallel Comput. (2)
- AI Commun. (2)
- Autom. Remote Control (2)
- Eur. J. Oper. Res. (2)
- Nord. J. Comput. (2)
- ACM Trans. Model. Comput. Simul. (2)
- J. Log. Algebr. Program. (2)
- Comput. Inform. (2)
- Inf.-Fachber. (2)
- Lect. Notes Comput. Sci. (2)
- J. Comput. Appl. (2)
- Artif. Intell. (1)
- Comput. Math. Appl. (1)
- Comput. Struct. (1)
- Discrete Appl. Math. (1)
- IEEE Trans. Reliab. (1)
- Int. J. Syst. Sci. (1)
- J. Franklin Inst. (1)
- J. Res. Natl. Bur. Stand. (1)
- Karachi Univ. J. Sci. (1)
- Philips J. Res. (1)
- Math. Comput. (1)
- ACM Trans. Math. Softw. (1)
- Acta Cybern. (1)
- Comput. Lang. (1)
- Comput. Networks (1)
- Ekon.-Mat. Obz. (1)
- Inf. Sci. (1)
- Math. Syst. Theory (1)
- Oper. Res. (1)
- RAIRO, Inf. Théor. (1)
- Rev. Econ. Stud. (1)
- Stud. Log. (1)
- J. Xi’an Jiaotong Univ. (1)
- Acta Sci. Nat. Univ. Amoiensis (1)
- J. Dalian Inst. Technol. (1)
- Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Comput. (1)
- J. Symb. Comput. (1)
- J. Comput. Sci. Technol. (1)
- Algorithmica (1)
- Int. J. Parallel Program. (1)
- Inf. Comput. (1)
- Econom. Rev. (1)
- Integr., VLSI J. (1)
- J. Log. Comput. (1)
- IEEE Trans. Signal Process. (1)
- Int. J. Found. Comput. Sci. (1)
- J. Supercomput. (1)
- RAIRO, Inform. Théor. Appl. (1)
- Arch. Inform. Teor. Stosow. (1)
- J. Funct. Program. (1)
- Bul. Inst. Politeh. Iași, Secț. IV (1)
- Doc. Math. (1)
- INFORMS J. Comput. (1)
- Log. J. IGPL (1)
- Vychisl. Tekhnol. (1)
- Soft Comput. (1)
- Vestn. Beloruss. Gos. Univ., Ser. 1, Fiz. Mat. Inform. (1)
- Bull. Eur. Assoc. Theor. Comput. Sci. EATCS (1)
- Informatica, Vilnius (1)
- Theor. Inform. Appl. (1)
- Fundam. Inform. (1)
- Lobachevskii J. Math. (1)
- J. Southeast Univ., Nat. Sci. (1)
- Information (1)
- Comput. Lang. Syst. Struct. (1)
- J. Softw. (1)
- J. Shandong Univ., Nat. Sci. (1)
- Trans. Beijing Inst. Technol. (1)
- ACM Trans. Comput. Log. (1)
- J. Appl. Log. (1)
- and 11 more Serials
all
top 5
Year of Publication
- 2024 (5)
- 2023 (5)
- 2022 (6)
- 2021 (11)
- 2020 (6)
- 2019 (6)
- 2018 (9)
- 2017 (10)
- 2016 (9)
- 2015 (7)
- 2014 (16)
- 2013 (7)
- 2012 (7)
- 2011 (6)
- 2010 (8)
- 2009 (9)
- 2008 (13)
- 2007 (15)
- 2006 (5)
- 2005 (13)
- 2004 (11)
- 2003 (3)
- 2002 (16)
- 2001 (12)
- 2000 (7)
- 1999 (8)
- 1998 (5)
- 1997 (2)
- 1996 (4)
- 1995 (3)
- 1994 (1)
- 1993 (9)
- 1992 (2)
- 1991 (9)
- 1990 (8)
- 1989 (11)
- 1988 (22)
- 1987 (11)
- 1986 (16)
- 1985 (10)
- 1984 (9)
- 1983 (5)
- 1982 (10)
- 1981 (10)
- 1980 (3)
- 1979 (9)
- 1978 (4)
- 1977 (2)
Biographic Reference
all
top 3
Software
- Uppaal (12)
- PRISM (10)
- Refal (9)
- ECCE (6)
- HyTech (5)
- SPIN (5)
- Haskell (4)
- ML (4)
- ACL2 (3)
- CESAR (3)
- Ciao (3)
- CiaoPP (3)
- Coq (3)
- Datalog (3)
- DyC (3)
- GitHub (3)
- Maude (3)
- Miranda (3)
- OCaml (3)
- R (3)
- ALGOL 60 (2)
- BABEL (2)
- CADP (2)
- CBMC (2)
- CUDD (2)
- DACTL (2)
- Eiffel (2)
- GHC (2)
- IMITATOR (2)
- Isabelle/HOL (2)
- JML (2)
- KLEE (2)
- Kernel-LEAF (2)
- Kronos (2)
- LOGEN (2)
- MRMC (2)
- Mercury (2)
- OCRA (2)
- PARLOG (2)
- POMDP (2)
- PVS (2)
- Rabbit (2)
- Stata (2)
- TIMES (2)
- TREX (2)
- Uppaal2k (2)
- XSB (2)
- nuXmv (2)
- ABC (1)
- ALGOL 68 (1)
- AProVE (1)
- ASF+SDF (1)
- AlexNet (1)
- Algorithm 524 (1)
- AlphaZero (1)
- Antichains (1)
- BAL (1)
- BLAST (1)
- BayesDA (1)
- Beaver (1)
- Boolector (1)
- CLEAN (1)
- CLPS-B (1)
- CMA-ES (1)
- CMC (1)
- CPAchecker (1)
- CRADINTEG (1)
- CRAN (1)
- CRIMPT2W (1)
- CVC4 (1)
- Caduceus (1)
- Camelot (1)
- Casper (1)
- Centaur (1)
- Cilk (1)
- Clara (1)
- ConRepair (1)
- Consit (1)
- Curry (1)
- DART (1)
- DOS (1)
- DPPD (1)
- FDR3 (1)
- FastTrack (1)
- FormScanner (1)
- GAG (1)
- GPUVerify (1)
- GiNaC (1)
- GlobSol (1)
- Gprof (1)
- Grail (1)
- GreatSPN (1)
- GreatSPN 1.7 (1)
- Gurobi (1)
- HOL (1)
- HOL/SPIN (1)
- ImageNet (1)
- InVeSt (1)
- IronFleet (1)
- JOBSHOP (1)
- and 104 more Software Packages