Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
83 | Jasen Markovski, Nikola Trcka |
Lumping Markov Chains with Silent Steps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 11-14 September 2006, Riverside, California, USA, pp. 221-232, 2006, IEEE Computer Society, 0-7695-2665-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
83 | Salem Derisavi, Peter Kemper, William H. Sanders |
Lumping Matrix Diagram Representations of Markov Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June - 1 July 2005, Yokohama, Japan, Proceedings, pp. 742-751, 2005, IEEE Computer Society, 0-7695-2282-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
83 | R. Vanselow |
Error Estimates of a FEM with Lumping for Parabolic PDEs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 68(2), pp. 131-141, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
AMS Subject Classifications: 65M60, 65M20, 65M99, 35A40 |
63 | Salem Derisavi |
A Symbolic Algorithm for Optimal Markov Chain Lumping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 139-154, 2007, Springer, 978-3-540-71208-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
50 | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
Model-Checking Algorithms for Continuous-Time Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 29(6), pp. 524-541, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
model checking, temporal logic, transient analysis, uniformization, Continuous-time Markov chain, steady-state analysis, lumping |
50 | Giuseppe Iazeolla, Francesco Marinuzzi |
LISPACK-A Methodology and Tool for the Performance Analysis of Parallel Systems and Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(5), pp. 486-502, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
LISPACK, list-manipulation parallel-modeling package, string manipulation, recursive elimination, large Markovian process, symbolic-approach methodology, performance evaluation, parallel algorithms, parallel algorithms, performance analysis, parallel processing, software tool, software tools, Markov processes, parallel systems, lumping |
39 | Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink |
Compositionality for Markov Reward Chains with Fast Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPEW ![In: Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings, pp. 18-32, 2007, Springer, 978-3-540-75210-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
discontinuous Markov reward chains, Markov reward chains with fast transitions, lumpability, Kronecker product and sum, reduction, compositionality, parallel composition |
31 | Tugrul Dayar |
Analyzing Large Sparse Markov Chains of Kronecker Products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009, pp. 5, 2009, IEEE Computer Society, 978-0-7695-3808-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
block iterative methods, preconditioned projection methods, Markov chains, grouping, reordering, multilevel methods, Kronecker products, lumping |
24 | Yannis Voet, Espen Sande, Annalisa Buffa |
Robust mass lumping and outlier removal strategies in isogeometric analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.14956, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
24 | Markus Wess, Bernard Kapidani, Lorenzo Codecasa, Joachim Schöberl |
Mass lumping the dual cell method to arbitrary polynomial degree for acoustic and electromagnetic waves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.14716, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | René Hiemstra, Thi-Hoa Nguyen, Sascha Eisenträger, Wolfgang Dornisch, Dominik Schillinger |
Higher order accurate mass lumping for explicit isogeometric methods based on approximate dual basis functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.13379, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Thi-Hoa Nguyen, René R. Hiemstra, Sascha Eisenträger, Dominik Schillinger |
Towards higher-order accurate mass lumping in explicit isogeometric analysis for structural dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.12916, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Antonio Jiménez-Pastor, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
Proper Lumping for Positive Bilinear Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.08831, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Ulrich Langer, Richard Löscher, Olaf Steinbach, Huidong Yang |
Mass-lumping discretization and solvers for distributed elliptic optimal control problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.14664, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Susanne Held, Sascha Eisenträger, Wolfgang Dornisch |
An efficient mass lumping scheme for isogeometric analysis based on approximate dual basis functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.12257, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Luca Cardelli, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
Formal lumping of polynomial differential equations through approximate equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 134, pp. 100876, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Alexander Leguizamon-Robayo, Antonio Jiménez-Pastor, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
Approximate Constrained Lumping of Polynomial Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings, pp. 106-123, 2023, Springer, 978-3-031-42696-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Toru Nakanishi 0003, Norikazu Saito |
A mass-lumping finite element method for radially symmetric solution of a multidimensional semilinear heat equation with blow-up. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Math. ![In: Int. J. Comput. Math. 99(9), pp. 1890-1917, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Marcus Riesmeier, Frank Woittennek |
Late lumping of observer-based state feedback for boundary control systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.13784, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Dalila Ressi, Riccardo Romanello, Sabina Rossi, Carla Piazza |
Neural Networks Reduction via Lumping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.07475, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Yannis Voet, Espen Sande, Annalisa Buffa |
A mathematical theory for mass lumping and its generalization with applications to isogeometric analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.03614, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Dalila Ressi, Riccardo Romanello, Carla Piazza, Sabina Rossi |
Neural Networks Reduction via Lumping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AIxIA 2022 - Advances in Artificial Intelligence - XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings, pp. 75-90, 2022, Springer, 978-3-031-27180-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Herbert Egger, Bogdan Radu |
A Second-Order Finite Element Method with Mass Lumping for Maxwell's Equations on Tetrahedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Numer. Anal. ![In: SIAM J. Numer. Anal. 59(2), pp. 864-885, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Isabel Cristina Pérez-Verona, Mirco Tribastone, Andrea Vandin |
A large-scale assessment of exact lumping of quantitative models in the BioModels repository. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 893, pp. 41-59, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Luca Cardelli, Isabel Cristina Pérez-Verona, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, Tabea Waizmann |
Exact maximal reduction of stochastic reaction networks by species lumping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 37(15), pp. 2175-2182, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Alexey Ovchinnikov, Isabel Cristina Pérez-Verona, Gleb Pogudin, Mirco Tribastone |
CLUE: exact maximal reduction of kinetic models by constrained lumping of differential equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 37(19), pp. 3385, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Alexey Ovchinnikov, Isabel Cristina Pérez-Verona, Gleb Pogudin, Mirco Tribastone |
CLUE: exact maximal reduction of kinetic models by constrained lumping of differential equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 37(12), pp. 1732-1738, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Yongxin Dong, Jianxin You, Yuehua Feng |
Remarks on lumping PageRank results of Ipsen and Selee. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.11080, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
24 | Yongxin Dong, Yuehua Feng, Jianxin You |
On computing HITS ExpertRank via lumping the hub matrix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.13173, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
24 | Luca Cardelli, Isabel Cristina Pérez-Verona, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, Tabea Waizmann |
Exact maximal reduction of stochastic reaction networks by species lumping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.03342, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
24 | Tatjana Petrov, Stefano Tognazzi |
Lumping Reductions for Multispread in Multi-Layer Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPLEX NETWORKS ![In: Complex Networks & Their Applications X - Volume 2, Proceedings of the Tenth International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2021, Madrid, Spain, November 30 - December 2, 2021, pp. 289-300, 2021, Springer, 978-3-030-93413-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Alexey Ovchinnikov, Isabel Cristina Pérez-Verona, Gleb Pogudin, Mirco Tribastone |
CLUE: Exact maximal reduction of kinetic models by constrained lumping of differential equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.11961, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
24 | Toru Nakanishi 0003, Norikazu Saito |
A mass-lumping finite element method for radially symmetric solution of a multidimensional semilinear heat equation with blow-up. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2012.06422, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
24 | Herbert Egger, Bogdan Radu |
A second order finite element method with mass lumping for Maxwell's equations on tetrahedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.05575, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
24 | Yan Yang, Xiaoping Xie |
High order mixed finite elements with mass lumping for elasticity on triangular grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.04386, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
24 | Alexander Erreygers, Jasper De Bock |
Bounding inferences for large-scale continuous-time Markov chains: A new approach based on lumping and imprecise Markov chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 115, pp. 96-133, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Sergii V. Siryk |
A note on the application of the Guermond-Pasquetti mass lumping correction technique for convection-diffusion problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. ![In: J. Comput. Phys. 376, pp. 1273-1291, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Jean Auriol, Kirsten A. Morris, Florent Di Meglio |
Late-lumping backstepping control of partial differential equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 100, pp. 247-259, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Shuai Ma 0004, Jia Yuan Yu |
Variance-Based Risk Estimations in Markov Processes via Transformation with State Lumping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.05231, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
24 | Herbert Egger, Bogdan Radu |
A second order finite element method with mass lumping for wave equations in H(div). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1912.07057, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
24 | Jonathan A. Ward, Martín López-García |
Exact analysis of summary statistics for continuous-time discrete-state Markov processes on networks using graph-automorphism lumping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Netw. Sci. ![In: Appl. Netw. Sci. 4(1), pp. 108, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Herbert Egger, Bogdan Radu |
A Second Order Finite Element Method with Mass Lumping for Wave Equations in H(div). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENUMATH ![In: Numerical Mathematics and Advanced Applications ENUMATH 2019 - European Conference, Egmond aan Zee, The Netherlands, September 30 - October 4, pp. 793-801, 2019, Springer, 978-3-030-55873-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Shuai Ma 0004, Jia Yuan Yu |
Variance-Based Risk Estimations in Markov Processes via Transformation with State Lumping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: 2019 IEEE International Conference on Systems, Man and Cybernetics, SMC 2019, Bari, Italy, October 6-9, 2019, pp. 958-963, 2019, IEEE, 978-1-7281-4569-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Gerrit Großmann, Charalampos Kyriakopoulos, Luca Bortolussi, Verena Wolf |
Lumping the Approximate Master Equation for Multistate Processes on Complex Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1804.02981, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
24 | Sergii V. Siryk |
A note on the application of the Guermond-Pasquetti mass lumping correction technique for convection-diffusion problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1807.09401, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
24 | I. R. Mendes, Paulo B. Vasconcelos |
PageRank Computation with MAAOR and Lumping Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Sci. ![In: Math. Comput. Sci. 12(2), pp. 129-141, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Giacomo Alzetta, Andrea Marin, Carla Piazza, Sabina Rossi |
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 260, pp. 99-125, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Jonathan A. Ward, John Evans |
A General Model of Dynamics on Networks with Graph Automorphism Lumping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPLEX NETWORKS (1) ![In: Complex Networks and Their Applications VII - Volume 1 Proceedings The 7th International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2018, Cambridge, UK, December 11-13, 2018., pp. 445-456, 2018, Springer, 978-3-030-05410-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Gerrit Großmann, Charalampos Kyriakopoulos, Luca Bortolussi, Verena Wolf |
Lumping the Approximate Master Equation for Multistate Processes on Complex Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, pp. 157-172, 2018, Springer, 978-3-319-99153-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Alexander Erreygers, Jasper De Bock |
Computing Inferences for Large-Scale Continuous-Time Markov Chains by Combining Lumping with Imprecision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMPS ![In: Uncertainty Modelling in Data Science, SMPS 2018, Compiègne, France, 17-21 September 2018., pp. 78-86, 2018, Springer, 978-3-319-97546-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Thuy T. H. Nguyen, Shogo Teratani, Ryuzo Tanaka, Akira Endo, Masahiko Hirao |
A framework for developing a structure-based lumping kinetic model for the design and simulation of refinery reactors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Chem. Eng. ![In: Comput. Chem. Eng. 106, pp. 385-395, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Arnd Rösch, Gerd Wachsmuth |
Mass Lumping for the Optimal Control of Elliptic Partial Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Numer. Anal. ![In: SIAM J. Numer. Anal. 55(3), pp. 1412-1436, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Charalampos Kyriakopoulos, Gerrit Grossmann, Verena Wolf, Luca Bortolussi |
Lumping of Degree-Based Mean Field and Pair Approximation Equations for Multi-State Contact Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1706.06964, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
24 | Volker Turau |
Computing the Fault-Containment Time of Self-Stabilizing Algorithms Using Markov Chains and Lumping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings, pp. 62-77, 2017, Springer, 978-3-319-69083-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Simonetta Balsamo, Gian-Luca Dei Rossi, Andrea Marin |
Lumping and reversed processes in cooperating automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 239(2), pp. 695-722, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Michael N. Katehakis, Laurens C. Smit, Floske Spieksma |
A comparative analysis of the successive lumping and the lattice path counting algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Probab. ![In: J. Appl. Probab. 53(1), pp. 106-120, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
Efficient Syntax-Driven Lumping of Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, pp. 93-111, 2016, Springer, 978-3-662-49673-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Erdal Aydin, Ayse D. Celebi, Hasan Sildir, Yaman Arkun, Ummuhan Canan, Gamze Is, Murat Erdogan |
Dynamic modeling of an industrial diesel hydroprocessing plant by the method of continuous lumping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Chem. Eng. ![In: Comput. Chem. Eng. 82, pp. 44-54, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Scott M. Williams, Jason H. Moore |
Lumping versus splitting: the need for biological data mining in precision medicine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioData Min. ![In: BioData Min. 8, pp. 16, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Sarah Mechhoud, Emmanuel Witrant, Luc Dugard, Didier Moreau |
Estimation of Heat Source Term and Thermal Diffusion in Tokamak Plasmas Using a Kalman Filtering Method in the Early Lumping Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Control. Syst. Technol. ![In: IEEE Trans. Control. Syst. Technol. 23(2), pp. 449-463, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Andrea Marin, Sabina Rossi |
Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems, 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings, pp. 160-175, 2015, Springer, 978-3-319-22263-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | I. R. Mendes, Paulo B. Vasconcelos |
Lumping Method with Acceleration for the PageRank Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (Workshops/Short Papers/Posters) ![In: 2014 14th International Conference on Computational Science and Its Applications, Guimaraes, Portugal, June 30 - July 3, 2014, pp. 221-224, 2014, IEEE Computer Society, 978-1-4799-4264-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Nils Müllner, Oliver E. Theel, Martin Fränzle |
Combining Decomposition and Lumping to Evaluate Semi-hierarchical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA ![In: 28th IEEE International Conference on Advanced Information Networking and Applications, AINA 2014, Victoria, BC, Canada, May 13-16, 2014, pp. 1049-1056, 2014, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Marc Alexander Schweitzer |
Variational Mass Lumping in the Partition of Unity Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Sci. Comput. ![In: SIAM J. Sci. Comput. 35(2), 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Qing Yu, Zhengke Miao, Gang Wu, Yiming Wei 0001 |
Lumping algorithms for computing Google's PageRank and its derivative, with attention to unreferenced nodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Retr. ![In: Inf. Retr. 15(6), pp. 503-526, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Simonetta Balsamo, Gian-Luca Dei Rossi, Andrea Marin |
Lumping and Reversed Processes in Cooperating Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASMTA ![In: Analytical and Stochastic Modeling Techniques and Applications - 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings, pp. 212-226, 2012, Springer, 978-3-642-30781-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Simonetta Balsamo, Gian-Luca Dei Rossi, Andrea Marin |
Cooperating Stochastic Automata: Approximate Lumping an Reversed Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCIS ![In: Computer and Information Sciences III - 27th International Symposium on Computer and Information Sciences, Paris, France, October 3-4, 2012, pp. 131-141, 2012, Springer, 978-1-4471-4593-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Souheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad |
Lumping partially symmetrical stochastic models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Perform. Evaluation ![In: Perform. Evaluation 68(1), pp. 21-44, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Liyong Zhu, Qiang Du 0001 |
Mesh-dependent stability for finite element approximations of parabolic equations with mass lumping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Appl. Math. ![In: J. Comput. Appl. Math. 236(5), pp. 801-811, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Mikael Sunnåker, Henning Schmidt, Mats Jirstrand, Gunnar Cedersund |
Zooming of states and parameters using a lumping approach including back-translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Syst. Biol. ![In: BMC Syst. Biol. 4, pp. 28, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Antti Valmari, Giuliana Franceschinis |
Simple O(m logn) Time Markov Chain Lumping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, pp. 38-52, 2010, Springer, 978-3-642-12001-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Francesco Bonchi, Carlos Castillo 0001, Debora Donato, Aristides Gionis |
Taxonomy-driven lumping for sequence mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Min. Knowl. Discov. ![In: Data Min. Knowl. Discov. 19(2), pp. 227-244, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Karl-Heinz Hoffmann 0002, Peter Salamon |
Bounding the lumping error in Markov chain dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 22(9), pp. 1471-1475, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Francesco Bonchi, Carlos Castillo 0001, Debora Donato, Aristides Gionis |
Taxonomy-Driven Lumping for Sequence Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML/PKDD (1) ![In: Machine Learning and Knowledge Discovery in Databases, European Conference, ECML PKDD 2009, Bled, Slovenia, September 7-11, 2009, Proceedings, Part I, pp. 29, 2009, Springer, 978-3-642-04179-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Bao Lin, Claude F. Leibovici, Sten Bay Jørgensen |
Optimal component lumping: Problem formulation and solution techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Chem. Eng. ![In: Comput. Chem. Eng. 32(6), pp. 1167-1172, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Sébastien Jund, Stéphanie Salmon |
Arbitrary High-Order Finite Element Schemes and High-Order Mass Lumping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Appl. Math. Comput. Sci. ![In: Int. J. Appl. Math. Comput. Sci. 17(3), pp. 375-393, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | José Elias Laier |
Mass lumping, dispersive properties and bifurcation of Timoshenko's flexural waves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Eng. Softw. ![In: Adv. Eng. Softw. 38(8-9), pp. 547-551, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Pradeep Kumar Gudla, Ranjan Ganguli |
Error estimates for inconsistent load lumping approach in finite element solution of differential equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 194(1), pp. 21-37, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Salem Derisavi |
Signature-based Symbolic Algorithm for Optimal Markov Chain Lumping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 17-19 September 2007, Edinburgh, Scotland, UK, pp. 141-150, 2007, IEEE Computer Society, 0-7695-2883-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Makoto Kanazawa, Stefan Kaufmann 0001, Stanley Peters |
On the Lumping Semantics of Counterfactuals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Semant. ![In: J. Semant. 22(2), pp. 129-151, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Salem Derisavi |
Solution of Large Markov Models Using Lumping Techniques and Symbolic Data Structures ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2005 |
RDF |
|
24 | Salem Derisavi, Holger Hermanns, William H. Sanders |
Optimal state-space lumping in Markov chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 87(6), pp. 309-315, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Gary Cohen, Patrick Joly, Jean E. Roberts, Nathalie Tordjman |
Higher Order Triangular Finite Elements with Mass Lumping for the Wave Equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Numer. Anal. ![In: SIAM J. Numer. Anal. 38(6), pp. 2047-2078, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié |
On the use of partial symmetries for lumping Markov chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS Perform. Evaluation Rev. ![In: SIGMETRICS Perform. Evaluation Rev. 28(4), pp. 33-35, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Alison S. Tomlin, Genyuan Li, Herschel Rabitz, János Tóth |
The Effect of Lumping and Expanding on Kinetic Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Appl. Math. ![In: SIAM J. Appl. Math. 57(6), pp. 1531-1556, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Meera Balakrishnan, Andrew L. Reibman |
Characterizing a Lumping Heuristic for a Markov Network Reliability Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTCS ![In: Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993, pp. 56-65, 1993, IEEE Computer Society, 0-8186-3680-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Vetle I. Torvik, Neil R. Smalheiser |
Author name disambiguation in MEDLINE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Knowl. Discov. Data ![In: ACM Trans. Knowl. Discov. Data 3(3), pp. 11:1-11:29, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Name disambiguation, bibliographic databases |
20 | Lenka Jerábková, Torsten W. Kuhlen |
Stable Cutting of Deformable Objects in Virtual Environments Using XFEM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Computer Graphics and Applications ![In: IEEE Computer Graphics and Applications 29(2), pp. 61-71, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Avi Robinson-Mosher, R. Elliot English, Ronald Fedkiw |
Accurate tangential velocities for solid fluid coupling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Computer Animation ![In: Proceedings of the 2009 ACM SIGGRAPH/Eurographics Symposium on Computer Animation, SCA 2009, New Orleans, Louisiana, USA, August 1-2, 2009, pp. 227-236, 2009, ACM, 978-1-60558-610-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Josiane Xavier Parreira, Carlos Castillo 0001, Debora Donato, Sebastian Michel 0001, Gerhard Weikum |
The Juxtaposed approximate PageRank method for robust PageRank approximation in a peer-to-peer web search network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 17(2), pp. 291-313, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Social reputation, Markov chain aggregation, Link analysis, Peer-to-peer systems, Web graph |
20 | Francien Dechesne, Simona Orzan, Yanjing Wang 0001 |
Refinement of Kripke Models for Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, pp. 111-125, 2008, Springer, 978-3-540-85761-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Andrea Bobbio, Marco Gribaudo, Miklós Telek |
Analysis of Large Scale Interacting Systems by Mean Field Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 14-17 September 2008, Saint-Malo, France, pp. 215-224, 2008, IEEE Computer Society, 978-0-7695-3360-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Tod Courtney, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, Michael G. McQuinn, Eric Rozier, William H. Sanders |
The Mobius Modeling Environment: Recent Extensions - 2005. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 19-22 September 2005, Torino, Italy, pp. 259-260, 2005, IEEE Computer Society, 0-7695-2427-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Suksun Hutangkabodee, Yahya H. Zweiri, Lakmal D. Seneviratne, K. Altho |
Multi-solution Problem for Track-Terrain Interaction Dynamics and Lumped Soil Parameter Identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSR ![In: Field and Service Robotics, Results of the 5th International Conference, FSR 2005, July 29-31, 2005, Port Douglas, QLD, Australia, pp. 517-528, 2005, Springer, 978-3-540-33452-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Multi-solution, Soil parameter, Tracked UGVs, Interaction dynamics, Newton Raphson method, Identification, Lumped |
20 | Cheah C. J. Moey, Jonathan E. Rowe |
A Reduced Markov Model of GAs Without the Exact Transition Matrix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSN ![In: Parallel Problem Solving from Nature - PPSN VIII, 8th International Conference, Birmingham, UK, September 18-22, 2004, Proceedings, pp. 72-80, 2004, Springer, 3-540-23092-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Luca Bergamaschi, Marco Caliari, Marco Vianello |
The ReLPM Exponential Integrator for FE Discretizations of Advection-Diffusion Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2004, 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part IV, pp. 434-442, 2004, Springer, 3-540-22129-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Gabriel Acosta, Ricardo G. Durán, Julio D. Rossi |
An Adaptive Time Step Procedure for a Parabolic Problem with Blow-up. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 68(4), pp. 343-373, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
AMS Subject Classifications: 65M20, 35B40, 65M12 |
20 | Marie Duflot, Laurent Fribourg, Claudine Picaronny |
Randomized Finite-State Distributed Algorithms as Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 15th International Conference, DISC 2001, Lisbon, Portugal, October 3-5, 2001, Proceedings, pp. 240-254, 2001, Springer, 3-540-42605-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Holger Hermanns, Joost-Pieter Katoen |
Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings, pp. 59-81, 2001, Springer, 3-540-42497-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | C. C. Tan, Albert Y. Zomaya |
A Frequency-Dependent Direct Adaptive Scheme for Robot Manipulators: A Case of Model-Following Motion Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 22(1), pp. 1-22, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
model-following control, dynamic systems, adaptive control, robot manipulators |