BiBLaTeX style for Springer Lecture Notes in Computer Science
☆18May 8, 2023Updated 2 years ago
Alternatives and similar repositories for biblatex-lncs
Users that are interested in biblatex-lncs are comparing it to the libraries listed below
Sorting:
- IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…☆28Updated this week
- ☆10May 15, 2021Updated 4 years ago
- the helena Petri net tool repository☆11Sep 8, 2021Updated 4 years ago
- Babel plugin for transforming ES2017 features Object.entries and Object.keys☆13May 2, 2024Updated last year
- High-Level Nets Blaster for the Model-Checking Contest☆10Jan 18, 2026Updated last month
- [Neurips 2024] This repository is the official implementation of the Spatio-hemispherical equivariant convolution for dMRI deconvolution …☆10Dec 24, 2024Updated last year
- 它现在不仅有真值表，还有主范式、最简范式、王浩算法、手动等值演算 | 离散数学 Open Project☆17Sep 10, 2025Updated 5 months ago
- Fork of http://asciitex.sourceforge.net/ with several improvements. But you should really be using https://github.com/bartp5/libtexprintf…☆13Jan 30, 2023Updated 3 years ago
- Unified Maude model-checking tool☆13Feb 4, 2026Updated last month
- A web-based template for hosting systems for real-time music HCI.☆13Jul 6, 2024Updated last year
- A Javascript library to display and interact with Petri Nets.☆14Nov 16, 2017Updated 8 years ago
- This repository hosts the source code of PNML Framework, the companion tool of ISO/IEC 15909-2 (Petri Nets Markup Language - www.pnml.org…☆13May 20, 2024Updated last year
- E3xSO3 convolution implementation presented at MIDL 2023 https://openreview.net/pdf?id=lri_iAbpn_r☆14Apr 12, 2023Updated 2 years ago
- A model checker for safe Petri nets based on partial-order semantics☆13Nov 30, 2020Updated 5 years ago
- A mobile application project to book meeting room that use Estimote Beacons and Slack API.☆12Mar 5, 2018Updated 8 years ago
- Unofficial build of Adobe Acrobat 9.5.5 running within a docker container forwarded to local X session, based on chrisdaish/acroread☆11Dec 13, 2018Updated 7 years ago
- A set of notebooks to introduce neuroscientists to concepts in information visualization.☆14Apr 27, 2018Updated 7 years ago
- A set of notebooks to introduce neuroscientists to concepts in machine learning.☆15Aug 30, 2017Updated 8 years ago
- Links to Neuroscience tools, portals, initiatives, and more!☆16Jan 30, 2018Updated 8 years ago
- 📚 An open source repository of resources for the Javascript Ecosystem.☆17Dec 16, 2017Updated 8 years ago
- A library of formal models in the jani-model format.☆14Sep 5, 2022Updated 3 years ago
- An itree-like data-structure to additionally support internal non-determinism☆20Nov 25, 2025Updated 3 months ago
- Reproducible Data Science in Python (SciPy 2019 Tutorial)☆13Feb 2, 2023Updated 3 years ago
- A simple BDD library for OCaml☆13May 20, 2025Updated 9 months ago
- LaTeX package to typeset Uppaal timed automata specifications☆13Dec 19, 2025Updated 2 months ago
- ☆16Dec 18, 2013Updated 12 years ago
- MRtrix3Tissue adds capabilities for 3-Tissue CSD modelling and analysis to a complete version of MRtrix3.☆18Apr 5, 2024Updated last year
- Artisan make Commands when using https://github.com/Jeroen-G/laravel-packager thereby accelerating your development of Laravel Packages.☆16Feb 19, 2023Updated 3 years ago
- Jupyter Interactive Workflows for High Performance Computing☆15Apr 15, 2020Updated 5 years ago
- MPFR library built for Windows using msys2/mingw64☆14Dec 26, 2016Updated 9 years ago
- Subversion activity notification☆18Jul 4, 2018Updated 7 years ago
- Tool to convert OASIS metadata to OPAM package descriptions☆27Oct 28, 2017Updated 8 years ago
- Formalization of Linear Logic in Coq☆18Apr 7, 2025Updated 11 months ago
- Docker compose setup to build & run Apereo CAS in Docker☆16Nov 6, 2019Updated 6 years ago
- Scripts used to recreate the results of the ISMRM 2015 Tractography Challenge☆18Dec 9, 2022Updated 3 years ago
- PLanning and Acting with TImeliNes under Uncertainty☆18Nov 26, 2025Updated 3 months ago
- ☆17Oct 9, 2016Updated 9 years ago
- Intrepyd Model Checker☆18Nov 5, 2021Updated 4 years ago
- Verimag Polyhedra Library☆19Apr 11, 2025Updated 10 months ago