|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 18 occurrences of 15 keywords
|
|
|
Results
Found 30 publication records. Showing 30 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
88 | Sébastien Lahaye, Jean-Louis Boimond, Laurent Hardouin |
Linear Periodic Systems Over Dioids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 14(2), pp. 133-152, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
linear periodic systems, state space realization, discrete event systems, dioids |
74 | Laurent Truffet |
Monotone Linear Dynamical Systems over Dioids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POSTA ![In: Positive Systems, Proceedings of the First Multidisciplinary International Symposium on Positive Systems: Theory and Applications (POSTA 2003), Rome, Italy, August 28-30, 2003, pp. 39-45, 2003, Springer, 3-540-40342-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
52 | Paolo Baldan, Fabio Gadducci |
Petri Nets Are Dioids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings, pp. 51-66, 2008, Springer, 978-3-540-79979-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
52 | David Cachera, Thomas P. Jensen, Arnaud Jobin, Pascal Sotin |
Long-Run Cost Analysis by Approximation of Linear Operators over Dioids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings, pp. 122-138, 2008, Springer, 978-3-540-79979-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
52 | Christiano P. Pessanha, Rafael Santos-Mendes |
Modal Logic and Dioids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POSTA ![In: Positive Systems, Proceedings of the First Multidisciplinary International Symposium on Positive Systems: Theory and Applications (POSTA 2003), Rome, Italy, August 28-30, 2003, pp. 31-38, 2003, Springer, 3-540-40342-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Johannes Trunk, Bertrand Cottenceau, Laurent Hardouin, Jörg Raisch |
Modelling and control of periodic time-variant event graphs in dioids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 30(2), pp. 269-300, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Johannes Trunk |
On the modeling and control of extended timed event graphs in dioids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
29 | Paolo Baldan, Fabio Gadducci |
Petri nets are dioids: a new algebraic foundation for non-deterministic net theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 56(1), pp. 61-92, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Hans Leiß, Mark Hopkins |
C-Dioids and \mu -Continuous Chomsky-Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings, pp. 21-36, 2018, Springer, 978-3-030-02148-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Ezequiel Postan, Exequiel Rivas, Mauro Jaskelioff |
Dioids for Computational Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEI Selected Papers ![In: XLIII Latin American Computer Conference - Selected Papers, CLEI 2017 Selected Papers, Cordoba, Argentina, September 4-8, 2017, pp. 111-134, 2017, Elsevier. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Soraia Moradi, Laurent Hardouin, Jörg Raisch |
Optimal control of a class of timed discrete event systems with shared resources, an approach based on the hadamard product of series in dioids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 56th IEEE Annual Conference on Decision and Control, CDC 2017, Melbourne, Australia, December 12-15, 2017, pp. 4831-4838, 2017, IEEE, 978-1-5090-2873-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Soraia Moradi, Laurent Hardouin, Jörg Raisch |
Modeling and control of resource sharing problems in dioids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODES ![In: 13th International Workshop on Discrete Event Systems, WODES 2016, Xi'an, China, May 30 - June 1, 2016, pp. 410-417, 2016, IEEE, 978-1-5090-4190-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Julien Niguez, Saïd Amari, Jean-Marc Faure |
Analysis of Timed Automata with Guards in dioids algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODES ![In: 13th International Workshop on Discrete Event Systems, WODES 2016, Xi'an, China, May 30 - June 1, 2016, pp. 391-397, 2016, IEEE, 978-1-5090-4190-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Francisco J. Valverde-Albacete, Carmen Peláez-Moreno |
Extending the HITS Algorithm over Dioids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAFCA@ICFCA ![In: Proceedings of the Workshop on Social Network Analysis using Formal Concept Analysis in conjunction with the 13th International Conference on Formal Concept Analysis (ICFCA 2015), Nerja (Malaga), Spain, June 25, 2015., 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
29 | Bertrand Cottenceau, Laurent Hardouin, Jean-Louis Boimond |
Modeling and Control of Weight-Balanced Timed Event Graphs in Dioids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 59(5), pp. 1219-1231, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Arnaud Jobin |
Dioïdes et idéaux de polynômes en analyse statique. (Static analysis with dioids and polynomial ideals). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
29 | David Cachera, Thomas P. Jensen, Arnaud Jobin, Pascal Sotin |
Long-run cost analysis by approximation of linear operators over dioids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 20(4), pp. 589-624, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Mark Hopkins |
The Algebraic Approach II: Dioids, Quantales and Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings, pp. 173-190, 2008, Springer, 978-3-540-78912-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Kleene, Monad, Category, Ideal, Semiring, Adjunction, Quantale, Dioid |
29 | Michel Gondran, Michel Minoux |
Dioïds and semirings: Links to fuzzy sets and other applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 158(12), pp. 1273-1294, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Michel Minoux |
Semirings, Dioids and Their Links to Fuzzy Sets and Other Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSFLAT Conf. (1) ![In: New Dimensions in Fuzzy Logic and Related Technologies. Proceedings of the 5th EUSFLAT Conference, Ostrava, Czech Republic, September 11-14, 2007, Volume 1: Invited Lectures and Special Sessions, pp. 25-25, 2007, Universitas Ostraviensis, 978-80-7368-386-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
29 | Laurent Truffet, Edouard Wagneur |
Monotonicity and positive invariance of linear systems over dioids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 150(1-3), pp. 29-39, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Carlos Andrey Maia, Laurent Hardouin, Rafael Santos-Mendes, Bertrand Cottenceau |
Optimal closed-loop control of timed EventGraphs in dioids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 48(12), pp. 2284-2287, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Sébastien Lahaye, Laurent Houssin, Jean-Louis Boimond |
Modelling of Urban Bus Networks in Dioids Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POSTA ![In: Positive Systems, Proceedings of the First Multidisciplinary International Symposium on Positive Systems: Theory and Applications (POSTA 2003), Rome, Italy, August 28-30, 2003, pp. 23-30, 2003, Springer, 3-540-40342-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Mehdi Lhommeau, Laurent Hardouin, Bertrand Cottenceau, Luc Jaulin |
Robust controller design for timed event graphs in dioids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA (1) ![In: Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2003, September 16-19, 2003, Lisbon, Portugal - Volume 1, pp. 315-321, 2003, IEEE, 0-7803-7937-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Bertrand Cottenceau, Laurent Hardouin, Jean-Louis Boimond, Jean-Louis Ferrier |
Model reference control for timed event graphs in dioids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 37(9), pp. 1451-1458, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Baohua Fan, Heying Zhang, Wenhua Dou |
A Max-plus Network Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 8th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2009, June 1-3, 2009, Shanghai, China, pp. 149-154, 2009, IEEE Computer Society, 978-0-7695-3641-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Mark Hopkins |
The Algebraic Approach I: The Algebraization of the Chomsky Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings, pp. 155-172, 2008, Springer, 978-3-540-78912-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Kleene, Language, Regular Expression, Grammar, Rational, Semigroup, Monoid, Quantale, Dioid, Context-Free |
23 | Benoit Trouillet, Ouajdi Korbaa, Jean-Claude Gentina |
Formal Approach of FMS Cyclic Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part C ![In: IEEE Trans. Syst. Man Cybern. Part C 37(1), pp. 126-137, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Benoit Trouillet |
A Formal Approach for Timed Weighted T-Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Montréal, Canada, 7-10 October 2007, pp. 2877-2882, 2007, IEEE, 978-1-4244-0990-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Éric Badouel, Jules Chenou |
Nets Enriched over Closed Monoidal Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings, pp. 64-81, 2003, Springer, 3-540-40334-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #30 of 30 (100 per page; Change: )
|
|