Search results for "lumpability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
162	Marco Bernardo 0001	Towards State Space Reduction Based on T-Lumpability-Consistent Relations.	EPEW	2008	DBLP DOI BibTeX RDF
73	Ioannis I. Gerontidis, Stavros P. Kontakos	Markov Chain Lumpability on Fuzzy Partitions.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
73	Marco Beccuti, Giuliana Franceschinis, Souheib Baarir, Jean-Michel Ilié	Efficient lumpability check in partially symmetric systems.	QEST	2006	DBLP DOI BibTeX RDF
51	Souheib Baarir, Claude Dutheillet, Serge Haddad, Jean-Michel Ilié	On the use of exact lumpability in partially symmetricalWell-formed Nets.	QEST	2005	DBLP DOI BibTeX RDF
31	Ruth Lamprecht, Peter Kemper	On the Detection of Symmetries in Compositional Markov Models.	QEST	2009	DBLP DOI BibTeX RDF	lumpability, Markov Chains, compositional models, symmetry detection
31	Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink	Compositionality for Markov Reward Chains with Fast Transitions.	EPEW	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	Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad	Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	stochastic well-formed colored nets, SWN, stochastic high-level nets, syntactic restriction, model definition, Markovian performance evaluation, lumpability condition, performance evaluation, computational complexity, computational complexity, complexity, Petri net, Petri nets, performance modeling, multiprocessing systems, memory contention, symbolic reachability graph
29	Andrea Marin, Carla Piazza, Sabina Rossi	Proportional lumpability and proportional bisimilarity.	Acta Informatica	2022	DBLP DOI BibTeX RDF
29	Kyriakos Georgiou, G. Domazakis, Dimitrios Pappas, Athanasios N. Yannacopoulos	Markov chain lumpability and applications to credit risk modelling in compliance with the International Financial Reporting Standard 9 framework.	Eur. J. Oper. Res.	2021	DBLP DOI BibTeX RDF
29	Carla Piazza, Sabina Rossi	Reasoning About Proportional Lumpability.	QEST	2021	DBLP DOI BibTeX RDF
29	Luca Cardelli, Radu Grosu, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin	Lumpability for Uncertain Continuous-Time Markov Chains.	QEST	2021	DBLP DOI BibTeX RDF
29	Wasiur R. KhudaBukhsh, Arnab Auddy, Yann Disser, Heinz Koeppl	Approximate lumpability for Markovian agent-based models using local symmetries.	J. Appl. Probab.	2019	DBLP DOI BibTeX RDF
29	Andrea Marin, Carla Piazza, Sabina Rossi	Proportional Lumpability.	FORMATS	2019	DBLP DOI BibTeX RDF
29	Andrea Marin, Sabina Rossi	On the relations between Markov chain lumpability and reversibility.	Acta Informatica	2017	DBLP DOI BibTeX RDF
29	Falko Bause, Peter Buchholz 0001, Igor V. Tarasyuk, Miklós Telek	Equivalence and Lumpability of FSPNs.	ASMTA	2017	DBLP DOI BibTeX RDF
29	Max Tschaikowski, Mirco Tribastone	Exact fluid lumpability in Markovian process algebra.	Theor. Comput. Sci.	2014	DBLP DOI BibTeX RDF
29	Bernhard C. Geiger, Christoph Temmel	Lumpings of Markov Chains, Entropy Rate Preservation, and Higher-Order Lumpability.	J. Appl. Probab.	2014	DBLP DOI BibTeX RDF
29	Andrea Marin, Sabina Rossi	On the Relations between Lumpability and Reversibility.	MASCOTS	2014	DBLP DOI BibTeX RDF
29	Daniele D'Angeli, Alfredo Donno	The lumpability property for a family of Markov chains on poset block structures.	Adv. Appl. Math.	2013	DBLP DOI BibTeX RDF
29	Giulio Iacobelli, Mirco Tribastone	Lumpability of fluid models with heterogeneous agent types.	DSN	2013	DBLP DOI BibTeX RDF
29	Jane Hillston, Andrea Marin, Sabina Rossi, Carla Piazza	Contextual lumpability.	VALUETOOLS	2013	DBLP DOI BibTeX RDF
29	Jérôme Feret, Thomas A. Henzinger, Heinz Koeppl, Tatjana Petrov	Lumpability abstractions of rule-based systems.	Theor. Comput. Sci.	2012	DBLP DOI BibTeX RDF
29	Max Tschaikowski, Mirco Tribastone	Exact Fluid Lumpability for Markovian Process Algebra.	CONCUR	2012	DBLP DOI BibTeX RDF
29	Arpit Sharma 0002, Joost-Pieter Katoen	Weighted Lumpability on Markov Chains.	Ershov Memorial Conference	2011	DBLP DOI BibTeX RDF
29	Jérôme Feret, Thomas A. Henzinger, Heinz Koeppl, Tatjana Petrov	Lumpability Abstractions of Rule-based Systems	MeCBIC	2010	DBLP DOI BibTeX RDF
29	Ioannis I. Gerontidis, Ioannis E. Petasakis	Lumpability of absorbing Markov chains and replacement chains on fuzzy partitions.	FUZZ-IEEE	2010	DBLP DOI BibTeX RDF
29	Sergio Callegari, Gianluca Setti	ADCs, Chaos and TRNGs: a Generalized View Exploiting Markov Chain Lumpability Properties.	ISCAS	2007	DBLP DOI BibTeX RDF
29	Ana Busic, Jean-Michel Fourneau	Bounds for Point and Steady-State Availability: An Algorithmic Approach Based on Lumpability and Stochastic Ordering.	EPEW/WS-FM	2005	DBLP DOI BibTeX RDF
29	Michael Grinfeld, Philip A. Knight	Weak lumpability in the k-SAT problem.	Appl. Math. Lett.	2000	DBLP DOI BibTeX RDF
29	Tugrul Dayar, William J. Stewart 0001	Quasi Lumpability, Lower-Bounding Coupling Matrices, and Nearly Completely Decomposable Markov Chains.	SIAM J. Matrix Anal. Appl.	1997	DBLP DOI BibTeX RDF
29	James Ledoux	A necessary condition for weak lumpability in finite Markov processes.	Oper. Res. Lett.	1993	DBLP DOI BibTeX RDF
29	D. R. Barr, M. U. Thomas	Technical Note - An Eigenvector Condition for Markov Chain Lumpability.	Oper. Res.	1977	DBLP DOI BibTeX RDF
22	Ruth Lamprecht, Peter Kemper	Reflection symmetry detection to reduce the state space of Markovian models.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	dependable computing, state space reduction, symmetry detection, spatial model, Markovian model
22	Michael G. McQuinn, Peter Kemper, William H. Sanders	Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations.	QEST	2007	DBLP DOI BibTeX RDF
22	Salem Derisavi	Signature-based Symbolic Algorithm for Optimal Markov Chain Lumping.	QEST	2007	DBLP DOI BibTeX RDF
22	Jean-Michel Fourneau	Discrete time stochastic automata networks: using structural properties and stochastic bounds to simplify the SAN.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	stochastic bounds, aggregation, discrete time Markov chain, stochastic automata networks
22	Salem Derisavi	A Symbolic Algorithm for Optimal Markov Chain Lumping.	TACAS	2007	DBLP DOI BibTeX RDF
22	Tommy Kit-Ming Chee, Cheng-Chew Lim, Jinho Choi 0001	Channel Prediction Using Lumpable Finite-State Markov Channels in OFDMA Systems.	VTC Spring	2006	DBLP DOI BibTeX RDF
22	Amy Nicole Langville, Carl Dean Meyer	Updating pagerank with iterative aggregation.	WWW (Alternate Track Papers & Posters)	2004	DBLP DOI BibTeX RDF	stationary vector, Markov chains, aggregation, link analysis, pagerank, updating, power method, disaggregation