@article{Pardini-Barbuti-Maggiolo-Schettini-Milazzo-Tini/14,
AUTHOR = {Pardini, Giovanni and Barbuti, Roberto and Maggiolo-Schettini, Andrea and Milazzo, Paolo and Tini, Simone},
TITLE = {Compositional semantics and behavioural equivalences for reaction systems with restriction},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {551},
PAGES = {1-21},
YEAR = {2014},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {reaction systems, reaction algebra, structural operational semantics, behavioural equivalences, congruence},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397514002898},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Chattopadhyay-Murthy-Pal/14,
AUTHOR = {Chattopadhyay, Swarup and Murthy, C.A. and Pal, Sankar K.},
TITLE = {Fitting truncated geometric distributions in large scale real world networks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {551},
PAGES = {22-38},
YEAR = {2014},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {social networks, natural computing, power-law distributions, heavy-tailed distributions, maximum likelihood, truncated geometric distribution},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397514003521},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Maroosi-Muniyandi/14,
AUTHOR = {Maroosi, Ali and Muniyandi, Ravie Chandren},
TITLE = {Accelerated execution of P systems with active membranes to solve the $N$-queens problem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {551},
PAGES = {39-54},
YEAR = {2014},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {active membrane systems, membrane computing, local search, multi-core processing, n-queens problem},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397514003533},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Si-An-Lan-Ussmuller-Wang-Wu/14,
AUTHOR = {Si, Chengyong and An, Jing and Lan, Tian and U{\ss}m{\"u}ller, Thomas and Wang, Lei and Wu, Qidi},
TITLE = {On the equality constraints tolerance of Constrained Optimization Problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {551},
PAGES = {55-65},
YEAR = {2014},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {constrained optimization, constraint handling techniques, equality constraints tolerance, particle swarm optimization, ranking methods},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397514003867},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Lassig-Sudholt/14,
AUTHOR = {L{\"a}ssig, J{\"o}rg and Sudholt, Dirk},
TITLE = {Analysis of speedups in parallel evolutionary algorithms and $(1+\lambda)$ EAs for combinatorial optimization},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {551},
PAGES = {66-83},
YEAR = {2014},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {parallel evolutionary algorithms, combinatorial optimization, island model, spatial structures, offspring populations, runtime analysis},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397514004976},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bonet-Haslum-Khomenko-Thiebaux-Vogler/14,
AUTHOR = {Bonet, Blai and Haslum, Patrik and Khomenko, Victor and Thi{\'e}baux, Sylvie and Vogler, Walter},
TITLE = {Recent advances in unfolding technique},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {551},
PAGES = {84-101},
YEAR = {2014},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {adequate order, unfolding prefix, petri net, well-foundedness, concurrency},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397514005209},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bianchi-Mereghetti-Palano/14,
AUTHOR = {Bianchi, Maria Paola and Mereghetti, Carlo and Palano, Beatrice},
TITLE = {Size lower bounds for quantum automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {551},
PAGES = {102-115},
YEAR = {2014},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {quantum finite automata, descriptional complexity},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397514005210},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Mondal-Ghosh/14,
AUTHOR = {Mondal, Nabarun and Ghosh, Partha Pratim},
TITLE = {Universal computation is ``almost surely'' chaotic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {551},
PAGES = {116-131},
YEAR = {2014},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {turing machines, universal computation, chaos, metric space, measure space, with probability one, aleph numbers},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397514005222},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}