Remember Me
Or use your Academic/Social account:


Or use your Academic/Social account:


You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.


Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message


Verify Password:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
IST PubRep
Institutional Repository
660 Publications
OpenAIRE 2.0+ (DRIVER OA, EC funding)
More information
Detailed data provider information (OpenDOAR)


  • Alternating weighted automata

    Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A (2009)
    Weighted automata are finite automata with numerical weights on transitions. Nondeterministic weighted automata define quantitative languages L that assign to each word w a real number L(w) computed as the maximal value of all runs over w, and the value of a run r is a function of the sequence of weights that appear along r. There are several natural functions to consider such as Sup, LimSup, LimInf, limit average, and discounted sum of transition weights. We introduce alternating weighted...

    Replacing Competition with Cooperation to Achieve Scalable Lock-Free FIFO Queues

    Henzinger, Thomas A; Payer, Hannes; Sezgin, Ali (2013)
    Projects: EC | QUAREM (267989)
    In order to guarantee that each method of a data structure updates the logical state exactly once, almost all non-blocking implementations employ Compare-And-Swap (CAS) based synchronization. For FIFO queue implementations this translates into concurrent enqueue or dequeue methods competing among themselves to update the same variable, the tail or the head, respectively, leading to high contention and poor scalability. Recent non-blocking queue implementations try to alleviate high contention...

    PATELLINS are regulators of auxin mediated PIN1 relocation and plant development in Arabidopsis thaliana

    Tejos, Ricardo; Rodríguez-Furlán, Cecilia; Adamowski, Maciej; Sauer, Michael; Norambuena, Lorena; Friml, Jiří (2017)
    Embargo end date: 2018/08/03
    Coordinated cell polarization in developing tissues is a recurrent theme in multicellular organisms. In plants, a directional distribution of the plant hormone auxin is at the core of many developmental programs. A feedback regulation of auxin on the polarized localization of PIN auxin transporters in individual cells has been proposed as a self-organizing mechanism for coordinated tissue polarization, but the molecular mechanisms linking auxin signalling to PIN-dependent auxin transport rema...

    Static scheduling in clouds

    Henzinger, Thomas A; Singh, Anmol V; Singh, Vasu; Wies, Thomas; Zufferey, Damien (2011)
    Cloud computing aims to give users virtually unlimited pay-per-use computing resources without the burden of managing the underlying infrastructure. We present a new job execution environment Flextic that exploits scal- able static scheduling techniques to provide the user with a flexible pricing model, such as a tradeoff between dif- ferent degrees of execution speed and execution price, and at the same time, reduce scheduling overhead for the cloud provider. We have evaluated a prototype of...

    What is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives

    Chatterjee, Krishnendu; Chmelík, Martin; Mathieu, Tracol (2013)
    We consider partially observable Markov decision processes (POMDPs) with ω-regular conditions specified as parity objectives. The class of ω-regular languages extends regular languages to infinite strings and provides a robust specification language to express all properties used in verification, and parity objectives are canonical forms to express ω-regular conditions. The qualitative analysis problem given a POMDP and a parity objective asks whether there is a strategy to ensure that the ob...
  • No data provider research data found
  • Latest Documents Timeline

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    Document Types

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    Funders in data provider publications

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    Projects with most Publications

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

Share - Bookmark