default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMax Tschaikowski
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j21]Daniele Toller
, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Coarse-Graining Complex Networks for Control Equivalence. IEEE Trans. Autom. Control. 70(2): 1169-1175 (2025)- 2024
- [j20]Antonio Jiménez-Pastor, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Proper Lumping for Positive Bilinear Control Systems. IEEE Trans. Autom. Control. 69(11): 8120-8127 (2024) - [c36]Antonio Jiménez-Pastor, Alexander Leguizamon-Robayo, Max Tschaikowski, Andrea Vandin:
Approximate Reductions of Rational Dynamical Systems in CLUE. CMSB 2024: 108-116 - [c35]Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Efficient Network Embedding by Approximate Equitable Partitions. ICDM 2024: 440-449 - [c34]Kim G. Larsen, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Optimality-Preserving Reduction of Chemical Reaction Networks. ISoLA (2) 2024: 13-32 - [c33]Roberto Casaluce, Max Tschaikowski, Andrea Vandin:
White-Box Validation of Collective Adaptive Systems by Statistical Model Checking and Process Mining. ISoLA (1) 2024: 204-222 - [c32]Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Dissimilarity for Linear Dynamical Systems. QEST+FORMATS 2024: 125-142 - [c31]Antonio Jiménez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski:
Forward and Backward Constrained Bisimulations for Quantum Circuits. TACAS (2) 2024: 343-362 - [i18]Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Efficient Network Embedding by Approximate Equitable Partitions. CoRR abs/2409.10160 (2024) - [i17]Alexander Leguizamon-Robayo, Antonio Jiménez-Pastor, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Approximate Constrained Lumping of Chemical Reaction Networks. CoRR abs/2411.14242 (2024) - 2023
- [j19]Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Reducing Boolean networks with backward equivalence. BMC Bioinform. 24(1): 212 (2023) - [j18]Luca Cardelli, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Formal lumping of polynomial differential equations through approximate equivalences. J. Log. Algebraic Methods Program. 134: 100876 (2023) - [j17]Luca Cardelli, Radu Grosu, Kim Guldstrand Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Algorithmic Minimization of Uncertain Continuous-Time Markov Chains. IEEE Trans. Autom. Control. 68(11): 6557-6572 (2023) - [c30]Alexander Leguizamon-Robayo, Antonio Jiménez-Pastor, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Approximate Constrained Lumping of Polynomial Differential Equations. CMSB 2023: 106-123 - [c29]Georgios Argyris, Alberto Lluch-Lafuente, Alexander Leguizamon-Robayo, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Minimization of Dynamical Systems over Monoids. LICS 2023: 1-14 - [i16]Kim G. Larsen, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Optimality-preserving Reduction of Chemical Reaction Networks. CoRR abs/2301.08553 (2023) - [i15]Antonio Jiménez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski:
Efficient Simulation of Quantum Circuits by Model Order Reduction. CoRR abs/2308.09510 (2023) - [i14]Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Coarse-graining Complex Networks for Control Equivalence. CoRR abs/2312.07421 (2023) - [i13]Antonio Jiménez-Pastor, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Proper Lumping for Positive Bilinear Control Systems. CoRR abs/2312.08831 (2023) - 2022
- [j16]Ramin M. Hasani, Mathias Lechner, Alexander Amini, Lucas Liebenwein, Aaron Ray, Max Tschaikowski, Gerald Teschl, Daniela Rus:
Closed-form continuous-time neural networks. Nat. Mac. Intell. 4(11): 992-1003 (2022) - [j15]Ramin M. Hasani, Mathias Lechner, Alexander Amini, Lucas Liebenwein, Aaron Ray, Max Tschaikowski, Gerald Teschl, Daniela Rus:
Publisher Correction: Closed-form continuous-time neural networks. Nat. Mac. Intell. 4(12): 1267 (2022) - [j14]Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski:
PID Control of Biochemical Reaction Networks. IEEE Trans. Autom. Control. 67(2): 1023-1030 (2022) - [j13]Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Differential Equivalence for Linear Differential Algebraic Equations. IEEE Trans. Autom. Control. 67(7): 3484-3493 (2022) - [c28]Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence. CMSB 2022: 294-301 - [c27]Alexander Leguizamon-Robayo, Max Tschaikowski:
Efficient Estimation of Agent Networks. ISoLA (3) 2022: 199-214 - [c26]Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations. QEST 2022: 173-191 - [i12]Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Minimization of Dynamical Systems over Monoids. CoRR abs/2206.15169 (2022) - 2021
- [j12]Luca Cardelli, Isabel Cristina Pérez-Verona, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, Tabea Waizmann:
Exact maximal reduction of stochastic reaction networks by species lumping. Bioinform. 37(15): 2175-2182 (2021) - [c25]Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Reducing Boolean Networks with Backward Boolean Equivalence. CMSB 2021: 1-18 - [c24]Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. LICS 2021: 1-14 - [c23]Luca Cardelli, Radu Grosu, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Lumpability for Uncertain Continuous-Time Markov Chains. QEST 2021: 391-409 - [i11]Luca Cardelli, Isabel Cristina Pérez-Verona, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, Tabea Waizmann:
Exact maximal reduction of stochastic reaction networks by species lumping. CoRR abs/2101.03342 (2021) - [i10]Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. CoRR abs/2104.13160 (2021) - [i9]Ramin M. Hasani, Mathias Lechner, Alexander Amini, Lucas Liebenwein, Max Tschaikowski, Gerald Teschl, Daniela Rus:
Closed-form Continuous-Depth Models. CoRR abs/2106.13898 (2021) - [i8]Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Reducing Boolean Networks with Backward Boolean Equivalence. CoRR abs/2106.15476 (2021) - 2020
- [j11]Luca Cardelli, Mirco Tribastone, Max Tschaikowski:
From electric circuits to chemical networks. Nat. Comput. 19(1): 237-248 (2020) - [j10]Max Tschaikowski:
Over-Approximation of Fluid Models. IEEE Trans. Autom. Control. 65(3): 999-1013 (2020)
2010 – 2019
- 2019
- [j9]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Comparing chemical reaction networks: A categorical and algorithmic perspective. Theor. Comput. Sci. 765: 47-66 (2019) - [j8]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Symbolic computation of differential equivalences. Theor. Comput. Sci. 777: 132-154 (2019) - [c22]Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski:
PID Control of Biochemical Reaction Networks. CDC 2019: 8372-8379 - [c21]Sophie Gruenbacher, Jacek Cyranka, Md. Ariful Islam, Max Tschaikowski, Scott A. Smolka, Radu Grosu:
Under the Hood of a Stand-Alone Lagrangian Reachability Tool. ARCH@CPSIoTWeek 2019: 211-219 - [c20]Isabel Cristina Pérez-Verona, Mirco Tribastone, Max Tschaikowski:
Fixed-Point Computation of Equilibria in Biochemical Regulatory Networks. HSB 2019: 45-62 - [c19]Josu Doncel, Nicolas Gast, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
UTOPIC: Under-Approximation Through Optimal Control. QEST 2019: 277-291 - [i7]Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski:
PID Control of Biochemical Reaction Networks. CoRR abs/1903.10390 (2019) - 2018
- [c18]Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Backward Invariance for Linear Differential Algebraic Equations. CDC 2018: 3771-3776 - [c17]Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Differential Equivalence Yields Network Centrality. ISoLA (3) 2018: 186-201 - [c16]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis. QEST 2018: 104-121 - [i6]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Guaranteed Error Bounds on Approximate Model Abstractions through Reachability Analysis. CoRR abs/1807.06888 (2018) - [i5]Luca Cardelli, Mirco Tribastone, Max Tschaikowski:
From Electric Circuits to Chemical Networks. CoRR abs/1812.03308 (2018) - 2017
- [j7]Max Tschaikowski, Mirco Tribastone:
A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment. Ann. Oper. Res. 252(1): 101-120 (2017) - [j6]Max Tschaikowski, Mirco Tribastone:
Spatial fluid limits for stochastic mobile networks. Perform. Evaluation 109: 52-76 (2017) - [j5]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Maximal aggregation of polynomial dynamical systems. Proc. Natl. Acad. Sci. USA 114(38): 10029-10034 (2017) - [c15]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Syntactic Markovian Bisimulation for Chemical Reaction Networks. Models, Algorithms, Logics and Tools 2017: 466-483 - [c14]Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
EGAC: a genetic algorithm to compare chemical reaction networks. GECCO 2017: 833-840 - [c13]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations. TACAS (2) 2017: 310-328 - [i4]Max Tschaikowski:
Over-Approximation of Fluid Models. CoRR abs/1705.00530 (2017) - [i3]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Syntactic Markovian Bisimulation for Chemical Reaction Networks. CoRR abs/1707.02132 (2017) - 2016
- [j4]Max Tschaikowski, Mirco Tribastone:
Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls. IEEE Trans. Autom. Control. 61(4): 1099-1104 (2016) - [c12]Luca Bortolussi, Max Tschaikowski:
Fluid Analysis of Spatio-Temporal Properties of Agents in a Population Model. ASMTA 2016: 92-106 - [c11]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective. LICS 2016: 485-494 - [c10]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Symbolic computation of differential equivalences. POPL 2016: 137-150 - [c9]Matthias Kowal, Max Tschaikowski, Mirco Tribastone, Ina Schaefer:
Scaling size and parameter spaces in variability-aware software performance models. Software Engineering 2016: 33-34 - [c8]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Efficient Syntax-Driven Lumping of Differential Equations. TACAS 2016: 93-111 - 2015
- [j3]Max Tschaikowski, Mirco Tribastone:
A unified framework for differential aggregations in Markovian process algebra. J. Log. Algebraic Methods Program. 84(2): 238-258 (2015) - [c7]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Forward and Backward Bisimulations for Chemical Reaction Networks. CONCUR 2015: 226-239 - [c6]Matthias Kowal, Max Tschaikowski, Mirco Tribastone, Ina Schaefer:
Scaling Size and Parameter Spaces in Variability-Aware Software Performance Models (T). ASE 2015: 407-417 - [p1]Lubomír Bulej, Tomás Bures, Ilias Gerostathopoulos, Vojtech Horký, Jaroslav Keznikl, Lukás Marek, Max Tschaikowski, Mirco Tribastone, Petr Tuma:
Supporting Performance Awareness in Autonomous Ensembles. The ASCENS Approach 2015: 291-322 - [i2]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Forward and Backward Bisimulations for Chemical Reaction Networks. CoRR abs/1507.00163 (2015) - 2014
- [j2]Max Tschaikowski, Mirco Tribastone:
Tackling continuous state-space explosion in a Markovian process algebra. Theor. Comput. Sci. 517: 1-33 (2014) - [j1]Max Tschaikowski, Mirco Tribastone:
Exact fluid lumpability in Markovian process algebra. Theor. Comput. Sci. 538: 140-166 (2014) - [c5]Max Tschaikowski, Mirco Tribastone:
A Partial-differential Approximation for Spatial Stochastic Process Algebra. VALUETOOLS 2014 - [c4]Max Tschaikowski, Mirco Tribastone:
Extended Differential Aggregations in Process Algebra for Performance and Biology. QAPL 2014: 34-47 - 2013
- [c3]Max Tschaikowski, Mirco Tribastone:
Insensitivity to service-time distributions for fluid queueing models. VALUETOOLS 2013: 273-281 - [i1]Max Tschaikowski, Mirco Tribastone:
Spatial Fluid Limits for Stochastic Mobile Networks. CoRR abs/1307.4566 (2013) - 2012
- [c2]Max Tschaikowski, Mirco Tribastone:
Exact Fluid Lumpability for Markovian Process Algebra. CONCUR 2012: 380-394 - [c1]Max Tschaikowski, Mirco Tribastone:
Generalised Communication for Interacting Agents. QEST 2012: 178-188
Coauthor Index
[j21] [j20] [c35] [c34] [c32] [c31] [i18] [i17] [j19] [j18] [j17] [c30] [c29] [i16] [i15] [i14] [i13] [j14] [j13] [c28] [c26] [i12] [j12] [c25] [c24] [c23] [i11] [i10] [i8] [j11] [j9] [j8] [c22] [c20] [c19] [i7] [c18] [c17] [c16] [i6] [i5] [j7] [j6] [j5] [c15] [c14] [c13] [i3] [j4] [c11] [c10] [c9] [c8] [j3] [c7] [c6] [p1] [i2] [j2] [j1] [c5] [c4] [c3] [i1] [c2] [c1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-10 20:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
