Vincent Danos - RankMe

120 papers A* 9A 3B 23C 2Journal 40Unranked 38

Year	Rank	Type	Title / Venue / Authors
2025	A	`conf`	Attacking and Fixing the Android Protected Confirmation Protocol. EuroS&P Myrto Arapinis, Vincent Danos, Maïwenn Racouchot, David A. R. Robin, Thomas Zacharias
2024	J	`jnl`	Commitment Against Front-Running Attacks. Manag. Sci. Andrea Canidio, Vincent Danos
2023	J	`jnl`	Commitment Against Front Running Attacks. CoRR Andrea Canidio, Vincent Danos
2022	—	`conf`	Commit-Reveal Schemes Against Front-Running Attacks (Extended Abstract). Tokenomics Andrea Canidio, Vincent Danos
2022	—	`conf`	Consistency of Automated Market Makers. Tokenomics Vincent Danos, Weijia Wang
2021	J	`jnl`	Efficient estimates of optimal transport via low-dimensional embeddings. CoRR Patric M. Fulop, Vincent Danos
2021	—	`conf`	Global Order Routing on Exchange Networks. Financial Cryptography Workshops Vincent Danos, Hamza El Khalloufi, Julien Prat
2020	J	`jnl`	Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems. Log. Methods Comput. Sci. Nicolas Behr, Vincent Danos, Ilias Garnier
2020	—	`ed.`	International Conference on Blockchain Economics, Security and Protocols, Tokenomics 2019, Paris, France, May 6-7, 2019 Tokenomics Vincent Danos, Maurice Herlihy, Maria Potop-Butucaru, Julien Prat, Sara Tucci Piergiovanni
2020	—	`conf`	Rate Equations for Graphs. CMSB Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
2020	J	`jnl`	Rate Equations for Graphs. CoRR Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
2020	—	`conf`	Revisiting the Liquidity/Risk Trade-Off with Smart Contracts (Short Paper). Tokenomics Vincent Danos, Jean Krivine, Julien Prat
2019	J	`jnl`	Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems. CoRR Nicolas Behr, Vincent Danos, Ilias Garnier
2019	J	`jnl`	The Born Supremacy: Quantum Advantage and Training of an Ising Born Machine. CoRR Brian Coyle, Daniel Mills, Vincent Danos, Elham Kashefi
2018	J	`jnl`	An Information-Theoretic Measure for Patterning in Epithelial Tissues. IEEE Access William Waites, Matteo Cavaliere, Elise Cachat, Vincent Danos, Jamie A. Dvies
2018	J	`jnl`	Annotations for Rule-Based Models. CoRR Matteo Cavaliere, Vincent Danos, Ricardo Honorato-Zimmer, William Waites
2018	J	`jnl`	Borel Kernels and their Approximation, Categorically. CoRR Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, Alexandra Silva
2018	B	`conf`	Borel Kernels and their Approximation, Categorically. MFPS Fredrik Dahlqvist, Alexandra Silva, Vincent Danos, Ilias Garnier
2018	J	`jnl`	Compiling Combinatorial Genetic Circuits with Semantic Inference. CoRR William Waites, Goksel Misirli, Matteo Cavaliere, Vincent Danos, Anil Wipat
2018	—	`conf`	Survival of the Fattest: Evolutionary Trade-offs in Cellular Resource Storage. SASB Guillaume Terradot, Andreea Beica, Andrea Y. Weiße, Vincent Danos
2017	B	`conf`	Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables. FoSSaCS Vincent Danos, Tobias Heindel, Ilias Garnier, Jakob Grue Simonsen
2017	J	`jnl`	Langevin Dynamics with Variable Coefficients and Nonconservative Forces: From Stationary States to Numerical Methods. Entropy Matthias Sachs, Benedict J. Leimkuhler, Vincent Danos
2017	B	`conf`	Pointless Learning. FoSSaCS Florence Clerc, Vincent Danos, Fredrik Dahlqvist, Ilias Garnier
2016	J	`jnl`	Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization. Bioinform. Goksel Misirli, Matteo Cavaliere, William Waites, Matthew R. Pocock, Curtis Madsen, Owen Gilfellon, Ricardo Honorato-Zimmer, Paolo Zuliani, Vincent Danos, Anil Wipat
2016	B	`conf`	Bayesian Inversion by ω-Complete Cone Duality. CONCUR Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, Ohad Kammar
2016	—	`conf`	Emergent Communities in Socio-cognitive Networks. FAS*W@SASO/ICCAC Vincent Danos, Ricardo Honorato-Zimmer
2016	B	`conf`	Giry and the Machine. MFPS Fredrik Dahlqvist, Vincent Danos, Ilias Garnier
2016	—	`conf`	Learning in Open Adaptive Networks. SASO Guoli Yang, Vincent Danos
2016	B	`conf`	Robustly Parameterised Higher-Order Probabilistic Models. CONCUR Fredrik Dahlqvist, Vincent Danos, Ilias Garnier
2016	A*	`conf`	Stochastic mechanics of graph rewriting. LICS Nicolas Behr, Vincent Danos, Ilias Garnier
2016	—	`conf`	Synchronous Balanced Analysis. HSB Andreea Beica, Vincent Danos
2015	B	`conf`	Dirichlet is Natural. MFPS Vincent Danos, Ilias Garnier
2015	C	`conf`	Moment Semantics for Reversible Rule-Based Systems. RC Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
2015	J	`jnl`	Self-assembly and Self-organization in Computer Science and Biology (Dagstuhl Seminar 15402). Dagstuhl Reports Vincent Danos, Heinz Koeppl
2015	J	`jnl`	Thermodynamic graph-rewriting. Log. Methods Comput. Sci. Vincent Danos, Russ Harmer, Ricardo Honorato-Zimmer
2014	J	`jnl`	Approximating Markov Processes by Averaging. J. ACM Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin
2014	C	`conf`	Approximations for Stochastic Graph Rewriting. ICFEM Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
2014	—	`conf`	Free Energy of Petri Nets. Horizons of the Mind Vincent Danos, Ilias Garnier
2014	J	`jnl`	Mean Quantitative Coverability in Stochastic Graph Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Tobias Heindel, Vincent Danos, Ricardo Honorato-Zimmer, Sandro Stucki
2014	J	`jnl`	Modelling Adaptive Networks: The Case of the Petrified Voters. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Mudhafar Hussein, Reiko Heckel, Vincent Danos, Pawel Sobocinski
2014	B	`conf`	Reversible Sesqui-Pushout Rewriting. ICGT Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
2014	B	`conf`	Transformation and Refinement of Rigid Structures. ICGT Vincent Danos, Reiko Heckel, Pawel Sobocinski
2013	J	`jnl`	A simulator for spatially extended kappa models. Bioinform. Oksana Sorokina, Anatoly A. Sorokin, J. Douglas Armstrong, Vincent Danos
2013	J	`jnl`	Constraining rule-based dynamics with types. Math. Struct. Comput. Sci. Vincent Danos, Russell Harmer, Glynn Winskel
2013	J	`jnl`	Editorial. Int. J. Softw. Informatics S. Barry Cooper, Vincent Danos
2013	J	`jnl`	Equilibrium and termination II: the case of Petri nets. Math. Struct. Comput. Sci. Vincent Danos, Nicolas Oury
2013	B	`conf`	Thermodynamic Graph-Rewriting. CONCUR Vincent Danos, Russ Harmer, Ricardo Honorato-Zimmer
2012	—	`conf`	Coarse-graining the Dynamics of Ideal Branched Polymers. SASB Vincent Danos, Ricardo Honorato-Zimmer, Sebastián Jaramillo-Riveri, Sandro Stucki
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	—	`conf`	Rigid Geometric Constraints for Kappa Models. SASB Vincent Danos, Ricardo Honorato-Zimmer, Sebastián Jaramillo-Riveri, Sandro Stucki
2011	B	`conf`	Cooperative Assembly Systems. DNA Vincent Danos, Heinz Koeppl, John Roger Wilson-Kanamori
2011	B	`conf`	On the Statistical Thermodynamics of Reversible Communicating Processes. CALCO Giorgio Bacci, Vincent Danos, Ohad Kammar
2011	J	`jnl`	Probabilistic coherence spaces as a model of higher-order probabilistic computation. Inf. Comput. Vincent Danos, Thomas Ehrhard
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`	Equilibrium and Termination DCM Vincent Danos, Nicolas Oury
2009	B	`conf`	Approximating Labelled Markov Processes Again! CALCO Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin
2009	—	`conf`	Approximating Markov Processes by Averaging. ICALP (2) Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin
2009	J	`jnl`	How liquid is biological signalling? Theor. Comput. Sci. Vincent Danos, Linus J. Schumacher
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	—	`ed.`	Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, DCM 2009, Rhodes, Greece, 11th July 2009. DCM S. Barry Cooper, Vincent Danos
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	—	`conf`	Agile Modelling of Cellular Signalling (Invited Paper). SOS@ICALP Vincent Danos
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	—	`ed.`	Proceedings of the Third International Workshop on Developments in Computational Models, DCM@ICALP 2007, Wroclaw, Poland, July 15, 2007 DCM@ICALP Vincent Danos, Mariangiola Dezani
2008	—	`conf`	Quadratic Form Expansions for Unitaries. TQC J. Niel de Beaudrap, Vincent Danos, Elham Kashefi, Martin Rötteler
2008	—	`conf`	Rule-Based Modelling, Symmetries, Refinements. FMSB Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
2007	—	`conf`	Classical Knowledge for Quantum Cryptographic Reasoning. DCM@ICALP Vincent Danos, Ellie D'Hondt
2007	—	`conf`	Preface. DCM@ICALP Vincent Danos, Mariangiola Dezani-Ciancaglini
2007	—	`ed.`	Proceedings of the First Workshop on Concurrent Models in Molecular Biology, BioConcur@CONCUR 2003, Marseille, France, September 6, 2003 BioConcur@CONCUR Vincent Danos, Cosimo Laneve
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
2007	J	`jnl`	Self-assembling graphs. Nat. Comput. Vincent Danos, Fabien Tarissan
2007	J	`jnl`	The measurement calculus. J. ACM Vincent Danos, Elham Kashefi, Prakash Panangaden
2006	J	`jnl`	Bisimulation and cocongruence for probabilistic systems. Inf. Comput. Vincent Danos, Josée Desharnais, François Laviolette, Prakash Panangaden
2006	—	`conf`	General Reversibility. EXPRESS Vincent Danos, Jean Krivine, Pawel Sobocinski
2006	J	`jnl`	Property-Driven Statistics of Biological Networks. Trans. Comp. Sys. Biology Pierre-Yves Bourguignon, Vincent Danos, François Képès, Serge Smidtas, Vincent Schächter
2006	—	`conf`	Self-assembling Trees. SOS@CONCUR Vincent Danos, Jean Krivine, Fabien Tarissan
2006	—	`conf`	The One Way to Quantum Computation. ICALP (2) Vincent Danos, Elham Kashefi, Prakash Panangaden
2005	—	`ed.`	Computational Methods in Systems Biology, International Conference, CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers CMSB Vincent Danos, Vincent Schächter
2005	—	`conf`	Distributed Measurement-based Quantum Computation. QPL Vincent Danos, Ellie D'Hondt, Elham Kashefi, Prakash Panangaden
2005	—	`conf`	Pauli Measurements are Universal. QPL Vincent Danos, Elham Kashefi
2005	—	`conf`	Self Assembling Graphs. IWINAC (1) Vincent Danos, Fabien Tarissan
2005	B	`conf`	Transactions in RCCS. CONCUR Vincent Danos, Jean Krivine
2004	J	`jnl`	Formal molecular biology. Theor. Comput. Sci. Vincent Danos, Cosimo Laneve
2004	J	`jnl`	Modeling and querying biomolecular interaction networks. Theor. Comput. Sci. Nathalie Chabrier-Rivier, Marc Chiaverini, Vincent Danos, François Fages, Vincent Schächter
2004	—	`conf`	Projective Brane Calculus. CMSB Vincent Danos, Sylvain Pradalier
2004	B	`conf`	Reversible Communicating Systems. CONCUR Vincent Danos, Jean Krivine
2003	—	`conf`	A Core Modeling Language for the Working Molecular Biologist (Abstract). CMSB Marc Chiaverini, Vincent Danos
2003	—	`conf`	A Fixpoint Logic for Labeled Markov Processes. FICS Vincent Danos, Josée Desharnais
2003	J	`jnl`	Computational isomorphisms in classical logic. Theor. Comput. Sci. Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
2003	B	`conf`	Conditional Expectation and the Approximation of Labelled Markov Processes. CONCUR Vincent Danos, Josée Desharnais, Prakash Panangaden
2003	A	`conf`	Core Formal Molecular Biology. ESOP Vincent Danos, Cosimo Laneve
2003	A	`conf`	Disjunctive normal forms and local exceptions. ICFP Emmanuel Beffara, Vincent Danos
2003	—	`conf`	Formal Molecular Biology Done in CCS-R. BioConcur@CONCUR Vincent Danos, Jean Krivine
2003	—	`conf`	Graphs for Core Molecular Biology. CMSB Vincent Danos, Cosimo Laneve
2003	A*	`conf`	Labelled Markov Processes: Stronger and Faster Approximations. LICS Vincent Danos, Josée Desharnais
2003	—	`conf`	Labelled Markov Processes: Stronger and Faster Approximations. DTMPP Vincent Danos, Josée Desharnais, Prakash Panangaden
2003	J	`jnl`	Linear logic and elementary time. Inf. Comput. Vincent Danos, Jean-Baptiste Joinet
2003	—	`conf`	Preface. BioConcur@CONCUR Vincent Danos, Cosimo Laneve
2002	J	`jnl`	Probabilistic game semantics. ACM Trans. Comput. Log. Vincent Danos, Russell Harmer
2001	B	`conf`	The Anatomy of Innocence. CSL Vincent Danos, Russell Harmer
2000	B	`conf`	Disjunctive Tautologies as Synchronisation Schemes. CSL Vincent Danos, Jean-Louis Krivine
2000	A*	`conf`	Probabilistic Game Semantics. LICS Vincent Danos, Russell Harmer
1999	J	`jnl`	Reversible, Irreversible and Optimal lambda-Machines. Theor. Comput. Sci. Vincent Danos, Laurent Regnier
1997	J	`jnl`	A New Deconstructive Logic: Linear Logic. J. Symb. Log. Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
1997	A*	`conf`	Believe it or not, AJM's Games Model is a Model of Classical Linear Logic. LICS Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier
1997	B	`conf`	Timeless Games. CSL Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier
1996	—	`conf`	Computational isomorphisms in classical logic. Linear Logic Tokyo Meeting Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
1996	B	`conf`	Directed Virtual Reductions. CSL Vincent Danos, Marco Pedicini, Laurent Regnier
1996	A*	`conf`	Game Semantics & Abstract Machines. LICS Vincent Danos, Hugo Herbelin, Laurent Regnier
1996	—	`conf`	Reversible, Irreversible and Optimal Lambda-machines. Linear Logic Tokyo Meeting Vincent Danos, Laurent Regnier
1995	J	`jnl`	On the linear decoration of intuitionistic derivations. Arch. Math. Log. Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
1994	A*	`conf`	Paths in the lambda-calculus LICS Andrea Asperti, Vincent Danos, Cosimo Laneve, Laurent Regnier
1994	—	`conf`	Une logique à grain fain: la logique linéaire. JFPLC Vincent Danos
1993	A*	`conf`	Local and asynchronous beta-reduction (an analysis of Girard's execution formula) LICS Vincent Danos, Laurent Regnier
1993	—	`conf`	The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs. Kurt Gödel Colloquium Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
1989	J	`jnl`	The structure of multiplicatives. Arch. Math. Log. Vincent Danos, Laurent Regnier