Sign In

Login

Password

Forgot Password ? Sign Up

Automate fini (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Automate fini" in French language version.

refsWebsite
Global rank French rank
3books.google.com
3rd place
11th place
2doi.org
2nd place
3rd place
1ncsu.edu
2,542nd place
4,956th place
1hmc.edu
low place
low place
1dit.ie
low place
low place
1unr.edu.ar
low place
low place
1ernet.in
4,058th place
low place
1nist.gov
355th place
528th place
1arxiv.org
69th place
232nd place

arxiv.org (Global: 69th place; French: 232nd place)

  • (en) Jean Berstel, Luc Boasson, Olivier Carton et Isabelle Fagnot, « Minimization of Automata », dans Automata: from Mathematics to Applications, European Mathematical Society, (arXiv 1010.5318).

books.google.com (Global: 3rd place; French: 11th place)

  • (en) Thomas Koshy, Discrete Mathematics With Applications, Academic Press, , 762 p. (ISBN 978-0-12-421180-3, lire en ligne).
  • (en) Marc Pouly et Jürg Kohlas, Generic Inference : A Unifying Theory for Automated Reasoning, John Wiley & Sons, , 484 p. (ISBN 978-1-118-01086-0, présentation en ligne), Chapter 6. Valuation Algebras for Path Problems, p. 223 en particulier.
  • (en) Hubert Kaeslin, Digital Integrated Circuit Design : From VLSI Architectures to CMOS Fabrication, Cambridge University Press, , 845 p. (ISBN 978-0-521-88267-5, lire en ligne), « Mealy, Moore, Medvedev-type and combinatorial output bits », p. 787.

dit.ie (Global: low place; French: low place)

arrow.dit.ie

  • (en) Michael Brutscheck, St. Berger, M. Franke, Andreas Schwarzbacher et St. Becker, « Structural Division Procedure for Efficient IC Analysis », IET Irish Signals and Systems Conference (ISSC 2008), Galway, Irlande,‎ , p. 18-23 (lire en ligne).

doi.org (Global: 2nd place; French: 3rd place)

dx.doi.org

  • (en) Grégoire Hamon, « A Denotational Semantics for Stateflow », ACM, Jersey City, NJ,‎ , p. 164–172 (DOI 10.1145/1086228.1086260).
  • (en) Dominique Revuz, « Minimization of Acyclic automata in Linear Time », Theoretical Computer Science, Elsevier, vol. 92,‎ , p. 181–189 (DOI 10.1016/0304-3975(92)90142-3).

ernet.in (Global: 4,058th place; French: low place)

drona.csa.iisc.ernet.in

  • (en) R. Alur, A. Kanade, S. Ramesh et K. C. Shashidhar, « Symbolic analysis for improving simulation coverage of Simulink/Stateflow models », International Conference on Embedded Software, Atlanta,‎ , p. 89–98 (lire en ligne).

hmc.edu (Global: low place; French: low place)

cs.hmc.edu

  • (en) Robert M. Keller, « Classifiers, Acceptors, Transducers, and Sequencers », dans Computer Science : Abstraction to Implementation, Harvey Mudd College, (lire en ligne), p. 480.

ncsu.edu (Global: 2,542nd place; French: 4,956th place)

www4.ncsu.edu

  • (en) David R. Wright, « Finite State Machines » [PDF], CSC215 Class Notes, North Carolina State University, .

nist.gov (Global: 355th place; French: 528th place)

unr.edu.ar (Global: low place; French: low place)

fceia.unr.edu.ar

  • (en) David Harel, « A Visual Formalism for Complex Systems », Science of Computer Programming,‎ , p. 231–274 (lire en ligne).