| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Christian Stahl, Walter Vogler |
A trace-based service semantics guaranteeing deadlock freedom.  |
Acta Inf.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Junhu Wang, Jeffrey Xu Yu, Chaoyi Pang, Chengfei Liu |
Least common container of tree pattern queries and its applications. |
Acta Inf. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Aivars Lorencs |
The identity problem of finitely generated bi-ideals. |
Acta Inf. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Instruction sequence processing operators. |
Acta Inf. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunhe Wang, Li Jiao |
Using transition set sequences to partition behaviors of petri nets. |
Acta Inf. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Lescanne, Matthieu Perrinel |
"Backward" coinduction, Nash equilibrium and the rationality of escalation. |
Acta Inf. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Meduna, Petr Zemek |
Nonterminal complexity of one-sided random context grammars. |
Acta Inf. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Francine Blanchet-Sadri, Robert Mercas, Sean Simmons, Eric Weissenstein |
Erratum to: Avoidable binary patterns in partial words. |
Acta Inf. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Symeon Bozapalidis, Zoltán Fülöp, George Rahonis |
Equational weighted tree transformations. |
Acta Inf. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward G. Coffman Jr., Dariusz Dereniowski, Wieslaw Kubiak |
An efficient algorithm for finding ideal schedules. |
Acta Inf. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus N. Rabe, Sven Schewe |
Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games. |
Acta Inf. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sándor Vágvölgyi |
CHAP and rewrite components. |
Acta Inf. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Ignacio Perna, Jim Woodcock, Augusto Sampaio, Juliano Iyoda |
Correct hardware synthesis - An algebraic approach. |
Acta Inf. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Amit Chakrabarti, Venkatesan Guruswami, Andrew Wirth, Anthony Wirth |
The query complexity of estimating weighted averages. |
Acta Inf. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Artem Polyvyanyy, Matthias Weidlich, Mathias Weske |
Connectivity of workflow nets: the foundations of stepwise verification. |
Acta Inf. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pál Dömösi, György Maróti |
On α 2 - ν 2-products of automata. |
Acta Inf. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zheng-Zhu Li, Y. S. Tsai |
Some properties of the disjunctive languages contained in Q. |
Acta Inf. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daowen Qiu, Lvzhou Li, Xiangfu Zou, Paulo Mateus, Jozef Gruska |
Multi-letter quantum finite automata: decidability of the equivalence and minimization of states. |
Acta Inf. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Drewes, Johanna Högberg, Andreas Maletti |
MAT learners for tree series: an abstract data type and two realizations. |
Acta Inf. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Md. Enamul Kabir, Hua Wang, Elisa Bertino |
Efficient systematic clustering method for k-anonymization. |
Acta Inf. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex A. Aravind, Wim H. Hesselink |
Nonatomic dual bakery algorithm with bounded tokens. |
Acta Inf. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti, Marie-Claude Gaudel |
Testing for refinement in Circus. |
Acta Inf. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Mitrana, Cristina Tîrnauca |
New bounds for the query complexity of an algorithm that learns DFAs with correction and equivalence queries. |
Acta Inf. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Seidel, Janis Voigtländer |
Refined typing to localize the impact of forced strictness on free theorems. |
Acta Inf. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Aman, Gabriel Ciobanu |
Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systems. |
Acta Inf. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juha Honkala |
A characterization of rational D0L power series. |
Acta Inf. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Francine Blanchet-Sadri, Robert Mercas, Sean Simmons, Eric Weissenstein |
Avoidable binary patterns in partial words. |
Acta Inf. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Meduna, Petr Zemek |
One-sided random context grammars. |
Acta Inf. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tien Van Do, Ram Chakka, Nam H. Do, László Pap |
A Markovian queue with varying number of servers and applications to the performance comparison of HSDPA user equipment. |
Acta Inf. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cheng-Chi Huang |
A note on pure codes. |
Acta Inf. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dorit S. Hochbaum, Asaf Levin |
How to allocate review tasks for robust ranking. |
Acta Inf. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chen-Ming Fan, Cheng-Chih Huang |
A note on prefix primitive words. |
Acta Inf. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Remco Loos, Florin Manea, Victor Mitrana |
Small universal accepting hybrid networks of evolutionary processors. |
Acta Inf. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina |
Reachability results for timed automata with unbounded data structures. |
Acta Inf. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shlomi Dolev, Nir Tzachar |
Randomization adaptive self-stabilization. |
Acta Inf. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ehsan Khamespanah, Ali Movaghar |
Symmetry and partial order reduction techniques in model checking Rebeca. |
Acta Inf. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rudolf Berghammer, Michael Winter |
Embedding mappings and splittings with applications. |
Acta Inf. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tien Van Do |
M/M/1 retrial queue with working vacations. |
Acta Inf. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Kutrib, Hartmut Messerschmidt, Friedrich Otto |
On stateless deterministic restarting automata. |
Acta Inf. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Dax, Felix Klaedtke, Martin Lange |
On regular temporal logics with past. |
Acta Inf. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Habermehl, Radu Iosif, Tomás Vojnar |
Automata-based verification of programs with tree updates. |
Acta Inf. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ik-Soon Kim, Kwangkeun Yi |
LR error repair using the A* algorithm. |
Acta Inf. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chen-Ming Fan, Cheng-Chih Huang, Huei-Jan Shyr, Kuo-Hsiang Chen |
A note on autodense related languages. |
Acta Inf. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingsheng Ying, Yuan Feng |
Quantum loop programs. |
Acta Inf. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Leah Epstein |
Equilibria for two parallel links: the strong price of anarchy versus the price of anarchy. |
Acta Inf. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joan Boyar, Martin R. Ehmsen, Jens S. Kohrt, Kim S. Larsen |
A theoretical comparison of LRU and LRU-K. |
Acta Inf. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi |
Lifting non-finite axiomatizability results to extensions of process algebras. |
Acta Inf. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Merro |
On the observational theory of the CPS-calculus. |
Acta Inf. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Machine structure oriented control code logic. |
Acta Inf. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir M. Ben-Amram |
A complexity tradeoff in ranking-function termination proofs. |
Acta Inf. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Subramani, Hong-Jian Lai, Xiaofeng Gu |
Random walks for selected boolean implication and equivalence problems. |
Acta Inf. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | José Enrique Armendáriz-Iñigo, José Ramón González de Mendívil, José Ramón Garitagoitia, Francesc D. Muñoz-Escoí |
Correctness proof of a database replication protocol under the perspective of the I/O automaton model. |
Acta Inf. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bozzelli, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek |
On decidability of LTL model checking for process rewrite systems. |
Acta Inf. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex A. Aravind, Wim H. Hesselink |
A queue based mutual exclusion algorithm. |
Acta Inf. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cezar Câmpeanu, Nicolae Santean |
On the closure of pattern expressions languages under intersection with regular languages. |
Acta Inf. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | John Aycock, Angelo Borsotti |
Early action in an Earley parser. |
Acta Inf. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Sergiu Rudeanu |
Final and sequential behaviours of M-automata. |
Acta Inf. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Bresolin, Angelo Montanari, Gabriele Puppis |
A theory of ultimately periodic languages and automata with an application to time granularity. |
Acta Inf. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Md. Sumon Shahriar, Jixue Liu |
Preserving key in XML data transformation. |
Acta Inf. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zdenek Sawa, Petr Jancar |
Hardness of equivalence checking for composed finite-state systems. |
Acta Inf. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Janousek, Borivoj Melichar |
On regular tree languages and deterministic pushdown automata. |
Acta Inf. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Maria Rita Di Berardini, Walter Vogler |
Liveness of a mutex algorithm in a fair process algebra. |
Acta Inf. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Eike Best, Philippe Darondeau |
A decomposition theorem for finite persistent transition systems. |
Acta Inf. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Meyer |
A theory of structural stationarity in the pi -Calculus. |
Acta Inf. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamilla Klonowska, Lars Lundberg, Håkan Lennerstad |
The maximum gain of increasing the number of preemptions in multiprocessor scheduling. |
Acta Inf. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Zuliani |
Reasoning about faulty quantum programs. |
Acta Inf. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Khomenko, Mark Schäfer, Walter Vogler, Ralf Wollowski |
STG decomposition strategies in combination with unfolding. |
Acta Inf. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rza Bashirov, Fabrice Kordon, Hüseyin Lort |
Exploiting colored Petri nets to decide on permutation admissibility. |
Acta Inf. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Engelfriet, Eric Lilin, Andreas Maletti |
Extended multi bottom-up tree transducers. |
Acta Inf. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Argimiro Arratia Quesada, Iain A. Stewart |
On the power of deep pushdown stacks. |
Acta Inf. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Arturo Carpi, Flavio D'Alessandro |
Strongly transitive automata and the Cerný conjecture. |
Acta Inf. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vince Bárány |
Semi-synchronous transductions. |
Acta Inf. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Engelfriet |
The time complexity of typechecking tree-walking tree transducers. |
Acta Inf. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Achim D. Brucker, Burkhart Wolff |
Semantics, calculi, and analysis for object-oriented specifications. |
Acta Inf. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Meduna, Jirí Techet |
Scattered context grammars that erase nonterminals in a generalized k -limited way. |
Acta Inf. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Larissa Meinicke, Ian J. Hayes |
Algebraic reasoning for probabilistic action systems and while-loops. |
Acta Inf. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Amr Elmasry, Michael L. Fredman |
Adaptive sorting: an information theoretic perspective. |
Acta Inf. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Link |
Charting the completeness frontier of inference systems for multivalued dependencies. |
Acta Inf. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Iwona Cieslik |
On-line graph coloring of P5-free graphs. |
Acta Inf. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki |
Relational structures model of concurrency. |
Acta Inf. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferruccio Damiani, Elena Giachino, Paola Giannini, Sophia Drossopoulou |
A type safe state abstraction for coordination in Java -like languages. |
Acta Inf. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Broutin, Luc Devroye, Erin McLeish |
Weighted height of random trees. |
Acta Inf. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Magnani, Danilo Montesi |
Management of interval probabilistic data. |
Acta Inf. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Brijder, Hendrik Jan Hoogeboom |
The fibers and range of reduction graphs in ciliates. |
Acta Inf. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Symeon Bozapalidis |
Picture deformation. |
Acta Inf. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanna Klaudel, Franck Pommereau |
M-nets: a survey. |
Acta Inf. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Kutrib, Andreas Malcher, Detlef Wotschke |
The Boolean closure of linear context-free languages. |
Acta Inf. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rudolf Berghammer |
Applying relation algebra and Rel View to solve problems on orders and lattices. |
Acta Inf. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Chen-Ming Fan, Cheng-Chih Huang, Huei-Jan Shyr |
Regular autodense languages. |
Acta Inf. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenhua Duan, Cong Tian, Li Zhang |
A decision procedure for propositional projection temporal logic with infinite models. |
Acta Inf. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Benny Godlin, Ofer Strichman |
Inference rules for proving the equivalence of recursive procedures. |
Acta Inf. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Antonín Kucera, Oldrich Strazovský |
Deciding probabilistic bisimilarity over infinite-state probabilistic systems. |
Acta Inf. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Amr Elmasry, Claus Jensen, Jyrki Katajainen |
Two-tier relaxed heaps. |
Acta Inf. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph M. Morris, Malcolm Tyrrell |
Modelling higher-order dual nondeterminacy. |
Acta Inf. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Leah Epstein, Asaf Levin, Rob van Stee |
Two-dimensional packing with conflicts. |
Acta Inf. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Naomi Nishimura, Prabhakar Ragde, Stefan Szeider |
Solving #SAT using vertex covers. |
Acta Inf. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Bernini, Elisabetta Grazzini, Elisa Pergola, Renzo Pinzani |
A general exhaustive generation algorithm for Gray structures. |
Acta Inf. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tian-Shyr Dai, Yuh-Dauh Lyuu |
An exact subexponential-time lattice algorithm for Asian options. |
Acta Inf. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Millist W. Vincent, Jixue Liu, Mukesh K. Mohania |
On the equivalence between FDs in XML and FDs in relations. |
Acta Inf. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachele Fuzzati, Massimo Merro, Uwe Nestmann |
Distributed Consensus, revisited. |
Acta Inf. |
2007 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")