EPrints - PDFSEARCH.IO - Document Search Engine

EPrints
Results: 5268

#	Item
191	Model and Objective Separation with Conditional Lower Bounds: Disjunction is Harder than Conjunction Krishnendu Chatterjee1 , Wolfgang Dvořák2 , Monika Henzinger2 , and Veronika Loitzenbauer2 1 Add to Reading List Source URL: eprints.cs.univie.ac.at - Date: 2016-06-03 14:17:40
192	DISI ‐ Via Sommarive 14 ‐ 38123 Povo ‐ Trento (Italy) http://www.disi.unitn.it Add to Reading List Source URL: eprints.biblio.unitn.it - Date: 2012-02-28 09:25:51
193	Event-driven Actors for Supporting Flexibility and Scalability in Service-based Integration Architecture Huy Tran and Uwe Zdun Software Architecture Research Group University of Vienna, Austria. firstname.lastname@univie Add to Reading List Source URL: eprints.cs.univie.ac.at - Date: 2013-12-17 05:02:57
194	Towards a Compliance Support Framework for Adaptive Case Management Christoph Czepa∗ , Huy Tran∗ , Uwe Zdun∗ , Thanh Tran Thi Kim† , Erhard Weiss† and Christoph Ruhsam† ∗ University of Vienna, Faculty of C Add to Reading List Source URL: eprints.cs.univie.ac.at - Date: 2016-07-01 07:53:42
195	Theory of Computing Systems manuscript No. (will be inserted by the editor) Online Scheduling FIFO Policies with Admission and Push-Out Kirill Kogan · Alejandro L´ Add to Reading List Source URL: eprints.networks.imdea.org - Date: 2015-03-09 04:19:50
196	Incremental Exact Min-Cut in Poly-logarithmic Amortized Update Time Gramoz Goranci∗ Monika Henzinger† Add to Reading List Source URL: eprints.cs.univie.ac.at - Date: 2016-12-09 08:33:31
197	Change Patterns for Supporting the Evolution of Event-Based Systems Simon Tragatschnig, Huy Tran, and Uwe Zdun Research Group Software Architecture University of Vienna, Austria {simon.tragatschnig,huy.tran,uwe.zdun}@uni Add to Reading List Source URL: eprints.cs.univie.ac.at - Date: 2013-08-20 04:58:12
198	Finding 2-edge and 2-vertex strongly connected components in quadratic time Monika Henzinger Sebastian Krinninger Add to Reading List Source URL: eprints.cs.univie.ac.at - Date: 2015-11-02 05:45:22
199	Jan Mendling and Stefanie Rinderle-Ma, eds.: Proceedings of EMISA 2016, Gesellschaft f¨ur Informatik, Bonn 2016 Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic (Extended Abstract Add to Reading List Source URL: eprints.cs.univie.ac.at - Date: 2016-08-08 07:44:57
200	Using ‘Tangibles’ to Promote Novel Forms of Playful Learning Price, S., Rogers, Y., Scaife, M.1 School of Cognitive and Computing Sciences, University of Sussex, Brighton, BN1 9QH (sarap, yvonner)@cogs.susx.ac.uk Add to Reading List Source URL: eprints.ioe.ac.uk - Date: 2012-06-26 18:22:23

UPDATE