The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for dioid with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1990-2005 (17) 2006-2018 (15) 2020-2022 (4)
Publication types (Num. hits)
article(12) incollection(2) inproceedings(20) phdthesis(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 37 occurrences of 31 keywords

Results
Found 36 publication records. Showing 36 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
52Duan Zhang, Huaping Dai, Youxian Sun A Dioid Linear Algebra Approach to Study a Class of Continuous Petri Nets. Search on Bibsonomy NPC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
49Changjing Wang, Jinyun Xue Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems. Search on Bibsonomy FAW The full citation details ... 2009 DBLP  DOI  BibTeX  RDF High-trustworthy, Path problem, Generic algorithm, Formal derivation, Dioid
49Mark Hopkins The Algebraic Approach II: Dioids, Quantales and Monads. Search on Bibsonomy RelMiCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Kleene, Monad, Category, Ideal, Semiring, Adjunction, Quantale, Dioid
49Charles André Delays in synchronized elementary net systems. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Synchronized Elementary Net Systems, Delay, Process, Time Petri nets, POset, Elementary Net Systems, Dioid
30Davide Zorzenon, Jan Komenda, Jörg Raisch The non-positive circuit weight problem in parametric graphs: A solution based on dioid theory. Search on Bibsonomy Discret. Appl. Math. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
30Han Yun-Xiang, Xiao-qiong Huang A New Traffic Flow Control Method for Terminal Control Area Using Dioid Algebra. Search on Bibsonomy IEEE Trans. Aerosp. Electron. Syst. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
30Davide Zorzenon, Jan Komenda, Jörg Raisch The non-positive circuit weight problem in parametric graphs: a fast solution based on dioid theory. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
30Fatima Ait Oumeziane, Alain Ourghanlian, Saïd Amari Analysis of distributed control systems using timed automata with guards and dioid algebra. Search on Bibsonomy ETFA The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
30Ishay Haviv, Dan Levy Dioid partitions of groups. Search on Bibsonomy Eur. J. Comb. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
30Thomas Brunsch, Jörg Raisch, Laurent Hardouin, Olivier Boutin Discrete-Event Systems in a Dioid Framework: Modeling and Analysis. Search on Bibsonomy Control of Discrete-Event Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
30Laurent Hardouin, Olivier Boutin, Bertrand Cottenceau, Thomas Brunsch, Jörg Raisch Discrete-Event Systems in a Dioid Framework: Control Theory. Search on Bibsonomy Control of Discrete-Event Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
30Roland Glück Two Observations in Dioid Based Model Refinement. Search on Bibsonomy RAMiCS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
30Sobhi Baniardalani, J. Askari, Ali Akbar Afzalian Event scheduling of timed automata using Dioid Algebra. Search on Bibsonomy ICCA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
30Pavel Spacek, Jan Komenda Modeling of interval P-time Petri nets using dioid algebra. Search on Bibsonomy WODES The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
30Auréelien Corréia, Abdeljalil Abbas-Turki, Rachid Bouyekhf, Abdellah El Moudni A Dioid Model for Invariant Resource Sharing Problems. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part A The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
30Olivier Boutin Modélisation de conflits et calcul de bornes dans les systèmes de production par la théorie des dioïdes. (Modelling of Conflicts and Bounds Estimation in Production Systems Thanks to Dioid Theory). Search on Bibsonomy 2009   RDF
30Mabia Daniel-Cavalcante Modeling and determination of performance parameters of communication networks using dioid algebra. Search on Bibsonomy 2008   RDF
30Mehdi Lhommeau, Laurent Hardouin, Jean-Louis Ferrier, Iteb Ouerghi Interval Analysis in Dioid: Application to Robust Open-Loop Control for Timed Event Graphs. Search on Bibsonomy CDC/ECC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Saïd Amari, Jean Jacques Loiseau, Isabel Demongodin Control of Temporal Constraints Based on Dioid Algebra for Timed Event Graphs. Search on Bibsonomy IPDPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Mehdi Lhommeau, Laurent Hardouin, Bertrand Cottenceau, Luc Jaulin Interval analysis and dioid: application to robust controller design for timed event graphs. Search on Bibsonomy Autom. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Mustafa Yurdakul, Nicholas G. Odrey Development of a new dioid algebraic model for manufacturing with the scheduling decision making capability. Search on Bibsonomy Robotics Auton. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Mohamed Khalid Didi Alaoui, Philippe Declerck From DIOID Algebra to P-Time Event Graphs. Search on Bibsonomy ICINCO (3) The full citation details ... 2004 DBLP  BibTeX  RDF
30Bertrand Cottenceau, Mehdi Lhommeau, Laurent Hardouin, Jean-Louis Boimond On timed event graph stabilization by output feedback in dioid. Search on Bibsonomy Kybernetika The full citation details ... 2003 DBLP  BibTeX  RDF
30Bertrand Cottenceau, Laurent Hardouin, Jean-Louis Boimond, Jean-Louis Ferrier Synthesis of greatest linear feedback for timed-event graphs in dioid. Search on Bibsonomy IEEE Trans. Autom. Control. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
30Pavel Spacek, Abdellah El Moudni, S. Zerhouni, Michel Ferney Control of nonautonomous discrete event systems using dioid algebra. Search on Bibsonomy ICRA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
27Baohua Fan, Heying Zhang, Wenhua Dou A Time Varying Network Calculus. Search on Bibsonomy NCM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF convolution, network calculus, time varying, dioid
27Lothar Thiele, Nikolay Stoimenov Modular performance analysis of cyclic dataflow graphs. Search on Bibsonomy EMSOFT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF dioid algebras, real-time systems, synchronous dataflow, marked graphs, real-time calculus
27Mark Hopkins The Algebraic Approach I: The Algebraization of the Chomsky Hierarchy. Search on Bibsonomy RelMiCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Kleene, Language, Regular Expression, Grammar, Rational, Semigroup, Monoid, Quantale, Dioid, Context-Free
27Jan Komenda, Abdellah El Moudni, Noureddine Zerhouni Input-Output Relation and Time-Optimal Control of a Class of Hybrid Petri Nets Using min, +) Semiring. Search on Bibsonomy Discret. Event Dyn. Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF hybrid petri nets, timed event graphs, dioid algebra, control, transfer function
22Samir Hamaci, Jean-Louis Boimond, Sébastien Lahaye Modeling and Control of Hybrid Timed Event Graphs with Multipliers Using (Min, +) Algebra. Search on Bibsonomy Discret. Event Dyn. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Hybrid timed event graph, (min, +) algebra, Just-in-time control
22Huaping Dai Studies on the Minimum Initial Marking of a Class of Hybrid Timed Petri Nets. Search on Bibsonomy ICIC (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
22Sébastien Lahaye, Jean-Louis Boimond, Laurent Hardouin Linear Periodic Systems Over Dioids. Search on Bibsonomy Discret. Event Dyn. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF linear periodic systems, state space realization, discrete event systems, dioids
22Sébastien Lahaye, Laurent Houssin, Jean-Louis Boimond Modelling of Urban Bus Networks in Dioids Algebra. Search on Bibsonomy POSTA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Christiano P. Pessanha, Rafael Santos-Mendes Modal Logic and Dioids. Search on Bibsonomy POSTA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Laurent Truffet Monotone Linear Dynamical Systems over Dioids. Search on Bibsonomy POSTA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Albert Benveniste, Claude Jard, Stephane Gaubert Algebraic Techniques for Timed Systems. Search on Bibsonomy CONCUR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #36 of 36 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license