Search results for "birthdays"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
36	Craig B. Zilles, Ravi Rajwar	Transactional memory and the birthday paradox.	SPAA	2007	DBLP DOI BibTeX RDF	birthdays, concurrency, transactional memory
35	Jack H. Koolen, Akihiro Munemasa, Atsuhiro Nakamoto, Katsuhiro Ota, Akira Saito	Preface to the special issue dedicated to Professors Eiichi Bannai and Hikoe Enomoto on their 75th birthdays.	Graphs Comb.	2021	DBLP DOI BibTeX RDF
35	Mark Guzdial, Joel C. Adams	Disputing Dijkstra, and birthdays in base 2.	Commun. ACM	2021	DBLP DOI BibTeX RDF
35	Lee Humphreys	Birthdays, anniversaries, and temporalities: Or how the past is represented as relevant through on-this-date media.	New Media Soc.	2020	DBLP DOI BibTeX RDF
35		Graphs, groups, and more: celebrating Brian Alspach's 80th and Dragan Marušič's 65th birthdays.	Ars Math. Contemp.	2017	DBLP BibTeX RDF
35	Christian W. Probst, Chris Hankin, René Rydhof Hansen (eds.)	Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
35	Bernhard Steffen, Malte Isberner, Marc Jasper	Playing with Abstraction and Representation.	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
35	Marina Andric, Rocco De Nicola, Alberto Lluch-Lafuente	Replicating Data for Better Performances in X10.	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
35	Jan Reineke 0001, Reinhard Wilhelm	Static Timing Analysis - What is Special?	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
35	Fritz Henglein, Jakob Rehof	Modal Intersection Types, Two-Level Languages, and Staged Synthesis.	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
35	Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari 0002, Letterio Galletta	Last Mile's Resources.	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
35	Stephen Gilmore, Jane Hillston, Natalia Zon	Abstract Interpretation of PEPA Models.	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
35	Christian W. Probst, Florian Kammüller, René Rydhof Hansen	Formal Modelling and Analysis of Socio-Technical Systems.	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
35	Michael Huth 0001, Jim Huan-Pu Kuo, Nir Piterman	Static Analysis of Parity Games: Alternating Reachability Under Parity.	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
35	Chris Hankin	Game Theory and Industrial Control Systems.	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
35	Arnd Hartmanns, Holger Hermanns, Jan Krcál	Schedulers are no Prophets.	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
35	Kalmer Apinis, Helmut Seidl, Vesal Vojdani	Enhancing Top-Down Solving with Widening and Narrowing.	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
35	Luca Aceto, Álvaro García-Pérez, Anna Ingólfsdóttir	Rule Formats for Bounded Nondeterminism in Structural Operational Semantics.	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
35	Mads Christian Olesen, René Rydhof Hansen, Kim Guldstrand Larsen	An Automata-Based Approach to Trace Partitioned Abstract Interpretation.	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
35	Alessandra Di Pierro, Herbert Wiklicky	Probabilistic Abstract Interpretation: From Trace Semantics to DTMC's and Linear Regression.	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
35	David A. Schmidt	Guards, Failure, and Partiality: Dijkstra's Guarded-Command Language Formulated Topologically.	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
35	Alan Mycroft, Dominic A. Orchard, Tomas Petricek 0001	Effect Systems Revisited - Control-Flow Algebra and Semantics.	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
35	Olivier Bodini, Danièle Gardy, Olivier Roussel	Boys-and-girls Birthdays and Hadamard Products.	Fundam. Informaticae	2012	DBLP DOI BibTeX RDF
35	Raphael Overbeck	Reducing Memory Requirements for Combinatorial Attacks on NTRU via Multiple Birthdays.	ICETE (Selected Papers)	2008	DBLP DOI BibTeX RDF
35	Cliff B. Jones, Zhiming Liu 0001, Jim Woodcock 0001 (eds.)	Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
35	Nikolaj S. Bjørner	Models and Software Model Checking of a Distributed File Replication System.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
35	Dang Van Hung	Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
35	Werner Damm, Alfred Mikschl, Jens Oehlerking, Ernst-Rüdiger Olderog, Jun Pang 0001, André Platzer, Marc Segelken, Boris Wirtz	Automating Verification of Cooperation, Control, and Design in Traffic Applications.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
35	John S. Fitzgerald, Peter Gorm Larsen	Balancing Insight and Effort: The Industrial Uptake of Formal Methods.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
35	Michael R. Hansen, Jan Madsen, Aske Wiid Brekling	Semantics and Verification of a Language for Modelling Hardware Architectures.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	Hardware descriptions, model- checking, verification, semantics
35	Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan	Generating Polynomial Invariants with DISCOVERER and QEPCAD.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	Semi-Algebraic Systems, DISCOVERER, QEPCAD, Program Verification, Quantifier Elimination, Invariant Generation, Polynomial Programs
35	Martin Penicka	Formal Approach to Railway Applications.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	Technique Integration, Planning, Control, Signalling, Timetabling, Railways, Rostering, Interlocking
35	Xinxin Liu	Expansive-Bisimulation for Context-Free Processes.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
35	Chris George, Padmanabhan Krishnan, Percy Antonio Pari Salas, Jeff W. Sanders	Specification for Testing.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
35	Hans Langmaack	On Revival of Algol-Concepts in Modern Programming and Specification Languages.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	block concept, formal procedure, structural simulation, Abstract State Machine ASM, recursive procedure and rule, Java, verification, semantics, Programming language, specification language, object, Algol, class
35	Anne E. Haxthausen, Jan Peleska 0001	A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	railway control systems, verification, formal methods, code generation, domain-specific languages, domain engineering
35	Zhenbang Chen, Xiaoshan Li, Zhiming Liu 0001, Volker Stolz, Lu Yang	Harnessing rCOS for Tool Support - The CoCoME Experience.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	tool design, formal methods, software process, Software development tool
35	Mathai Joseph	Engineering the Development of Embedded Systems.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
35	Leo Freitas, Jim Woodcock 0001	Proving Theorems About JML Classes.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	Grand Challenge in Verified Software, Java Collections Framework, Java HashMap class, linking theories, Z/Eves, formal specification, Z, software verification, JML, Java Modeling Language, mechanical theorem proving, Verified Software Repository
35	Elsa Estevez, Tomasz Janowski	Programmable Messaging for Electronic Government - Building a Foundation.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	Messaging Middleware, Domain Specific Languages, Electronic Government, Software Specification, Asynchronous Messaging
35	Wolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl	Services as a Paradigm of Computation.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	open workflow nets, SOA, services, models of computation
35	Daguang Liu, Peng Wu 0002, Huimin Lin	Symbolic Test Generation Using a Temporal Logic with Constrained Events.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
35	Manfred Broy	From "Formal Methods" to System Modeling.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
35	Xiang Ling, T. S. E. Maibaum, Nazareno Aguirre	Design in CommUnity with Extension Morphisms.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
35	John Knudsen, Anders P. Ravn, Arne Skou	Design Verification Patterns.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
35	Jifeng He 0001	Compensable Programs.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
35	Asger Eir	Relating Domain Concepts Intensionally by Ordering Connections.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	The RAISE Specification Language (RSL), Classification, Formal Methods, Conceptual modelling, Abstract Interpretation, Domain Engineering, Galois Connection, Intension
35	Peter D. Mosses	VDM Semantics of Programming Languages: Combinators and Monads.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
35	Cliff B. Jones, Ian J. Hayes, Michael A. Jackson 0001	Deriving Specifications for Systems That Are Connected to the Physical World.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
35	Andrew Butterfield	A Denotational Semantics for Handel-C.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
28	Garrett Brown, Travis Howe, Micheal Ihbe, Atul Prakash 0001, Kevin Borders	Social networks and context-aware spam.	CSCW	2008	DBLP DOI BibTeX RDF	privacy, social networks, spam, email, facebook
28	William Ryan, William R. Hazlewood, Kevin Makice	Twitterspace: a co-developed display using Twitter to enhance community awareness.	PDC	2008	DBLP BibTeX RDF	community awareness, evocative objects, social networking, ambient displays, informative art
28	Marcel Waldvogel	GOSSIB vs. IP Traceback Rumors.	ACSAC	2002	DBLP DOI BibTeX RDF