The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for PRInCiPleS with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1947-1962 (17) 1963-1967 (38) 1968-1969 (38) 1970-1971 (29) 1972-1973 (60) 1974-1975 (77) 1976 (31) 1977 (60) 1978 (48) 1979 (62) 1980 (52) 1981 (69) 1982 (138) 1983 (141) 1984 (149) 1985 (153) 1986 (141) 1987 (190) 1988 (163) 1989 (252) 1990 (286) 1991 (323) 1992 (260) 1993 (299) 1994 (377) 1995 (363) 1996 (443) 1997 (533) 1998 (553) 1999 (601) 2000 (724) 2001 (723) 2002 (911) 2003 (1062) 2004 (1190) 2005 (1435) 2006 (1476) 2007 (1634) 2008 (1623) 2009 (1389) 2010 (934) 2011 (734) 2012 (811) 2013 (782) 2014 (897) 2015 (931) 2016 (884) 2017 (892) 2018 (998) 2019 (854) 2020 (1113) 2021 (1069) 2022 (926) 2023 (968) 2024 (177)
Publication types (Num. hits)
article(5120) book(246) data(2) incollection(533) inproceedings(24528) phdthesis(172) proceedings(482)
Venues (Conferences, Journals, ...)
PODC(2201) CP(1839) POPL(1568) KR(1417) PODS(1333) PPoPP(1089) OPODIS(813) SOSP(763) PKDD(680) PPDP(584) CoRR(512) PRIMA(482) SIGSIM-PADS(308) PPPJ(300) PADS(197) SIGCSE(185) More (+10 of total 4001)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 15986 occurrences of 6364 keywords

