|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9 occurrences of 9 keywords
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
60 | Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 |
Numerical vs. statistical probabilistic model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 8(3), pp. 216-228, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Uniformisation, Temporal logic, Markov chains, Hypothesis testing, Transient analysis |
33 | Nathan Lhote, Vincent Michielini, Michal Skrzypczak |
Uniformisation Gives the Full Strength of Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 61:1-61:13, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
33 | Xavier Ouvrard, Jean-Marie Le Goff, Stéphane Marchand-Maillet |
Adjacency and Tensor Representation in General Hypergraphs Part 1: e-adjacency Tensor Uniformisation Using Homogeneous Polynomials ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1712.08189, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
33 | Loïc Vial, Benjamin Lecouteux, Didier Schwab |
Uniformisation de corpus anglais annotés en sens (Unification of sense annotated English corpora for word sense disambiguation). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TALN (3) ![In: Actes des 24ème Conférence sur le Traitement Automatique des Langues Naturelles. Orléans, France, June 26-30, 2017 - Volume 3 - Démonstrations, pp. 27-29, 2017, ATALA. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
33 | Emmanuel Filiot, Ismaël Jecker, Christof Löding, Sarah Winter |
On Equivalence and Uniformisation Problems for Finite Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1602.08565, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
33 | Emmanuel Filiot, Ismaël Jecker, Christof Löding, Sarah Winter |
On Equivalence and Uniformisation Problems for Finite Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, July 11-15, 2016, Rome, Italy, pp. 125:1-125:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-013-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
33 | Juan Luis Fernández Martínez, Esperanza García Gonzalo |
Particle swarm optimisation: time for uniformisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Sci. Math. ![In: Int. J. Comput. Sci. Math. 4(1), pp. 16-33, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
33 | Rodrigo de Souza |
Uniformisation of Two-Way Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings, pp. 547-558, 2013, Springer, 978-3-642-37063-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
33 | Frits Dannenberg, Ernst Moritz Hahn, Marta Z. Kwiatkowska |
Computing Cumulative Rewards Using Fast Adaptive Uniformisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings, pp. 33-49, 2013, Springer, 978-3-642-40707-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
33 | Alexandre Jaron, Paul Pangalos, Andrej Mihailovic, A. Hamid Aghvami |
Proactive autonomic load uniformisation with mobility management for wireless internet protocol (IP) access networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Networks ![In: IET Networks 1(4), pp. 229-238, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
33 | Fátima Ferreira, António Pacheco 0001 |
Analysis of GI/M/s/c queues using uniformisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 51(2), pp. 291-304, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Jean-Dany Vally, Rémy Courdier |
Uniformisation des mécanismes de conception de SMA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFSMA ![In: Systèmes multi-agents et systèmes complexes : ingénierie, résolution de problèmes et simulation - JFSMA 02 - Dizièmes journées francophones sur les systèmes multi-agents, Lille, France, October 28-30, 2002, pp. 155-158, 2002, Hermès Lavoisier Editions, 2-7462-0555-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
33 | Maryse Pelletier, Jacques Sakarovitch |
On the Lexicographic Uniformisation of Deterministic 2-Tape Automata (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP Congress (1) ![In: Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August - 2 September, 1994, pp. 485-490, 1994, North-Holland, 0-444-81989-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
33 | Ten H. Tzen, Lionel M. Ni |
Dependence Uniformization: A Loop Parallelization Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(5), pp. 547-558, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
data dependence uniformisation, doubly nested loop, irregulardependence constraints, parallel programming, loop parallelization, parallelalgorithms, synchronization method, dependence constraints |
28 | Husain Aljazzar, Holger Hermanns, Stefan Leue |
Counterexamples for Timed Probabilistic Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings, pp. 177-195, 2005, Springer, 3-540-30946-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 |
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 46-60, 2004, Springer, 3-540-21299-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|