Jean Krivine - RankMe

54 papers A* 3A 1B 9C 4Journal 18Unranked 14

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Reversible computations are computations. MFPS Clément Aubert, Jean Krivine
2023	J	`jnl`	Fundamentals of compositional rewriting theory. J. Log. Algebraic Methods Program. Nicolas Behr, Russ Harmer, Jean Krivine
2022	J	`jnl`	Fundamentals of Compositional Rewriting Theory. CoRR Nicolas Behr, Russ Harmer, Jean Krivine
2021	J	`jnl`	Compositionality of Rewriting Rules with Conditions. Compositionality Nicolas Behr, Jean Krivine
2021	B	`conf`	Concurrency Theorems for Non-linear Rewriting Theories. ICGT Nicolas Behr, Russ Harmer, Jean Krivine
2021	J	`jnl`	Concurrency Theorems for Non-linear Rewriting Theories. CoRR Nicolas Behr, Russ Harmer, Jean Krivine
2021	J	`jnl`	Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics (Long version). CoRR Nicolas Behr, Jean Krivine, Jakob L. Andersen, Daniel Merkle
2021	J	`jnl`	Rewriting theory for the life sciences: A unifying theory of CTMC semantics. Theor. Comput. Sci. Nicolas Behr, Jean Krivine, Jakob L. Andersen, Daniel Merkle
2020	J	`jnl`	A calculus of branching processes. Theor. Comput. Sci. Thomas Ehrhard, Jean Krivine, Ying Jiang
2020	—	`conf`	Revisiting the Liquidity/Risk Trade-Off with Smart Contracts (Short Paper). Tokenomics Vincent Danos, Jean Krivine, Julien Prat
2020	B	`conf`	Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics. ICGT Nicolas Behr, Jean Krivine
2020	J	`jnl`	Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics. CoRR Nicolas Behr, Jean Krivine
2019	—	`conf`	A Tractable Logic for Molecular Biology. ICLP Technical Communications Adrien Husson, Jean Krivine
2019	J	`jnl`	Compositionality of Rewriting Rules with Conditions. CoRR Nicolas Behr, Jean Krivine
2019	—	`ed.`	Proceedings of the 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2019, Prague, Czech Republic, 7th April 2019. CREST Georgiana Caltais, Jean Krivine
2018	J	`jnl`	Dynamic Influence Networks for Rule-Based Models. IEEE Trans. Vis. Comput. Graph. Angus Graeme Forbes, Andrew Burks, Kristine Lee, Xing Li, Pierre Boutillier, Jean Krivine, Walter Fontana
2018	—	`conf`	Interactions between Causal Structures in Graph Rewriting Systems. CREST Ioana Cristescu, Walter Fontana, Jean Krivine
2018	J	`jnl`	The Kappa platform for rule-based modeling. Bioinform. Pierre Boutillier, Mutaamba Maasha, Xing Li, Héctor F. Medina-Abarca, Jean Krivine, Jérôme Feret, Ioana Cristescu, Angus G. Forbes, Walter Fontana
2017	J	`jnl`	Dynamic Influence Networks for Rule-based Models. CoRR Angus Graeme Forbes, Andrew Burks, Kristine Lee, Xing Li, Pierre Boutillier, Jean Krivine, Walter Fontana
2017	A	`conf`	Incremental Update for Graph Rewriting. ESOP Pierre Boutillier, Thomas Ehrhard, Jean Krivine
2017	J	`jnl`	Systems biology. ACM SIGLOG News Jean Krivine
2016	C	`conf`	Rigid Families for the Reversible π-Calculus. RC Ioana Cristescu, Jean Krivine, Daniele Varacca
2015	C	`ed.`	Reversible Computation - 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings RC Jean Krivine, Jean-Bernard Stefani
2015	C	`conf`	Rigid Families for CCS and the π-calculus. ICTAC Ioana Domnina Cristescu, Jean Krivine, Daniele Varacca
2014	—	`conf`	A Rule-Based Model of Base Excision Repair. CMSB Agnes Köhler, Jean Krivine, Jakob Vidmar
2013	A*	`conf`	A Compositional Semantics for the Reversible p-Calculus. LICS Ioana Cristescu, Jean Krivine, Daniele Varacca
2012	C	`conf`	A Verification Technique for Reversible Process Algebra. RC Jean Krivine
2012	—	`conf`	Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models. FSTTCS Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jonathan Hayman, Jean Krivine, Christopher D. Thompson-Walsh, Glynn Winskel
2012	J	`jnl`	Information Flow and Its Applications (Dagstuhl Seminar 12352). Dagstuhl Reports Samson Abramsky, Jean Krivine, Michael W. Mislove
2012	—	`conf`	Models of Tet-On System with Epigenetic Effects. CMSB Russell Harmer, Jean Krivine, Élise Laruelle, Cédric Lhoussaine, Guillaume Madelaine, Mirabelle Nebut
2011	—	`conf`	Formal Cellular Machinery. SASB Troels Christoffer Damgaard, Espen Højsgaard, Jean Krivine
2011	—	`conf`	Preface. CS2Bio@DisCoTec Paola Giannini, Jean Krivine
2011	—	`ed.`	Proceedings 7th International Workshop on Developments of Computational Methods, DCM 2011, Zurich, Switzerland, 3rd July 2011. DCM Elham Kashefi, Jean Krivine, Femke van Raamsdonk
2011	—	`ed.`	The Second International Workshop on Interactions between Computer Science and Biology, CS2Bio@DisCoTec 2011, Reykjavik, Iceland, June 9, 2011 CS2Bio@DisCoTec Paola Giannini, Jean Krivine
2010	A*	`conf`	Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction. LICS Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
2010	—	`conf`	Preface. CS2Bio Jean Krivine, Angelo Troina
2010	—	`ed.`	Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology, CS2Bio 2010, Amsterdam, The Netherlands, June 10, 2010 CS2Bio Jean Krivine, Angelo Troina
2009	J	`jnl`	Internal coarse-graining of molecular systems. Proc. Natl. Acad. Sci. USA Jérôme Feret, Vincent Danos, Jean Krivine, Russ Harmer, Walter Fontana
2009	A*	`conf`	Modelling Epigenetic Information Maintenance: A Kappa Tutorial. CAV Jean Krivine, Vincent Danos, Arndt Benecke
2009	J	`jnl`	Rule-Based Modelling and Model Perturbation. Trans. Comp. Sys. Biology Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
2008	B	`conf`	Abstract Interpretation of Cellular Signalling Networks. VMCAI Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine
2008	J	`jnl`	Computational self-assembly. Theor. Comput. Sci. Pierre-Louis Curien, Vincent Danos, Jean Krivine, Min Zhang
2008	—	`conf`	Investigation of a Biological Repair Scheme. Workshop on Membrane Computing Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
2008	—	`conf`	Rule-Based Modelling, Symmetries, Refinements. FMSB Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
2008	B	`conf`	Stochastic Bigraphs. MFPS Jean Krivine, Robin Milner, Angelo Troina
2007	B	`conf`	Rule-Based Modelling of Cellular Signalling. CONCUR Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
2007	B	`conf`	Scalable Simulation of Cellular Signaling Networks. APLAS Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine
2006	J	`jnl`	A verification algorithm for Declarative Concurrent Programming CoRR Jean Krivine
2006	—	`—`	Algèbres de Processus Réversibles. (Reversible Process Algebra). Jean Krivine
2006	—	`conf`	General Reversibility. EXPRESS Vincent Danos, Jean Krivine, Pawel Sobocinski
2006	—	`conf`	Self-assembling Trees. SOS@CONCUR Vincent Danos, Jean Krivine, Fabien Tarissan
2005	B	`conf`	Transactions in RCCS. CONCUR Vincent Danos, Jean Krivine
2004	B	`conf`	Reversible Communicating Systems. CONCUR Vincent Danos, Jean Krivine
2003	—	`conf`	Formal Molecular Biology Done in CCS-R. BioConcur@CONCUR Vincent Danos, Jean Krivine