On fast multiplication of polynomials over arbitrary algebras. Zbl 0766.68055
Cantor, David G.; Kaltofen, Erich |
|
1991
|
An axiomatic proof technique for parallel programs. Zbl 0312.68011
Owicki, Susan; Gries, David |
|
1976
|
The method of forced enumeration for nondeterministic automata. Zbl 0638.68046
Szelepcsényi, Róbert |
|
1988
|
Organization and maintenance of large ordered indexes. Zbl 0226.68008
Bayer, R.; McCreight, E. |
|
1971
|
Proof of correctness of data representations. Zbl 0244.68009
Hoare, C. A. R. |
|
1972
|
Quad trees: A data structure for retrieval by composite keys. Zbl 0278.68030
Finkel, Raphael Ari; Bentley, Jon Louis |
|
1974
|
The complexity of combinatorial problems with succinct input representation. Zbl 0621.68032
Wagner, Klaus W. |
|
1986
|
Optimal scheduling for two-processor systems. Zbl 0248.68023
Coffman, E. G. jun.; Graham, R. L. |
|
1971
|
Subtyping for session types in the pi calculus. Zbl 1079.68065
Gay, Simon; Hole, Malcolm |
|
2005
|
Single machine flow-time scheduling with a single breakdown. Zbl 0657.68033
Adiri, Igal; Bruno, John; Frostig, Esther; Rinnooy Kan, A. H. G. |
|
1989
|
Optimum binary search trees. Zbl 0233.68010
Knuth, D. E. |
|
1971
|
Affine relationships among variables of a program. Zbl 0358.68025
Karr, Michael |
|
1976
|
NP-hard problems in hierarchical-tree clustering. Zbl 0644.68055
Křivánek, Mirko; Morávek, Jaroslav |
|
1986
|
A theory of bisimulation for the \(\pi\)-calculus. Zbl 0835.68072
Sangiorgi, Davide |
|
1996
|
A fast algorithm for Steiner trees. Zbl 0445.68051
Kou, L.; Markowsky, G.; Berman, L. |
|
1981
|
Specification-oriented semantics for communicating processes. Zbl 0569.68019
Olderog, E.-R.; Hoare, Tony |
|
1986
|
Branching processes of Petri nets. Zbl 0743.68106
Engelfriet, Joost |
|
1991
|
Symmetric binary B-trees: Data structure and maintenance algorithms. Zbl 0233.68009
Bayer, Rudolf |
|
1972
|
Single machine flow-time scheduling with scheduled maintenance. Zbl 0738.68043
Lee, Chung-Yee; Liman, Surya Danusaputro |
|
1992
|
Fast multiplication of polynomials over fields of characteristic 2.
(Schnelle Multiplikation von Polynomen über Körpern der Charakteristik 2.) Zbl 0362.65011
Schönhage, A. |
|
1977
|
The temporal logic of branching time. Zbl 0533.68036
Ben-Ari, Mordechai; Pnueli, Amir; Manna, Zohar |
|
1983
|
On real-time cellular automata and trellis automata. Zbl 0534.68039
Choffrut, C.; Čulik, Karel II |
|
1984
|
Refinement of actions and equivalence notions for concurrent systems. Zbl 0969.68081
van Glabbeek, Rob; Goltz, Ursula |
|
2001
|
Branching processes in the analysis of the heights of trees. Zbl 0643.60065
Devroye, L. |
|
1987
|
Fast computation of continued fraction expansions.
(Schnelle Berechnung von Kettenbruchentwicklungen.) Zbl 0223.68008
Schönhage, A. |
|
1971
|
Contextual nets. Zbl 0835.68084
Montanari, Ugo; Rossi, Francesca |
|
1995
|
A bi-criterion single-machine scheduling problem with learning considerations. Zbl 1137.90500
Lee, Wen-Chiung; Wu, Chin-Chia; Sung, Hua-Jung |
|
2004
|
Plain CHOCS. A second generation calculus for higher order processes. Zbl 0790.68069
Thomsen, Bent |
|
1993
|
Machine scheduling with availability constraints. Zbl 0917.68018
Sanlaville, Eric; Schmidt, Günter |
|
1998
|
On non-determinacy in simple computing devices. Zbl 0229.68014
Hartmanis, J. |
|
1972
|
Extensional equivalences for transition systems. Zbl 0636.68069
De Nicola, Rocco |
|
1987
|
Proving and applying program transformations expressed with second-order patterns. Zbl 0389.68008
Huet, Gerard; Lang, Bernard |
|
1978
|
Partial (set) 2-structures. II: State spaces of concurrent systems. Zbl 0696.68083
Ehrenfeucht, A.; Rozenberg, G. |
|
1990
|
An efficiency preorder for processes. Zbl 0790.68039
Arun-Kumar, S.; Hennessy, M. |
|
1992
|
A new data structure for representing sorted lists. Zbl 0481.68061
Huddleston, Scott; Mehlhorn, Kurt |
|
1982
|
Ramsey numbers and an approximation algorithm for the vertex cover problem. Zbl 0558.05044
Monien, Burkhard; Speckenmeyer, Ewald |
|
1985
|
A distributed operational semantics of CCS based on condition/event systems. Zbl 0656.68061
Degano, Pierpaolo; De Nicola, Rocco; Montanari, Ugo |
|
1988
|
Partial (set) 2-structures. I: Basic notions and the representation problems. Zbl 0696.68082
Ehrenfeucht, A.; Rozenberg, G. |
|
1990
|
On sufficient-completeness and related properties of term rewriting systems. Zbl 0594.68035
Kapur, Deepak; Narendran, Paliath; Zhang, Hantao |
|
1987
|
A logic covering undefinedness in program proofs. Zbl 0534.68024
Barringer, H.; Cheng, J. H.; Jones, C. B. |
|
1984
|
Concurrent bisimulations in Petri nets. Zbl 0718.68034
Best, Eike; Devillers, Raymond; Kiehn, Astrid; Pomello, Lucia |
|
1991
|
Edge-disjoint spanning trees and depth-first search. Zbl 0307.05104
Tarjan, Robert Endre |
|
1976
|
Petri net algorithms in the theory of matrix grammars. Zbl 0834.68064
Hauschildt, Dirk; Jantzen, Matthias |
|
1994
|
The algebraic specification of abstract data types. Zbl 0369.68010
Guttag, J. V.; Horning, J. J. |
|
1978
|
An axiomatic definition of the programming language Pascal. Zbl 0261.68040
Hoare, C. A. R.; Wirth, N. |
|
1974
|
On random 2-3 trees. Zbl 0369.05024
Yao, Andrew Chi-Chih |
|
1978
|
Synthesizing robust systems. Zbl 1302.93079
Bloem, Roderick; Chatterjee, Krishnendu; Greimel, Karin; Henzinger, Thomas A.; Hofferek, Georg; Jobstmann, Barbara; Könighofer, Bettina; Könighofer, Robert |
|
2014
|
Memory requirements for silent stabilization. Zbl 0933.68156
Dolev, Shlomi; Gouda, Mohamed G.; Schneider, Marco |
|
1999
|
Partial abstract types. Zbl 0494.68020
Broy, Manfred; Wirsing, Martin |
|
1982
|
A fully abstract semantics for causality in the \(\pi\)-calculus. Zbl 0908.68103
Boreale, Michele; Sangiorgi, Davide |
|
1998
|
A decision procedure for propositional projection temporal logic with infinite models. Zbl 1141.68039
Duan, Zhenhua; Tian, Cong; Zhang, Li |
|
2008
|
Efficient algorithms for finding maximum matchings in convex bipartite graphs and related problems. Zbl 0445.68052
Lipski, W. jun.; Preparata, F. P. |
|
1981
|
Monotone data flow analysis frameworks. Zbl 0375.68020
Kam, John B.; Ullman, Jeffrey D. |
|
1977
|
Toward formal development of programs from algebraic specifications: Implementations revisited. Zbl 0621.68004
Sannella, Donald; Tarlecki, Andrzej |
|
1988
|
Short proofs for tricky formulas. Zbl 0552.03009
Krishnamurthy, Balakrishnan |
|
1985
|
Nearly optimal binary search trees. Zbl 0333.68028
Mehlhorn, Kurt |
|
1975
|
Applications of the theory of records in the study of random trees. Zbl 0656.68065
Devroye, Luc |
|
1988
|
Hybridization methods for the analysis of nonlinear systems. Zbl 1134.93026
Asarin, Eugene; Dang, Thao; Girard, Antoine |
|
2007
|
A longest common subsequence algorithm suitable for similar text strings. Zbl 0493.68041
Nakatsu, Narao; Kambayashi, Yahiko; Yajima, Shuzo |
|
1982
|
On the valuedness of finite transducers. Zbl 0672.68027
Weber, Andreas |
|
1990
|
Hex ist Pspace-vollständig. (Hex is Pspace-complete). Zbl 0431.90103
Reisch, Stefan |
|
1981
|
The programming language Pascal. Zbl 0205.18603
Wirth, N. |
|
1971
|
Decidability of model checking for infinite-state concurrent systems. Zbl 0865.68046
Esparza, Javier |
|
1997
|
EOL forms. Zbl 0348.68046
Maurer, H. A.; Salomaa, A.; Wood, D. |
|
1977
|
Endliche Automaten und Zufallsfolgen. Zbl 0238.68017
Schnorr, C. P.; Stimm, H. |
|
1972
|
Sur diverses familles de langages fermées par transduction rationnelle. Zbl 0242.68037
Boasson, L.; Nivat, M. |
|
1973
|
Finite complete rewriting systems and the complexity of word problem. Zbl 0535.68019
Bauer, G.; Otto, F. |
|
1984
|
Canonical prefixes of Petri net unfoldings. Zbl 1072.68072
Khomenko, Victor; Koutny, Maciej; Vogler, Walter |
|
2003
|
Bin stretching revisited. Zbl 1034.68039
Epstein, Leah |
|
2003
|
Fairness and related properties in transition systems - a temporal logic to deal with fairness. Zbl 0489.68024
Queille, J. P.; Sifakis, J. |
|
1983
|
Tableau-based model checking in the propositional mu-calculus. Zbl 0676.03033
Cleaveland, Rance |
|
1990
|
\(M/M/1\) retrial queue with working vacations. Zbl 1185.90046
Do, Tien Van |
|
2010
|
Describing an algorithm by Hopcroft. Zbl 0242.94042
Gries, David |
|
1973
|
The analysis of Quicksort programs. Zbl 0325.68016
Sedgewick, Robert |
|
1977
|
Randomized and deterministic simulations of PRAMs by parallel machines with restricted granularity of parallel memories. Zbl 0548.68044
Mehlhorn, Kurt; Vishkin, Uzi |
|
1984
|
Top-down syntax nalysis. Zbl 0233.68022
Knuth, Donald E. |
|
1971
|
Strategy synthesis for multi-dimensional quantitative objectives. Zbl 1360.68208
Chatterjee, Krishnendu; Randour, Mickael; Raskin, Jean-François |
|
2014
|
The network complexity and the Turing machine complexity of finite functions. Zbl 0338.02019
Schnorr, C. P. |
|
1976
|
Efficient worst-case data structures for range searching. Zbl 0423.68029
Bentley, Jon Louis; Maurer, H. A. |
|
1980
|
Special factors, periodicity, and an application to Sturmian words. Zbl 0956.68119
Carpi, Arturo; de Luca, Aldo |
|
2000
|
A calculus of refinements for program derivations. Zbl 0658.68018
Back, R. J. R. |
|
1988
|
Distance measures for point sets and their computation. Zbl 0865.51011
Eiter, Thomas; Mannila, Heikki |
|
1997
|
Minimum feedback vertex sets in cocomparability graphs and complex bipartite graphs. Zbl 0865.68086
Liang, Y. Daniel; Chang, Maw-Shang |
|
1997
|
Networks of evolutionary processors. Zbl 1060.68046
Castellanos, Juan; Martín-Vide, Carlos; Mitrana, Victor; Sempere, José M. |
|
2003
|
Trading polarizations for labels in P systems with active membranes. Zbl 1101.68028
Alhazov, Artiom; Pan, Linqiang; Păun, Gheorghe |
|
2004
|
Consistent and complementary formal theories of the semantics of programming languages. Zbl 0264.68006
Hoare, C. A. R.; Lauer, P. E. |
|
1974
|
Amounts of nondeterminism in finite automata. Zbl 0423.68016
Kintala, Chandra M. R.; Wotschke, Detlef |
|
1980
|
Lower bounds for on-line two-dimensional packing algorithms. Zbl 0493.68042
Brown, Donna J.; Baker, Brenda S.; Katseff, Howard P. |
|
1982
|
The average number of registers needed to evaluate a binary tree optimally. Zbl 0395.68059
Kemp, R. |
|
1979
|
Verification of population protocols. Zbl 1364.68081
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak |
|
2017
|
Toward formal development of programs from algebraic specifications: Parameterisation revisited. Zbl 0790.68077
Sannella, Donald; Sokołowski, Stefan; Tarlecki, Andrzej |
|
1992
|
Persistence of vector replacement systems is decidable. Zbl 0454.68048
Mayr, Ernst |
|
1981
|
Systolic automata for VLSI on balanced trees. Zbl 0493.68054
Culik, Karel II; Gruska, J.; Salomaa, A. |
|
1983
|
The residue of vector sets with applications to decidability problems in Petri nets. Zbl 0545.68051
Valk, Rudiger; Jantzen, Matthias |
|
1985
|
Drawing plane graphs nicely. Zbl 0545.68057
Chiba, Norishige; Onoguchi, Kazunori; Nishizeki, Takao |
|
1985
|
Development systems with locally catenative formulas. Zbl 0304.68076
Rozenberg, G.; Lindenmayer, A. |
|
1973
|
Axiomatizing the algebra of net computations and processes. Zbl 0849.68087
Degano, Pierpaolo; Meseguer, José; Montanari, Ugo |
|
1996
|
Timing and causality in process algebra. Zbl 0858.68036
Aceto, Luca; Murphy, David |
|
1996
|
Membrane systems with promoters/inhibitors. Zbl 1034.68038
Bottoni, Paolo; Martín-Vide, Carlos; Păun, Gheorghe; Rozenberg, Grzegorz |
|
2002
|
Approximate analysis of exponential queueing systems with blocking. Zbl 0442.60091
Boxma, Onno J.; Konheim, Alan G. |
|
1981
|
Exact distributed quantum algorithm for generalized Simon’s problem. Zbl 07850614
Li, Hao; Qiu, Daowen; Luo, Le; Mateus, Paulo |
|
2024
|
Constrained polynomial zonotopes. Zbl 07727460
Kochdumper, Niklas; Althoff, Matthias |
|
2023
|
Minimum status of trees with a given degree sequence. Zbl 1508.05151
Guo, Haiyan; Zhou, Bo |
|
2023
|
Pushdown automata and constant height: decidability and bounds. Zbl 07686409
Pighizzini, Giovanni; Prigioniero, Luca |
|
2023
|
Toward a theory of program repair. Zbl 07727458
Khaireddine, Besma; Zakharchenko, Aleksandr; Martinez, Matias; Mili, Ali |
|
2023
|
A jumping \(5'\rightarrow 3'\) Watson-Crick finite automata model. Zbl 07592343
Kocman, Radim; Křivka, Zbyněk; Meduna, Alexander; Nagy, Benedek |
|
2022
|
An automated system repair framework with signal temporal logic. Zbl 07528109
Ergurtuna, Mert; Yalcinkaya, Beyazit; Aydin Gol, Ebru |
|
2022
|
Operational complexity and pumping lemmas. Zbl 07578090
Dassow, Jürgen; Jecker, Ismaël |
|
2022
|
Proportional lumpability and proportional bisimilarity. Zbl 07528110
Marin, Andrea; Piazza, Carla; Rossi, Sabina |
|
2022
|
On Huang and Wong’s algorithm for generalized binary split trees. Zbl 07605996
Chrobak, Marek; Golin, Mordecai; Munro, J. Ian; Young, Neal E. |
|
2022
|
Index appearance record with preorders. Zbl 07592344
Křetínský, Jan; Meggendorfer, Tobias; Waldmann, Clara; Weininger, Maximilian |
|
2022
|
Sound reasoning in tock-CSP. Zbl 1483.68223
Baxter, James; Ribeiro, Pedro; Cavalcanti, Ana |
|
2022
|
Exploration of \(k\)-edge-deficient temporal graphs. Zbl 07578092
Erlebach, Thomas; Spooner, Jakob T. |
|
2022
|
Lamplighter groups and automata. Zbl 1517.20055
Jain, Sanjay; Moldagaliyev, Birzhan; Stephan, Frank; Tien Dat Tran |
|
2022
|
Interface automata for shared memory. Zbl 07592342
Schinko, Ayleen; Vogler, Walter; Gareis, Johannes; N. Tri Nguyen; Lüttgen, Gerald |
|
2022
|
Static versus dynamic reversibility in CCS. Zbl 1475.68126
Lanese, Ivan; Medić, Doriana; Mezzina, Claudio Antares |
|
2021
|
On deterministic sensing \(5'\rightarrow 3'\) Watson-Crick finite automata: a full hierarchy in 2detLIN. Zbl 1487.68152
Nagy, Benedek; Parchami, Shaghayegh |
|
2021
|
Team bisimilarity, and its associated modal logic, for BPP nets. Zbl 1497.68339
Gorrieri, Roberto |
|
2021
|
Equilibria for games with combined qualitative and quantitative objectives. Zbl 1483.68193
Gutierrez, Julian; Murano, Aniello; Perelli, Giuseppe; Rubin, Sasha; Steeples, Thomas; Wooldridge, Michael |
|
2021
|
Operational complexity and right linear grammars. Zbl 1522.68262
Dassow, Jürgen |
|
2021
|
The descriptional power of queue automata of constant length. Zbl 1520.68058
Jakobi, Sebastian; Meckel, Katja; Mereghetti, Carlo; Palano, Beatrice |
|
2021
|
On the size of partial derivatives and the word membership problem. Zbl 1520.68060
Konstantinidis, Stavros; Machiavelo, António; Moreira, Nelma; Reis, Rogério |
|
2021
|
Aggregation-based minimization of finite state automata. Zbl 1490.68125
Björklund, Johanna; Cleophas, Loek |
|
2021
|
Complement for two-way alternating automata. Zbl 1528.68184
Geffert, Viliam; Kapoutsis, Christos A.; Zakzok, Mohammad |
|
2021
|
Measuring the constrained reachability in quantum Markov chains. Zbl 1483.68140
Xu, Ming; Huang, Cheng-Chao; Feng, Yuan |
|
2021
|
Reversible parallel communicating finite automata systems. Zbl 1520.68053
Bordihn, Henning; Vaszil, György |
|
2021
|
Indecision and delays are the parents of failure – taming them algorithmically by synthesizing delay-resilient control. Zbl 1528.68214
Chen, Mingshuai; Fränzle, Martin; Li, Yangjia; Mosaad, Peter N.; Zhan, Naijun |
|
2021
|
Practical synthesis of reactive systems from LTL specifications via parity games. Zbl 1435.68200
Luttenberger, Michael; Meyer, Philipp J.; Sickert, Salomon |
|
2020
|
Coupled similarity: the first 32 years. Zbl 1476.68166
Bisping, Benjamin; Nestmann, Uwe; Peters, Kirstin |
|
2020
|
Synthesizing optimally resilient controllers. Zbl 1435.68066
Neider, Daniel; Weinert, Alexander; Zimmermann, Martin |
|
2020
|
Off-the-shelf automated analysis of liveness properties for just paths. Zbl 1443.68109
Bouwman, Mark; Luttik, Bas; Willemse, Tim |
|
2020
|
Synthesis from hyperproperties. Zbl 1435.68194
Finkbeiner, Bernd; Hahn, Christopher; Lukert, Philip; Stenger, Marvin; Tentrup, Leander |
|
2020
|
Performance heuristics for GR(1) synthesis and related algorithms. Zbl 1435.68195
Firman, Elizabeth; Maoz, Shahar; Ringert, Jan Oliver |
|
2020
|
A symbolic algorithm for lazy synthesis of eager strategies. Zbl 1435.68198
Jacobs, Swen; Sakr, Mouhammad |
|
2020
|
Reactive synthesis with maximum realizability of linear temporal logic specifications. Zbl 1435.68193
Dimitrova, Rayna; Ghasemi, Mahsa; Topcu, Ufuk |
|
2020
|
Automated formal synthesis of provably safe digital controllers for continuous plants. Zbl 1441.93171
Abate, Alessandro; Bessa, Iury; Cordeiro, Lucas; David, Cristina; Kesseli, Pascal; Kroening, Daniel; Polgreen, Elizabeth |
|
2020
|
Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions. Zbl 1441.93131
Girard, Antoine; Gössler, Gregor |
|
2020
|
Congruence from the operator’s point of view. Syntactic requirements on modal characterizations. Zbl 1443.68111
Gazda, Maciej; Fokkink, Wan; Massaro, Vittorio |
|
2020
|
Solving high-level Petri games. Zbl 1443.68112
Gieseking, Manuel; Olderog, Ernst-Rüdiger; Würdemann, Nick |
|
2020
|
Characteristic invariants in Hennessy-Milner logic. Zbl 1443.68113
Jasper, Marc; Schlüter, Maximilian; Steffen, Bernhard |
|
2020
|
Translating between models of concurrency. Zbl 1465.68181
Mestel, David; Roscoe, A. W. |
|
2020
|
SMT-based generation of symbolic automata. Zbl 1443.68114
Qin, Xudong; Bliudze, Simon; Madelaine, Eric; Hou, Zechen; Deng, Yuxin; Zhang, Min |
|
2020
|
My time with Rob. Zbl 1443.68011
Pratt, Vaughan |
|
2020
|
Out for coffee: with Rob. Zbl 1443.68008
Fehnker, Ansgar |
|
2020
|
Arithmetical datatypes with true fractions. Zbl 1448.68323
Bergstra, Jan A.; Ponse, Alban |
|
2020
|
A linear-time branching-time perspective on interface automata. Zbl 1443.68099
Vogler, Walter; Lüttgen, Gerald |
|
2020
|
Reversible sessions with flexible choices. Zbl 1462.68121
Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola |
|
2019
|
On the hardness of analyzing probabilistic programs. Zbl 1417.68054
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph |
|
2019
|
On path-controlled insertion-deletion systems. Zbl 1410.68188
Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi |
|
2019
|
On the decidability of the existence of polyhedral invariants in transition systems. Zbl 1421.68097
Monniaux, David |
|
2019
|
Parikh matrices for powers of words. Zbl 1423.68364
Atanasiu, Adrian; Poovanandran, Ghajendran; Teh, Wen Chean |
|
2019
|
Petri nets are dioids: a new algebraic foundation for non-deterministic net theory. Zbl 1417.68114
Baldan, Paolo; Gadducci, Fabio |
|
2019
|
The model checking fingerprints of CTL operators. Zbl 1423.68288
Krebs, Andreas; Meier, Arne; Mundhenk, Martin |
|
2019
|
Structural liveness of Petri nets is ExpSpace-hard and decidable. Zbl 1425.68296
Jančar, Petr; Purser, David |
|
2019
|
Using contracted solution graphs for solving reconfiguration problems. Zbl 1431.90161
Bonsma, Paul; Paulusma, Daniël |
|
2019
|
A generalised theory of interface automata, component compatibility and error. Zbl 1421.68093
Fendrich, Sascha; Lüttgen, Gerald |
|
2019
|
Negotiation as concurrency primitive. Zbl 1422.68168
Desel, Jörg; Esparza, Javier; Hoffmann, Philipp |
|
2019
|
Nested antichains for WS1S. Zbl 1417.68182
Fiedor, Tomáš; Holík, Lukáš; Lengál, Ondřej; Vojnar, Tomáš |
|
2019
|
Associative composition of components with double-sided interfaces. Zbl 1431.68081
Reisig, Wolfgang |
|
2019
|
Equivalence checking of Petri net models of programs using static and dynamic cut-points. Zbl 1430.68159
Bandyopadhyay, Soumyadip; Sarkar, Dipankar; Mandal, Chittaranjan |
|
2019
|
Red-black trees with constant update time. Zbl 1423.68124
Elmasry, Amr; Kahla, Mostafa; Ahdy, Fady; Hashem, Mahmoud |
|
2019
|
Weighted iterated linear control. Zbl 1423.68231
Fülöp, Zoltán; Vogler, Heiko |
|
2019
|
Average-energy games. Zbl 1390.68115
Bouyer, Patricia; Markey, Nicolas; Randour, Mickael; Larsen, Kim G.; Laursen, Simon |
|
2018
|
Generalized contexts for reaction systems: definition and study of dynamic causalities. Zbl 1390.68301
Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo |
|
2018
|
Bounded choice-free Petri net synthesis: algorithmic issues. Zbl 1400.68131
Best, Eike; Devillers, Raymond; Schlachter, Uli |
|
2018
|
Algorithms for monitoring real-time properties. Zbl 1395.68185
Basin, David; Klaedtke, Felix; Zălinescu, Eugen |
|
2018
|
Sparsification and subexponential approximation. Zbl 1408.68068
Bonnet, Édouard; Paschos, Vangelis Th. |
|
2018
|
Factorisation of transition systems. Zbl 1395.68196
Devillers, Raymond |
|
2018
|
Parameterized linear temporal logics meet costs: still not costlier than LTL. Zbl 1390.68445
Zimmermann, Martin |
|
2018
|
Replication, refinement & reachability: complexity in dynamic condition-response graphs. Zbl 1398.68094
Debois, Søren; Hildebrandt, Thomas T.; Slaats, Tijs |
|
2018
|
Looking at mean payoff through foggy windows. Zbl 1408.91045
Hunter, Paul; Pérez, Guillermo A.; Raskin, Jean-François |
|
2018
|
Probabilistic bisimulation for realistic schedulers. Zbl 1398.68374
Zhang, Lijun; Yang, Pengfei; Song, Lei; Hermanns, Holger; Eisentraut, Christian; Jansen, David N.; Godskesen, Jens Chr. |
|
2018
|
The complexity of counting models of linear-time temporal logic. Zbl 1390.68441
Torfah, Hazem; Zimmermann, Martin |
|
2018
|
Descending chains and narrowing on template abstract domains. Zbl 1398.68090
Amato, Gianluca; Di Nardo Di Maio, Simone; Meo, Maria Chiara; Scozzari, Francesca |
|
2018
|
Event algebra for transition systems composition application to timed automata. Zbl 1398.68340
Fares, Elie; Bodeveix, Jean-Paul; Filali, Mamoun |
|
2018
|
Hierarchical information and the synthesis of distributed strategies. Zbl 1408.91004
Berwanger, Dietmar; Mathew, Anup Basil; van den Bogaard, Marie |
|
2018
|
Spanning the spectrum from safety to liveness. Zbl 1408.68096
Faran, Rachel; Kupferman, Orna |
|
2018
|
An analysis of the \(M^X/M/1\) queue with multiple working vacations by \(GI/M/1\) type Markov process. Zbl 1404.60142
Zhang, Hongbo |
|
2018
|
Reachability analysis of reversal-bounded automata on series-parallel graphs. Zbl 1390.68385
Dimitrova, Rayna; Majumdar, Rupak |
|
2018
|
Fast deterministic parsers for transition networks. Zbl 1400.68093
Borsotti, Angelo; Breveglieri, Luca; Crespi Reghizzi, Stefano; Morzenti, Angelo |
|
2018
|
Parity game reductions. Zbl 1398.68337
Cranen, Sjoerd; Keiren, Jeroen J. A.; Willemse, Tim A. C. |
|
2018
|
A first step in characterizing three-element codes. Zbl 1398.68351
Chunhua, Cao; Qing, Lu; Di, Yang |
|
2018
|
Verification of population protocols. Zbl 1364.68081
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak |
|
2017
|
A general account of coinduction up-to. Zbl 1371.68186
Bonchi, Filippo; Petrişan, Daniela; Pous, Damien; Rot, Jurriaan |
|
2017
|
Assume-admissible synthesis. Zbl 1362.68202
Brenguier, Romain; Raskin, Jean-François; Sankur, Ocan |
|
2017
|
Precise parameter synthesis for stochastic biochemical systems. Zbl 1373.92038
Češka, Milan; Dannenberg, Frits; Paoletti, Nicola; Kwiatkowska, Marta; Brim, Luboš |
|
2017
|
A theory of formal synthesis via inductive learning. Zbl 1380.68124
Jha, Susmit; Seshia, Sanjit A. |
|
2017
|
Stateless model checking for TSO and PSO. Zbl 1380.68265
Abdulla, Parosh Aziz; Aronis, Stavros; Atig, Mohamed Faouzi; Jonsson, Bengt; Leonardsson, Carl; Sagonas, Konstantinos |
|
2017
|
On the relations between Markov chain lumpability and reversibility. Zbl 1398.60085
Marin, A.; Rossi, S. |
|
2017
|
Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games. Zbl 1362.68203
Brihaye, Thomas; Geeraerts, Gilles; Haddad, Axel; Monmege, Benjamin |
|
2017
|
Efficiently solving the bin packing problem through bio-inspired mobility. Zbl 1371.68079
Aman, Bogdan; Ciobanu, Gabriel |
|
2017
|
Multiparty session types as coherence proofs. Zbl 1371.68049
Carbone, Marco; Montesi, Fabrizio; Schürmann, Carsten; Yoshida, Nobuko |
|
2017
|
Dynamic Bayesian networks for formal verification of structured stochastic processes. Zbl 1364.68262
Esmaeil Zadeh Soudjani, Sadegh; Abate, Alessandro; Majumdar, Rupak |
|
2017
|
Efficient and secure attribute-based signature for monotone predicates. Zbl 1377.94050
Gu, Ke; Jia, Weijia; Wang, Guojun; Wen, Sheng |
|
2017
|
Reactive synthesis without regret. Zbl 1364.68263
Hunter, Paul; Pérez, Guillermo A.; Raskin, Jean-François |
|
2017
|
Characteristic bisimulation for higher-order session processes. Zbl 1380.68297
Kouzapas, Dimitrios; Pérez, Jorge A.; Yoshida, Nobuko |
|
2017
|
Signature-free asynchronous Byzantine systems: from multivalued to binary consensus with \(t<n/3\), \(O(n^2)\) messages, and constant time. Zbl 1378.68019
Mostéfaoui, Achour; Raynal, Michel |
|
2017
|
Reversible Watson-Crick automata. Zbl 1378.68102
Chatterjee, Kingshuk; Ray, Kumar Sankar |
|
2017
|
Safraless LTL synthesis considering maximal realizability. Zbl 1380.68285
Tomita, Takashi; Ueno, Atsushi; Shimakawa, Masaya; Hagihara, Shigeki; Yonezaki, Naoki |
|
2017
|
Approximate counting in SMT and value estimation for probabilistic programs. Zbl 1380.68117
Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak |
|
2017
|
...and 1132 more Documents |