Results
Found 31083 publication records. Showing 31083 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
51Gilbert Cockton Revisiting usability's three key principles. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2008 DBLP  DOI  BibTeX  RDF software development principles, evaluation, design, usability, user studies
41Normand Séguin, Alain Abran, Robert Dupuis Software engineering principles: a survey and an analysis. Search on Bibsonomy C3S2E The full citation details ... 2010 DBLP  DOI  BibTeX  RDF fundamentals, software engineering principles, rules, concepts, laws
37Christian Lebiere, Robert E. Wray Motivating the 2006 AAAI Spring Symposium: Cognitive Science Principles Meet AI-Hard Problems. Search on Bibsonomy AAAI Spring Symposium: Between a Rock and a Hard Place: Cognitive Science Principles Meet AI-Hard Problems The full citation details ... 2006 DBLP  BibTeX  RDF
37Uta Schwertel 05371 Executive Summary - Principles and Practice of Semantic Web Reasoning (PPSWR). Search on Bibsonomy Principles and Practices of Semantic Web Reasoning The full citation details ... 2005 DBLP  BibTeX  RDF
37François Bry, François Fages, Massimo Marchiori, Hans Jürgen Ohlbach 05371 Abstracts Collection - Principles and Practices of Semantic Web Reasoning. Search on Bibsonomy Principles and Practices of Semantic Web Reasoning The full citation details ... 2005 DBLP  BibTeX  RDF
37Masahiro Watanabe, Shunichi Yonemura, Yoko Asano Investigation of Web Usability Based on the Dialogue Principles. Search on Bibsonomy HCI (10) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF ISO 9241-110, dialogue principles, usability, Web, self-descriptiveness
37Vincent Astier, Marcus Tressl Axiomatization of local-global principles for pp-formulas in spaces of orderings. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Spaces of orderings, Special groups, Positive-primitive formulas, Local-global principles, Isotropy theorem, Model theory, Quadratic forms
37Julie Heiser, Doantam Phan, Maneesh Agrawala, Barbara Tversky, Pat Hanrahan Identification and validation of cognitive design principles for automated generation of assembly instructions. Search on Bibsonomy AVI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF assembly instructions, visual instructions, diagrams, design principles, spatial ability
37Thomas Grechenig, Wolfgang Zuser Creating Organic Software Maturity Attitudes (COSMA) Selected Principles and Activities for Software Maturity in Small and Medium Software Enterprises. Search on Bibsonomy QSIC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Small and medium software enterprises (SMSE), Software maturity (SM), Software quality assurance (SQA), development cultures, activities, attitudes, principles
37Connie U. Smith Applying Synthesis Principles to Create Responsive Software Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF synthesis principles, responsive software systems, system performance parameters, user interfaces, user interfaces, systems analysis, systems analysis, system architecture, software requirements, information storage
37Patrick van Bommel, Stijn Hoppenbrouwers, Henderik Alex Proper, Theo P. van der Weide Giving Meaning to Enterprise Architectures: Architecture Principles with ORM and ORC. Search on Bibsonomy OTM Workshops (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
37Åsa Lindström On the Syntax and Semantics of Architectural Principles. Search on Bibsonomy HICSS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Marina C. Chen, James R. Cowie The hopping ruse. Search on Bibsonomy Heterogeneous Computing Workshop The full citation details ... 1997 DBLP  DOI  BibTeX  RDF security violation detection, real-time service hopping, distributed client-server systems, spread-spectrum techniques, secure wireless communication, secure hopping, engineering principles, statistically noisy interconnection network, hopping client-server system, security of data, design principles, heterogeneous environments, frequency-hopping
36Jean-Luc Gaudiot, Andrew Sohn Data-Driven Parallel Production Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF parallel production systems, data-flow principles, high programmability, data-driven principles, RETE match algorithm, actor set, program graph design, tagged data-flow computer, deterministic simulation, artificial intelligence production systems, parallel programming, parallel architectures, expert systems, symbolic computations, symbol manipulation, multiprocessor architecture, numerical computations, multiprocessor environment, data-driven architectures
34Gilbert Cockton Getting there: six meta-principles and interaction design. Search on Bibsonomy CHI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF axiology, meta-principles, worth-centred development frameworks, evaluation, design approaches
34Philip R. Ross, David V. Keyson The case of sculpting atmospheres: towards design principles for expressive tangible interaction in control of ambient systems. Search on Bibsonomy Pers. Ubiquitous Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Tangible expressive interaction, Design principles
34Krystle Lemon, Edward B. Allen, Jeffrey C. Carver, Gary L. Bradshaw An Empirical Study of the Effects of Gestalt Principles on Diagram Understandability. Search on Bibsonomy ESEM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Gestalt principles, diagram comprehension, software architecture, empirical software engineering, cognitive science
34Thomas Sugar, Michael McBeath, Anthony Suluh, Keshav Mundhra Mobile robot interception using human navigational principles: Comparison of active versus passive tracking algorithms. Search on Bibsonomy Auton. Robots The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Perceptual principles, Visual servoing, Mobile robot navigation
34Sungwoo Tak Some Principles Incorporating Topology Dependencies for Designing Survivable WDM Optical Networks. Search on Bibsonomy ICN (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF topology dependencies, optical networks, restoration, WDM, principles
34Hossein Saiedian, James J. Urban A case study to demonstrate the impact of quality design principles when restructuring existing software. Search on Bibsonomy Softw. Qual. J. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF re-structuring, quality software, design principles, re-engineering
34Alan M. Davis Fifteen Principles of Software Engineering. Search on Bibsonomy IEEE Softw. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF software engineering principles, early product delivery, intellectual distance, software techniques, hype, software engineering, software tools, management, requirements, quality, process model, languages, responsibility, people, code inspection, design alternatives, execution speed
32Konstantinos Chorianopoulos Interactive TV Design That Blends Seamlessly with Everyday Life. Search on Bibsonomy Universal Access in Ambient Intelligence Environments The full citation details ... 2006 DBLP  DOI  BibTeX  RDF paradigm of use, Ambient ITV, media studies, metaphors, interactive TV, Design principles
32Richard L. Baskerville, Balasubramaniam Ramesh, Linda Levine, Jan Pries-Heje, Sandra Slaughter Is Internet-Speed Software Development Different? Search on Bibsonomy IEEE Softw. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF development principles, Internet-speed software development practices, agile software development
32William G. Griswold Comments on "Language Design for Program Manipulation''. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF new programming languages, semantics, programming, object-oriented languages, object-oriented language, programming theory, language design, syntax, design principles, program manipulation, procedural language
30Taj Campbell, Brian Ngo, James Fogarty Game design principles in everyday fitness applications. Search on Bibsonomy CSCW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF everyday fitness games, kukini, design principles
30Roberto Santana Tapia, Maya Daneva, Pascal van Eck, Nicte-Há Castro Cárdenas, Leida van Oene Business-IT Alignment Domains and Principles for Networked Organizations: A Qualitative Multiple Case Study. Search on Bibsonomy OTM Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Alignment principles, inter-organizational cooperation, business networks
30Krisela Rivera, Elissa Darnell The Use of Cognitive and Social Psychological Principles in Field Research: How It Furthers Our Understanding of User Behaviors, Needs and Motivations, and Informs the Product Design Process. Search on Bibsonomy HCI (10) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF psychological principles, field research, ethnography, design process, product development, user experience research, global market
30Hiroko Akatsu, Hiroyuki Miki, Naotsune Hosono Design Principles Based on Cognitive Aging. Search on Bibsonomy HCI (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF cognitive aging, ATM, design principles, elderly users
30Karl Flieder, Felix Mödritscher Foundations of a pattern language based on Gestalt principles. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Gestalt principles, linguistic categories, HCI, patterns
30Kalyanmoy Deb, Aravind Srinivasan Innovization: innovating design principles through optimization. Search on Bibsonomy GECCO The full citation details ... 2006 DBLP  DOI  BibTeX  RDF knowledge discovery, multi-objective optimization, design principles, innovative design
30Andreas Schaad, Jonathan D. Moffett Separation, review and supervision controls in the context of a credit application process: a case study of organisational control principles. Search on Bibsonomy SAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF control principles, delegation of obligation, security, management, roles, review, supervision
30Colleen Roe, Sergio Gonik Server-Side Design Principles for Scalable Internet Systems. Search on Bibsonomy IEEE Softw. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF optimization, scalability, load balancing, architecture, concurrency, distribution, partitioning, encapsulation, design principles, asynchrony, parsimony
29Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen 0001, Rupak Majumdar (eds.) Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday Search on Bibsonomy Principles of Systems Design The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Kim G. Larsen, Christian Schilling 0001, Jirí Srba Simulation Relations and Applications in Formal Methods. Search on Bibsonomy Principles of Systems Design The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Bettina Könighofer, Roderick Bloem, Rüdiger Ehlers, Christian Pek Correct-by-Construction Runtime Enforcement in AI - A Survey. Search on Bibsonomy Principles of Systems Design The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Hermann Kopetz An Architecture for Safe Driving Automation. Search on Bibsonomy Principles of Systems Design The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Christel Baier, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer On the Foundations of Cycles in Bayesian Networks. Search on Bibsonomy Principles of Systems Design The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell 0001 What's Decidable About Discrete Linear Dynamical Systems? Search on Bibsonomy Principles of Systems Design The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Bengt Jonsson 0001, K. Narayan Kumar, Prakash Saivasan Consistency and Persistency in Program Verification: Challenges and Opportunities. Search on Bibsonomy Principles of Systems Design The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Ranjit Jhala Embedded Domain Specific Verifiers. Search on Bibsonomy Principles of Systems Design The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Javier Esparza, Rubén Rubio, Salomon Sickert A Simple Rewrite System for the Normalization of Linear Temporal Logic. Search on Bibsonomy Principles of Systems Design The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Hadar Frenkel, Orna Grumberg, Bat-Chen Rothenberg, Sarai Sheinvald Automated Program Repair Using Formal Verification Techniques. Search on Bibsonomy Principles of Systems Design The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Moshe Y. Vardi, Seth Fogarty, Yong Li 0031, Yih-Kuen Tsay Towards a Grand Unification of Büchi Complementation Constructions. Search on Bibsonomy Principles of Systems Design The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Márton Hajdú, Petra Hozzová, Laura Kovács, Giles Reger, Andrei Voronkov Getting Saturated with Induction. Search on Bibsonomy Principles of Systems Design The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Vivian Lin, Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee 0001 T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification. Search on Bibsonomy Principles of Systems Design The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Patrick Cousot Asynchronous Correspondences Between Hybrid Trajectory Semantics. Search on Bibsonomy Principles of Systems Design The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Marta Kwiatkowska, Gethin Norman, David Parker 0001, Gabriel Santos Symbolic Verification and Strategy Synthesis for Turn-Based Stochastic Games. Search on Bibsonomy Principles of Systems Design The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Albert Benveniste, Benoît Caillaud, Mathias Malandain From Hybrid Automata to DAE-Based Modeling. Search on Bibsonomy Principles of Systems Design The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Marcin Jurdzinski, Rémi Morvan, K. S. Thejaswini Universal Algorithms for Parity Games and Nested Fixpoints. Search on Bibsonomy Principles of Systems Design The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia From Interface Automata to Hypercontracts. Search on Bibsonomy Principles of Systems Design The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Goran Frehse, Mirco Giacobbe, Enea Zaffanella Symbolic Analysis of Linear Hybrid Automata - 25 Years Later. Search on Bibsonomy Principles of Systems Design The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Rajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan A Framework for Transforming Specifications in Reinforcement Learning. Search on Bibsonomy Principles of Systems Design The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen Parameter Synthesis in Markov Models: A Gentle Survey. Search on Bibsonomy Principles of Systems Design The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Monika Henzinger Fine-Grained Complexity Lower Bounds for Problems in Computer Aided Verification. Search on Bibsonomy Principles of Systems Design The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Miroslav Chodil, Antonín Kucera 0001, Jan Kretínský Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge. Search on Bibsonomy Principles of Systems Design The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Marius Bozga, Joseph Sifakis Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework. Search on Bibsonomy Principles of Systems Design The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen, Mathias Ruggaard Pedersen On Probabilistic Monitorability. Search on Bibsonomy Principles of Systems Design The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Michael Backenköhler, Luca Bortolussi, Verena Wolf Variance Reduction in Stochastic Reaction Networks Using Control Variates. Search on Bibsonomy Principles of Systems Design The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Edward A. Lee, Marten Lohstroh Generalizing Logical Execution Time. Search on Bibsonomy Principles of Systems Design The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Dirk Beyer 0001, Andreas Podelski Software Model Checking: 20 Years and Beyond. Search on Bibsonomy Principles of Systems Design The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Giorgio Bacci, Giovanni Bacci 0001, Mathias Claus Jensen, Kim G. Larsen Convex Lattice Equation Systems. Search on Bibsonomy Principles of Systems Design The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Daniel Hausmann 0001, Nir Piterman A Survey on Satisfiability Checking for the μ-Calculus Through Tree Automata. Search on Bibsonomy Principles of Systems Design The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Matthias Függer, Christoph Lenzen 0001, Ulrich Schmid 0001 On Specifications and Proofs of Timed Circuits. Search on Bibsonomy Principles of Systems Design The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Sophie A. Neubauer, Radu Grosu Robustness Analysis of Continuous-Depth Models with Lagrangian Techniques. Search on Bibsonomy Principles of Systems Design The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Marten Lohstroh, Patricia Derler, Marjan Sirjani (eds.) Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday Search on Bibsonomy Principles of Modeling The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Masahiro Iida What Is an FPGA? Search on Bibsonomy Principles and Structures of FPGAs The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Masahiro Iida Design Methodology. Search on Bibsonomy Principles and Structures of FPGAs The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Tomonori Izumi, Yukio Mitsuyama Design Flow and Design Tools. Search on Bibsonomy Principles and Structures of FPGAs The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Kentaro Sano, Hiroki Nakahara Hardware Algorithms. Search on Bibsonomy Principles and Structures of FPGAs The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Tsutomu Maruyama, Yoshiki Yamaguchi, Yasunori Osana Programmable Logic Devices (PLDs) in Practical Applications. Search on Bibsonomy Principles and Structures of FPGAs The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Toshinori Sueyoshi Basic Knowledge to Understand FPGAs. Search on Bibsonomy Principles and Structures of FPGAs The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Motoki Amagasaki, Yuichiro Shibata FPGA Structure. Search on Bibsonomy Principles and Structures of FPGAs The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Masato Motomura, Masanori Hariyama, Minoru Watanabe Advanced Devices and Architectures. Search on Bibsonomy Principles and Structures of FPGAs The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Sanjit A. Seshia Cyber-Physical Systems Education: Explorations and Dreams. Search on Bibsonomy Principles of Modeling The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Adam Duracz, Eugenio Moggi, Walid Taha, Zhenchao Lin A Semantic Account of Rigorous Simulation. Search on Bibsonomy Principles of Modeling The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Stavros Tripakis, Roberto Lublinerman Modular Code Generation from Synchronous Block Diagrams: Interfaces, Abstraction, Compositionality. Search on Bibsonomy Principles of Modeling The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Nis Wechselberg, Alexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden Augmenting State Models with Data Flow. Search on Bibsonomy Principles of Modeling The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Werner Damm, Eike Möhlmann, Thomas Peikenkamp, Astrid Rakow A Formal Semantics for Traffic Sequence Charts. Search on Bibsonomy Principles of Modeling The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Stephen A. Edwards On Determinism. Search on Bibsonomy Principles of Modeling The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Shuvra S. Bhattacharyya, Johan Lilius Model-Based Representations for Dataflow Schedules. Search on Bibsonomy Principles of Modeling The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Martin Törngren, Ulf Sellgren Complexity Challenges in Development of Cyber-Physical Systems. Search on Bibsonomy Principles of Modeling The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Jie Liu 0001 Autonomous Retailing: A Frontier for Cyber-Physical-Human Systems. Search on Bibsonomy Principles of Modeling The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Reinhard Wilhelm On the Road to Conviction: An Email Exchange with Edward Lee. Search on Bibsonomy Principles of Modeling The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Janette Cardoso, Pierre Siron Ptolemy-HLA: A Cyber-Physical System Distributed Simulation Framework. Search on Bibsonomy Principles of Modeling The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Pascal Fradet, Alain Girault, Leila Jamshidian, Xavier Nicollin, Arash Shafiei 0001 Lossy Channels in a Dataflow Model of Computation. Search on Bibsonomy Principles of Modeling The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Alireza S. Abyaneh, Christoph M. Kirsch You Can Program What You Want but You Cannot Compute What You Want. Search on Bibsonomy Principles of Modeling The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Pierluigi Nuzzo 0002, Alberto L. Sangiovanni-Vincentelli Hierarchical System Design with Vertical Contracts. Search on Bibsonomy Principles of Modeling The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop Computing Average Response Time. Search on Bibsonomy Principles of Modeling The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Soonhoi Ha, Eunjin Jeong Embedded Software Design Methodology Based on Formal Models of Computation. Search on Bibsonomy Principles of Modeling The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Rajeev Alur, Konstantinos Mamouras, Caleb Stanford, Val Tannen Interfaces for Stream Processing Systems. Search on Bibsonomy Principles of Modeling The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Bernhard Rumpe, Andreas Wortmann 0001 Abstraction and Refinement in Hierarchically Decomposable and Underspecified CPS-Architectures. Search on Bibsonomy Principles of Modeling The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Marjan Sirjani Power is Overrated, Go for Friendliness! Expressiveness, Faithfulness, and Usability in Modeling: The Actor Experience. Search on Bibsonomy Principles of Modeling The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Murat Arcak, John N. Maidens Simulation-Based Reachability Analysis for Nonlinear Systems Using Componentwise Contraction Properties. Search on Bibsonomy Principles of Modeling The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Caroline Brandberg, Marco Di Natale Enabling Flow Preservation and Portability in Multicore Implementations of Simulink Models. Search on Bibsonomy Principles of Modeling The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29David G. Messerschmitt The Relativity Example: Is Terminological Innovation a Good Idea? Search on Bibsonomy Principles of Modeling The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Bruno Sinopoli, John A. W. B. Costanzo Modeling Dynamical Phenomena in the Era of Big Data. Search on Bibsonomy Principles of Modeling The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Marc Geilen If We Could Go Back in Time... On the Use of 'Unnatural' Time and Ordering in Dataflow Models. Search on Bibsonomy Principles of Modeling The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Gul Agha, Karl Palmskog Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces. Search on Bibsonomy Principles of Modeling The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Hermann Kopetz Anytime Algorithms in Time-Triggered Control Systems. Search on Bibsonomy Principles of Modeling The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Radu Grosu, Elahe Ghalebi K., Ali Movaghar 0001, Hamidreza Mahyar Compressed Sensing in Cyber Physical Social Systems. Search on Bibsonomy Principles of Modeling The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 31083 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license