Pour ceux qui connaissent déjà par coeur Daniel Kretinsky, je vous laisse aller directement constater en Postface qu’il est un spécialiste de l’informatique de par son père Docteur et chercheur en sciences de l’informatique.
En l’espace de quelques mois, le milliardaire tchèque a signé trois acquisitions majeures en France : Editis, Casino et maintenant une partie d’Atos, devenant incontournable dans le paysage économique tricolore. Portrait d’un homme patient, prêt à investir à contre-cycle.
Par Marina Alcaraz
Souvent décrit comme un spécialiste de l’achat à contre-cycle, le milliardaire tchèque prouve de nouveau avec Atos qu’il est prêt à prendre des paris. L’activité d’infogérance qu’il reprend est en effet en décroissance structurelle. « Il intervient dans des secteurs mal évalués par les marchés mais qui correspondent à des besoins durables, qui peuvent créer de la valeur, explique Denis Olivennes, son conseiller. C’est un fin stratège et… excellent négociateur ». « Sous pression, Atos a un peu bradé cette branche », ajoute un analyste.
Energie, distribution, médias…
Ce n’est pas la première fois que l’homme de 48 ans s’intéresse à des activités en déclin : il en a même fait sa fortune. Dans l’énergie, son métier de d’origine, il a ainsi pris le pari, il y a des années, de reprendre à prix bradés les actifs polluants et dépréciés, convaincu que l’Europe aura encore besoin de faire tourner ses centrales fossiles pour compléter les énergies renouvelables.
Dans le cas d’Atos, le choix est plus étonnant mais « il pourra la revendre dans quelques années, soit à une société de services informatiques, soit à un opérateur télécoms », dit un bon connaisseur.
Mais il semble plutôt que ce soit un achat opportuniste, conseillé par un proche, loin de ses quatre domaines de prédilection : l’énergie, la distribution-logistique (avec des participations dans Metro, Sainsbury, la Royal Mail, Fnac-Darty et bientôt Casino) et les médias-contenus, où il multiplie les emplettes (« Elle » et divers titres de Lagardère, une participation dans TF1, dans le « Monde, le renflouement de « Libération » etc.). Tout récemment, Editis, le numéro 2 français de l’édition, l’a fait entrer parmi les grands du secteur.
Son groupe affiche un chiffre d’affaires autour de 40 milliards d’euros, en tenant compte de ses diverses participations (et hors Casino et Editis), pour un Ebitda d’environ 4,5 milliards, selon les données du groupe). « D’ici quelques années, il sera le ou l’un des plus gros groupes industriels européens par la taille de ses activités », parie Denis Olivennes.
LIRE AUSSI :
PORTRAIT – Daniel Kretinsky, le Tchèque qui bouscule la presse française (2018)
Daniel Kretinsky sur le point de faire sa vraie entrée dans les médias
A Prague, une équipe spécialisée dans les fusions-acquisitions « scanne » les opportunités. Car une autre particularité est qu’il n’a pas l’habitude de travailler avec une banque d’affaires. « Il a à la fois une vision industrielle tout à fait pratique et une intelligence mathématique très supérieure, sourit Denis Olivennes. Mais il est aussi très méticuleux, il entre dans les process de manière approfondie ». Diplômé en droit – il a fait une partie de ses études à Dijon-, il n’hésite pas non plus à entrer dans le détail des contrats.
Patient et tenace
L’homme, parmi les 250 premières fortunes mondiales selon « Forbes » (avec un patrimoine de 10 milliards de dollars) a beau posséder tous les attributs de la richesse – une île aux Maldives, une équipe de foot, un château dans l’Essonne qu’il transforme en hôtel — est loin de dépenser sans compter. Et il sait être patient et tenace. Sa participation de moins de 5 % dans Casino date de 2019, et dans le cas d’Atos, les discussions duraient depuis environ deux ans. De même, il a tenté à deux reprises de racheter M6 – sans succès.
LIRE AUSSI :
Editis : les trois dossiers qui attendent Daniel Kretinsky
REPORTAGE -Casino : Saint-Etienne voit arriver Daniel Kretinsky avec flegme
Surtout, ce travailleur acharné semble ne pas se mettre de limites. Un de ses proches raconte qu’on lui avait dit que Jean-Claude Naouri (le patron de Casino) n’était « pas facile ». Ce fils d’une juge à la cour constitutionnelle et d’un professeur d’informatique serait revenu du premier entretien avec lui en disant « je l’ai trouvé très facile, dans ma famille c’est tous des génies en math, donc j’étais en terrain connu ».
LIRE AUSSI :
De « Elle » à Atos en passant par Casino et Editis : six choses à savoir sur Daniel Kretinsky
Francophone, francophile, Daniel Kretinsky est venu très régulièrement à Paris, pour discuter avec les vendeurs. S’il descend souvent au Meurice, il a acquis récemment un hôtel particulier, non loin de l’Elysée, qui pourra être en partie son pied à terre, les travaux achevés.
Mais ce passionné de peinture ancienne, père de famille, vivant avec une championne d’équitation, a aussi un côté très « émotionnel » dans ses choix d’investissement.
Marina Alcaraz
https://www.lesechos.fr/tech-medias/hightech/daniel-kretinsky-ce-stratege-patient-qui-investit-a-contre-cycle-1967377
===
POSTFACE
Merci à Gilbert salarié d’Atos pour ces infos.
Que les médias sont superficiels et stupides parfois. Achat opportuniste conseillé par quelqu’un. Apparement pas un ne s’est pas intéressé à la bio de Daniel Kretinsky.
Son père est Docteur et professeur émmérite en sciences de l’informatique et auteur de dizaines de publications. Même si ça ne fait pas de Daniel un ingénieur en physique quantique, on imagine bien que le parternel aura fait de Daniel Kretinsky un informaticien féru de connaissance et du monde de l’informatique et qui en apprendrait à 80% des membres du conseil d’administration d’Atos.
Je vous laisse juge :
prof. RNDr. Mojmír Křetínský, CSc.
profesor – Katedra teorie programování
kancelář: C419
Botanická 554/68a
602 00 Brno
telefon: | 549 49 4239 |
---|---|
e‑mail: | mojmir@fi.muni.cz |
sociální a akademické sítě: |
---|
Curriculum vitae
- Person Identification
-
- prof. RNDr. Mojmír Křetínský, CSc.; born May 9, 1950 in Vyškov, Czechoslovakia; married, 3 children
- Workplace
-
- Department of Computer Science, Faculty of Informatics, Masaryk University
Botanicka 68a, 602 00 Brno, Czech Republic
- Department of Computer Science, Faculty of Informatics, Masaryk University
- Education and Academic Qualifications
-
- 2006: Professor in Computer Science, Masaryk University, Brno;
- 1997: Associate Professor (Docent) in Computer Science, Fac.of Informatics, MU Brno; habilitation thesis: “Infinite-state concurrent processes”
- 1990: Associate Professor (Docent) in Theoretical Computer Science and Cybernetics, Fac.of Science, MU Brno; habilitation thesis: “Semantic analyses of computer programs”
- 1986: CSc. (PhD) in Computer Science, Czechoslovak Academy of Science, Prague; supervisor: doc.RNDr.Jiri Horejs, CSc., thesis: “Pre-execution time analysis of computer programs”
- 1975: RNDr. in Computer Science, Faculty of Science, University of Brno; thesis: “Semi-top-down syntax analysis of detCFLs”
- 1973: graduated (with honors) in mathematics (MSc), Faculty of Science, University of Brno; thesis: “Parsing of deterministic CF languages”
- Employment Summary
-
- 2006 – now: Professor, Dept. of Computer Science (Head, till May 2021), Faculty of Informatics, MU Brno
- 1994 – 2006: Associate Professor, Dept. of Computer Science (Head), Faculty of Informatics, MU Brno
- 1990 – 1994: Associate Professor (Docent), Dept. of Computer Science, Faculty of Science, MU Brno
- 1982 – 1990: Senior Lecturer, Dept. of Computer Science, Faculty of Science, MU Brno
- 1979 – 1982: leading researcher, Institute of Computing Science, University of Brno
- 1974 – 1979: researcher, Dept. of Applied Mathematics, Faculty of Science, University of Brno
- Pedagogical Activities
-
- Currently taught courses:
Formal Languages and Automata, Automata Theory, Compiler Construction, Theory of Concurrent Processes
PhD students (successfully finished studies):
Antonin Kucera, Jiri Srba, Jan Strejcek, Vojtech Rehak, Tomas Babiak.
- Currently taught courses:
- Scientific and Research Activities
-
- Specialisation:
main field: Concurrent and Distributed Systems, Formal Methods
other fields: Formal Languages and Automata; Programming Languages, semantics, compilers;
current research interests: concurrency theory; models, semantics, decidability, verification, concurrent constraint programming methods
Grants: - 2012 – 2018: Czech Science Foundation, GAP202/12/G061 Centre of Excelence – Institute for Theoretical Computer Science (co-worker)
- 2013 – 2017: Masaryk University: Large Computational Systems – Models, Analysis, and Verification II – VI, MUNI/A/…/2012, – MUNI/A/…/2016 (project leader)
- 2010 – 2012: Masaryk University: Large Computational Systems – Models, Analysis, and Verification, MUNI/A/0914/2009 (project leader)
- 2009 – 2012: Czech Science Foundation, GD 102/09/H042 (doctoral grant) (co-worker)
- 2009 – 2011: Czech Science Foundation: “Verification and Analysis of Large-Scale Computer Systems” (co-worker)
- 2005 – 2011: Grant of Ministry of Education: Research Intent of Faculty of Informatics, MU: “Highly parallel and distributed computing systems”, project no. MSM 0021622419 (concurrency group leader)
- 2005 – 2008: Grant Agency of The Czech Academy of Science: “Techniques for automatic verification and validation of software and hardware systems”, the grant no. 1ET-408050503 (co-worker)
- 2005 – now: Grant of Ministry of Education: Research Centre ITI (Institute of Theoretical Computer Science), project no. 1M0021620808 (co-worker)
- 2006 – 2008: Grant Agency of The Czech Republic: “Automatic Verification of Software Systems”, grant no. 201/06/1338 (co-worker)
- 2003 – 2005: Grant Agency of The Czech Republic: “Verification of Infinite State Systems”, grant no. 201/03/1161 (project leader)
- 2000 – 2002: Grant Agency of The Czech Republic: “Infinite State Concurrent Systems — Models and Verification”, grant no. 201/00/0400 (project leader)
- 1999 – 2004: Research Intent of Faculty of Informatics, MU: “Models of Nonsequentinal Computing”, project no.: CEZ: J07/98: 143300001 (co-worker, project leader: J. Gruska)
- 1999 – 2003: STINT (The Swedish Foundation for Internat.Cooperation in Research and Higher Education): “Verification of Infinite State Systems” (project leader at FI MU) jointly with Uppsala University, (project leader at UU: Faron Moller, Dept.of Comp.Sci.)
- 1997 – 1999: Grant Agency of The Czech Republic: “Algorithmic verification boundaries for infinite state systems”, grant no. 201/97/0456(project leader at FI MU; project leader: P.Jancar, TU Ostrava)
- 1995 – 1999: Royal Academy, U.K.: “Temporal and distributed concurrent constraint systems” (co-worker)
- 1993 – 1996: EU COST 247.01 “Verification and validation methods for formal description” (co-worker)
- 1993 – 1995: Grant Agency of The Czech Repuplic “Analysis of concurrent infinite state systems”, grant number 201/93/2123 (project leader)
- 1998 – 2000: advisor of a POST-DOC grant, Grant Agency of The Czech Republic: “Decidability problems in process algebras”, grant no. 201/98/P046, post-doc researcher: A. Kučera
- 1999 – 2000: advisor of a POST-DOC grant GA ČR, Grant Agency of The Czech Repuplic “Decidability and complexity of behavioral equivalences on infinite-state processes”, grant no. 201/99/D026, post-doc researcher: J. Stříbrná
- 1993 – now: several grants of FRVŠ (Fund for the development of universities); including grants where I served as the advisor of PhD student grants (PhD students: A.Kucera, J.Srba, J.Strejcek, V.Rehak)
- 1992 – 1994: TEMPUS JEP 2891 “Technology Transfer in Information Technologies”,
- 1991 – 1995: individual grants EU: Grant COPERNICUS (European Community’s Action for Cooperation in Science and Technology with Central and Eastern European Countries, 1993), Tempus–IMG grants (1991, 1995)
- 1980 – 1990: Grants of SPZV ČSAV (“Program Correctness”, 1980 — 1985; “Modern Programming Methodologies”, 1986 — 1990), Czechoslovak Academy of Science (co-worker, projects leader: J.Horejs)
Publications: more than 60 journal and conference papers, and research reports; reviews in professional review journals (Computers and Artificial Inteligence, Information Systems, and Zentrallblatt fuer Mathematics and Computer Science).
- Specialisation:
- Academical Stays
-
- 1979: Sankt Petersburg University, Russia (in 1979: Leningrad, USSR), 2 months
- 1982: University of Edinburgh, UK, 5 months
- 1992: Staffordshire University, School of Computing, Stafford, UK, 2 months
- 1993: University of Edinburgh, UK, 1 month
- 1993: City University of London, UK, 3 months
- 1994: Imperial College, University of London, UK, 2 weeks
- 1995: University of Edinburgh, UK, 6 weeks
- 1997 – 2010: City University of London, Namur University — multiple short stays
- Current University Activities
-
- 1994 – now: member of Scientific Council, Faculty of Informatics, Masaryk University
- 1994 – now: member of Advisory Board for PhD studies in Computer Science (Faculty of Informatics, Masaryk University)
- 2000 – now: member of Advisory Board for PhD studies in Algebra, Number Theory and Mathematical Logic (Faculty of Science, Masaryk University)
- 2005 – now: Ethics Board of Masaryk University
- Extrauniversity Activities
-
- 2009 – 2022: member of Advisory Board for PhD studies, Faculty of Information Technologies, Czech Technical University in Prague
- 2000 – 2010: member of Scientific Council, Faculty of EE and Informatics, VSB-TU Ostrava
- 2002 – 2008: Grant Agency of The Czech Republic (Czech Science Foundation), member of the committee for Mathematics and Informatics
- 2004 – 2006: member of Scientific Council, Institute of Informatics, Czech Academy of Science, Prague
- 1998 – 2004: member of IFIP Technical Committee TC-2
- 1998 – 2003: member of Czech National IFIP Committee
- 1992 – 1994: member of Scientific Council, Faculty of EE and Informatics, TU (VUT) Brno
- Programme Committee member of internat.conferences and workshops
-
- CONCUR (2002, co-chair)
- MFCS (2000, 2003)
- ICALP (1999)
- SOFSEM (1996, 1998, 1999, 2001, 2002, 2008)
- MEMICS (2007 co-chair, 2008 co-chair, 2009, 2010, 2011)
- MFCS’98 Workshop on Concurrency (1998, co-chair)
- IPSICALA (1993)
- Selected Publications
-
- BLAHOUDEK, František, Alexandre DURET-LUTZ, Mikuláš KLOKOČKA, Mojmír KŘETÍNSKÝ a Jan STREJČEK. Seminator: A Tool for Semi-Determinization of Omega-Automata. In Thomas Eiter and David Sands. Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2017). Neuveden: EasyChair, 2017. s. 356-367. ISSN 2398-7340. doi:10.29007/k5nl. URL info
- BLAHOUDEK, František, Alexandre DURET-LUTZ, Mojmír KŘETÍNSKÝ a Jan STREJČEK. Is there a best Büchi automaton for explicit model checking? In Neha Rungta and Oksana Tkachuk. 2014 International SPIN Symposium on Model Checking of Software. New York: ACM, 2014. s. 68-76. ISBN 978-1-4503-2452-6. doi:10.1145/2632362.2632377. info
- BABIAK, Tomáš, Thomas BADIE, Alexandre DURET-LUTZ, Mojmír KŘETÍNSKÝ a Jan STREJČEK. Compositional Approach to Suspension and Other Improvements to LTL Translation. In Ezio Bartocci, C. R. Ramakrishnan. Model Checking Software – 20th International Symposium, SPIN 2013. LNCS 7976. Berlin Heidelberg: Springer, 2013. s. 81-98. ISBN 978-3-642-39175-0. doi:10.1007/978-3-642-39176-7_6. info
- BLAHOUDEK, František, Tomáš BABIAK, Mojmír KŘETÍNSKÝ a Jan STREJČEK. Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment. In Hung Dang-Van and Mizuhito Ogawa. 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013. Berlin Heidelberg: Springer, 2013. s. 24-38. ISBN 978-3-319-02443-1. doi:10.1007/978-3-319-02444-8_4. info
- BLAHOUDEK, František, Mojmír KŘETÍNSKÝ a Jan STREJČEK. Comparison of LTL to Deterministic Rabin Automata Translators. In Kenneth L. McMillan, Aart Middeldorp, and Andrei Voronkov. Logic for Programming Artificial Intelligence and Reasoning, LPAR-19. Berlin Heidelberg: Springer, 2013. s. 164-172. ISBN 978-3-642-45220-8. doi:10.1007/978-3-642-45221-5_12. info
- BABIAK, Tomáš, Mojmír KŘETÍNSKÝ, Vojtěch ŘEHÁK a Jan STREJČEK. LTL to Büchi Automata Translation: Fast and More Deterministic. In Cormac Flanagan, Barbara König. TACAS 2012: 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Berlin, Heidelberg: Springer-Verlag, 2012. s. 95-109. ISBN 978-3-642-28755-8. doi:10.1007/978-3-642-28756-5_8. URL info
- BOZZELLI, Laura, Mojmír KŘETÍNSKÝ, Vojtěch ŘEHÁK a Jan STREJČEK. On Decidability of LTL Model Checking for Process Rewrite Systems. Acta informatica. Berlin: Springer-Verlag, 2009, roč. 46, č. 1, s. 1-28. ISSN 0001-5903. URL info
- KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. On Decidability of LTL+Past Model Checking for Process Rewrite Systems. In Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems (INFINITY 2006, 2007, 2008). 2009. vyd. Amsterdam, The Netherlands: Elsevier Science Publishers, 2009. s. 105-117. ISSN 1571-0661. URL info
- KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Reachability is decidable for weakly extended process rewrite systems. Information and Computation. Elsevier, 2009, roč. 207, č. 6, s. 671-680. ISSN 0890-5401. URL info
- ČEŠKA, Milan, Zdeněk KOTÁSEK, Mojmír KŘETÍNSKÝ, Luděk MATYSKA a Tomáš VOJNAR. Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2008) – selected papers. Electronic Notes in Theoretical Computer Science. Amsterdam, The Netherlands: Elsevier B.V., 2009, roč. 251, 96 s. ISSN 1571-0661. URL info
- KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Petri Nets Are Less Expressive Than State-Extended PA. Theoretical Computer Science. Amsterdam, North Holland: Elsevier Science Publishers, 2008, roč. 394, 1-2, s. 134-140. ISSN 0304-3975. info
- ČEŠKA, Milan, Zdeněk KOTÁSEK, Mojmír KŘETÍNSKÝ, Luděk MATYSKA, Tomáš VOJNAR a David ANTOŠ. MEMICS 2008, Fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. 1. vyd. Brno: Ing. Zdeněk Novotný CSc., Ondráčkova 105, 628 00 Brno, 2008. s. 1-286. ISBN 978-80-7355-082-0. URL info
- BRIM, Luboš a Mojmír KŘETÍNSKÝ. Model Checking Large Finite-State Systems and Beyond. In 33rd Conference on Current Trends in Theory and Practice of Computer Science. Berlin: Springer-Verlag, 2007. s. 9-28. ISBN 978-3-540-69506-6. info
- KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. On Decidability of LTL+Past Model Checking for Process Rewrite Systems. In Proc. of 9th Internat. Workshop on Verification of Infinite-State Systems. 2007. info
- MATYSKA, Luděk, David ANTOŠ, Milan ČEŠKA, Mojmír KŘETÍNSKÝ a Petr HLINĚNÝ. MEMICS 2007: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. 1. vyd. Brno: Ing. Zdeněk Novotný CSc., Ondráčkova 105, 62800 Brno, 2007. 290 s. ISBN 978-80-7355-077-6. URL info
- MATYSKA, Luděk, David ANTOŠ, Milan ČEŠKA, Mojmír KŘETÍNSKÝ a Petr HLINĚNÝ. MEMICS 2007: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. 2007. URL info
- KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Refining Undecidability Border of Weak Bisimilarity. In Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY’05). 2006. vyd. Amsterdam, The Netherlands: Elsevier Science, 2006. s. 17-36. ISSN 1571-0661. URL info
- BOZZELLI, Laura, Mojmír KŘETÍNSKÝ, Vojtěch ŘEHÁK a Jan STREJČEK. On Decidability of LTL Model Checking for Process Rewrite Systems. In FSTTCS 2006: 26th International Conference on Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings. Berlin: Springer-Verlag, 2006. s. 248-259. ISBN 978-3-540-49994-7. info
- BOZZELLI, Laura, Mojmír KŘETÍNSKÝ, Vojtěch ŘEHÁK a Jan STREJČEK. On Decidability of LTL Model Checking for Weakly Extended Process Rewrite Systems. Brno: FI MU, 2006. FIMU-RS-2006-05. URL info
- KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Refining Undecidability Border of Weak Bisimilarity. BRICS Notes Series. San Francisco, USA, 2005, roč. 2005, NS-05-4, s. 3-14. ISSN 0909-3206. URL info
- KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Refining Undecidability Border of Weak Bisimilarity. (full version of INFINITY 2005 paper). Brno: FI MU, 2005. FIMU-RS-2005-06. URL info
- KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Reachability of Hennessy – Milner properties for weakly extended PRS. In FSTTCS 2005: 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, 25th International Conference. Berlin, Heidelberg: Springer-Verlag, 2005. s. 213-224. ISBN 3-540-30495-9. info
- KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. On the Expressive Power of Extended Process Rewrite Systems. BRICS Report Series. Aarhus: Basic Research in Computer Science, 2004, roč. 2004, RS-04-7, s. 1-18. ISSN 0909-0878. URL info
- KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Extended Process Rewrite Systems: Expressiveness and Reachability. In CONCUR 2004 – Concurrency Theory. LNCS 3170. Berlin, Heidelberg, New York: Springer, 2004. s. 355-370. ISBN 3-540-22940-X. info
- KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit. In INFINITY’2003: 5th International Workshop on Verification of Infinite-State Systems. 2004. vyd. Amsterdam, The Netherlands: Elsevier Science, 2004. s. 75-88. ISSN 1571-0661. URL info
- KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit. In Prelim.Proc.of the 5th Internat.Workshop on Verification of Infinite-State Systems (INFINITY’2003). Marseille, France: Universite de Provence, Marseille, 2003. s. 73-86. info
- KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Process Rewrite Systems with Weak Finite-State Unit (full version of INFINITY’2003 paper). Brno: FI MU, 2003. 23 s. FIMU-RS-2003-05. info
- BRIM, Luboš, Jean-Marie JACQUET, David GILBERT a Mojmír KŘETÍNSKÝ. Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier Science, 2003, roč. 68, č. 3, s. 1-24. ISSN 0444514163. URL info
- BRIM, Luboš, Jean-Marie JACQUET, David GILBERT a Mojmír KŘETÍNSKÝ. Modelling Multi-Agents Systems as Concurrent Constraint Processes. Computing and Informatics. 2003, roč. 21, č. 6, s. 565-590, 25 s. ISSN 1335-9150. info
- BRIM, Luboš, Petr JANČAR, Mojmír KŘETÍNSKÝ a Antonín KUČERA. CONCUR 2002 – Concurrency Theory. 13th International Conference. Proceedings. Berlin, Heidelberg, New York: Springer, 2002. 609 s. Lecture Notes in Computer Science, vol. 2421. ISBN 3-540-44043-7. info
- BRIM, Luboš, Jean-Marie JACQUET, David GILBERT a Mojmír KŘETÍNSKÝ. Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming. In Foundations of Coordination Languages and Software Architecture (FOCLASA`02). Amsterdam: Namur University, 2002. s. 1-24. info
- BRIM, Luboš, Jean-Marie JACQUET, David GILBERT a Mojmír KŘETÍNSKÝ. Multi-Agents Systems as Concurrent Constraint Processes. In SOFSEM 2001 28th Conf.on Current Trends in Theory and Practice of Informatics. Heldelberg: Springer Verlag, 2001. s. 201-210. Lecture Notes in Computer Science, vol.2234. ISBN 0302-9743. info
- ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ a Antonín KUČERA. Comparing Expressibility of Normed BPA and Normed BPP Processes. Acta informatica. Berlin: Springer-Verlag, 1999, roč. 36, č. 3, s. 233-256. ISSN 0001-5903. info
- BRIM, Luboš, Jean-Marie JACQUET, David GILBERT a Mojmír KŘETÍNSKÝ. A Fully Abstract Semantics for a Version of Synchronous Concurrent Constraint Programming. FI MU Report Series. Brno: FI MU, 1999, roč. 1999, č. 08, s. 1-62. URL info
- MFCS ’98 Workshop on Concurrency : August 27-29, 1998, Brno, Czech Republic : pre-proceedings. Edited by Petr Jančar – Mojmír Křetínský. Brno: Faculty of Informatics, 1998. 209 s. info
- JANČAR, Petr a Mojmír KŘETÍNSKÝ. Proceedings of the MFCS’98 Workshop on Concurrency. Electronic Notes in Theoretical Computer Science. Elsevier, 1998, roč. 1998, Vol.18, s. 1-200. ENTCS home page info
- JANČAR, Petr a Mojmír KŘETÍNSKÝ. MFCS´98 Workshop on Concurrency, August_27-29,_1998, Brno, Czech Republic : pre-proceedings. FI MU Report Series. Brno: FI MU, 1998, roč. 1998, č. 06, s. 1-209. info
- BRIM, Luboš, David GILBERT, Jean-Marie JACQUET a Mojmír KŘETÍNSKÝ. A fully abstract semantics for synchronous and asynchronous ccp. Technical Report of Namur University. Namur: Namur University, 1998, roč. 1998, č. 1, s. 1-48. info
- BRIM, Luboš, David GILBERT, Jean-Marie JACQUET a Mojmír KŘETÍNSKÝ. Temporal Synchronous Concurrent Constraint Programming. In COTIC 97, 1st Int.Workshop on Contr.programming for time critical systems. Piza, Italy: COTIC 97, 1997. s. 35-50. tical appl. info
- ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ a Antonín KUČERA. Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes. Electronic Notes in Theoretical Computer Science. Elsevier, 1997, roč. 1997, č. 5, s. 1-24. ENTCS home page info
- BRIM, Luboš, David GILBERT, Jean-Marie JACQUET a Mojmír KŘETÍNSKÝ. Adding Time via Timed Transitions to Concurrent Constraint Programming. In ERCIM/COMPULOG Workshop. Linz, Austria: ERCIM, 1997. s. 23-34. info
- BRIM, Luboš, David GILBERT, Jean-Marie JACQUET a Mojmír KŘETÍNSKÝ. A process Algebra for Synchronous Concurrent Constraint Programming. TR City University, U.K. London: City University London, 1996, roč. 1996, č. 6, s. 1-15. ISSN 1364-4009. info
- BRIM, Lubos, David GILBERT, Jean-Marie JACQUET a Mojmír KŘETÍNSKÝ. A process algebra for Synchronous Concurrent Constraint Programming. In ALP96: Fifth Int. Conference on Algebraic and Logic Programm. Aachen, Germany: Springer-Verlag, 1996. s. 165-178. LNCS 1139. ISBN 3-540-61735-3. info
- ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ a Antonín KUČERA. On the Relationship between Sequential and Parallel Compositions in Process Algebras. In CSL96 – The 1996 Annual Conference of the European Assoc.. Ultrech, The Netherlands: Department of Philosophy, Ulterech University, 1996. s. 11-13. info
- BRIM, Luboš, David GILBERT, Jean-Marie JACQUET a Mojmír KŘETÍNSKÝ. Synchronisation in Scc. In ILPS´95. Portland, Oregon, U.S.A: MIT Press, 1995. s. 282-283. ISBN 0-262-62099-5. info
- BRIM, Lubos, David GILBERT, Jean-Marie JACQUET a Mojmír KŘETÍNSKÝ. New versions of Ask and Tell for synchronous communication in CCP. TR City University, U.K. London: City University London, 1995, roč. 1995, č. 10, s. 1-18. ISSN 1364-4009. info
- BRIM, Luboš, David GILBERT, Jean-Marie JACQUET a Mojmír KŘETÍNSKÝ. On Synchronous Communication in Concurrent Constraint Programming. Technical Report of Namur University. Namur: Namur University, 1994, roč. 1994, prelim.rep, s. 1-25. info
- BRIM, Luboš, David GILBERT, Jean-Marie JACQUET a Mojmír KŘETÍNSKÝ. Operational semantics of concurrent logical systems. In ALP-UK Workshop on Cocurrency in Computational Logic. London,U.K.: City University London, 1993. s. 13-18. info
2022/06/16
Be the first to comment on "Daniel Kretinsky, ce stratège patient qui investit à contre-cycle (LES ECHOS) + Postface-blog"