The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Sci. Comput. Program."( http://dblp.L3S.de/Venues/Sci._Comput._Program. )

URL (DBLP): http://dblp.uni-trier.de/db/journals/scl

Publication years (Num. hits)
1981-1982 (23) 1983-1984 (25) 1985-1986 (39) 1987 (29) 1988 (21) 1989 (21) 1990 (29) 1991-1992 (33) 1993 (20) 1994 (26) 1995 (22) 1996 (30) 1997 (26) 1998 (31) 1999 (23) 2000 (32) 2001 (31) 2002 (40) 2003 (34) 2004 (55) 2005 (77) 2006 (79) 2007 (92) 2008 (49) 2009 (45) 2010 (68) 2011 (74) 2012 (78) 2013 (140) 2014 (242) 2015 (206) 2016 (93) 2017 (77) 2018 (123) 2019 (54)
Publication types (Num. hits)
article(2087)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 2087 publication records. Showing 2087 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Elizabeth Scott, Adrian Johnstone, L. Thomas van Binsbergen Derivation representation using binary subtree sets. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Qixia Yuan, Andrzej Mizera, Jun Pang, Hongyang Qu 0001 A new decomposition-based method for detecting attractors in synchronous Boolean networks. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Cyrille Artho, Peter Csaba Ölveczky Formal Techniques for Safety-Critical Systems (FTSCS 2016). Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Fernando Castor, Yu David Liu Selected papers of the Brazilian Symposium on Programming Languages (SBLP'15+16). Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ferruccio Damiani, Michael Lienhardt, Luca Paolini A formal model for Multi Software Product Lines. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Samuel da Silva Feitosa, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta, André Rauber Du Bois A monadic semantics for quantum computing in an object oriented language. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alexander Jeffery, Martin Berger Asynchronous sessions with implicit functions and messages. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xiyue Zhang, Weijiang Hong, Yi Li 0010, Meng Sun 0002 Reasoning about connectors using Coq and Z3. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jefferson de Carvalho Silva, Allberson Bruno de Oliveira Dantas, Francisco Heron de Carvalho Junior A Scientific Workflow Management System for orchestration of parallel components in a cloud of large-scale parallel processing services. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Robert M. Hierons FSM quasi-equivalence testing via reduction and observing absences. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller Universal (meta-)logical reasoning: Recent successes. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carmine Vassallo, Giovanni Grano, Fabio Palomba, Harald C. Gall, Alberto Bacchelli A large-scale empirical exploration on refactoring activities in open source software projects. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zeynab Sabahi-Kaviani, Fatemeh Ghassemi Behavioral model identification and classification of multi-component systems. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Calvin Deutschbein, Tom Fleming, Alan Burns, Sanjoy Baruah Multi-core cyclic executives for safety-critical systems. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jingdong Jia, Xiaoying Yang, Rong Zhang, Xi Liu Understanding software developers' cognition in agile requirements engineering. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Faiz Ul Muram, Huy Tran, Uwe Zdun Supporting automated containment checking of software behavioural models using model transformations and model checking. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hiroaki Inoue, Atsushi Igarashi A type system for first-class layers with inheritance, subtyping, and swapping. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jan Peleska 0001, Wen-ling Huang, Ana Cavalcanti Finite complete suites for CSP refinement testing. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Paola Giannini, Tim Richter, Marco Servetto, Elena Zucca Tracing sharing in an imperative pure calculus. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Baltasar J. García Pérez, Francisco Ortin A didactic object-oriented, prototype-based visual programming environment. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Luis Emiliano Sanchez, Jorge Andrés Díaz Pace, Alejandro Zunino A family of heuristic search algorithms for feature model optimization. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Otto Parra, Sergio España, José Ignacio Panach, Oscar Pastor An empirical comparative evaluation of gestUI to include gesture-based interaction in user interfaces. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michael D. Harrison, Leo Freitas, Michael Drinnan, José Creissac Campos, Paolo Masci, Costanzo di Maria, Michael Whitaker Formal techniques in the safety analysis of software components of a new dialysis machine. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Amina Bouraoui, Imen Gharbi Model driven engineering of accessible and multi-platform graphical user interfaces by parameterized model transformations. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yi Li 0010, Xiyue Zhang, Yuanyi Ji, Meng Sun 0002 A formal framework capturing real-time and stochastic behavior in connectors. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nils Timm, Stefan Gruner Three-valued bounded model checking with cause-guided abstraction refinement. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andreas Lindner, Roberto Guanciale, Roberto Metere TrABin: Trustworthy analyses of binaries. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini On the expressiveness of modal transition systems with variability constraints. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tarsila Bessa, Christopher J. Gull, Pedro Quintão, Michael Frank, José Augusto Miranda Nacif, Fernando Magno Quintão Pereira JetsonLEAP: A framework to measure power on a heterogeneous system-on-a-chip device. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jie Yin, Gang Tan, Hao Li, Xiaolong Bai, Yu-Ping Wang, Shi-Min Hu Debugopt: Debugging fully optimized natively compiled programs using multistage instrumentation. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ana Cavalcanti, Augusto Sampaio, Alvaro Miyazawa, Pedro Ribeiro 0002, Madiel Conserva Filho, André Didier, Wei Li, Jon Timmis Verified simulation for robotics. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ajay Krishna 0001, Pascal Poizat, Gwen Salaün Checking business process evolution. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Vanderson Hafemann Fragal, Adenilso da Silva Simão, Mohammad Reza Mousavi Hierarchical featured state machines. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Imran Hafeez Abbassi, Faiq Khalid, Osman Hasan, Awais Mehmood Kamboh Using gate-level side channel parameters for formally analyzing vulnerabilities in integrated circuits. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Lars Luthmann, Stephan Mennicke, Malte Lochau Unifying modal interface theories and compositional input/output conformance testing. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bruno Morais Ferreira, Britaldo Silveira Soares-Filho, Fernando Magno Quintão Pereira The Dinamica EGO virtual machine. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rodrigo C. O. Rocha, Luís F. W. Góes, Fernando Magno Quintão Pereira Automatic parallelization of recursive functions with rewriting rules. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Regivan H. N. Santiago, Benjamín R. C. Bedregal, Alexandre Madeira, Manuel A. Martins On interval dynamic logic: Introducing quasi-action lattices. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1João Paulo Fernandes, Pedro Martins 0001, Alberto Pardo, João Saraiva, Marcos Viera Memoized zipper-based attribute grammars and their higher order extension. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rodrigo Medeiros Duarte, André Rauber Du Bois, Maurício Lima Pilla, Gerson Geraldo H. Cavalheiro, Renata Hax Sander Reiser Comparing the performance of concurrent hash tables implemented in Haskell. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Panos Kyriakakis, Alexander Chatzigeorgiou, Apostolos Ampatzoglou, Stelios Xinogalos Exploring the frequency and change proneness of dynamic feature pattern instances in PHP applications. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa A formal model of data access for multicore architectures with multilevel caches. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ángel Mora Segura, Juan de Lara Extremo: An Eclipse plugin for modelling and meta-modelling assistance. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xiao Han, Tao Tang, Jidong Lv A hierarchical verification approach to verify complex safety control systems based on STAMP. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns Automated compositional importance splitting. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Filippo Bonchi, Tom van Bussel, Matias David Lee, Jurriaan Rot Bisimilarity of open terms in stream GSOS. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jean-Marie Jacquet, Mieke Massink Preface to the special issue on Coordination Models and Languages (Coordination 2017). Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kyungmin Bae, Camilo Rocha Symbolic state space reduction with guarded terms for rewriting modulo SMT. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Eugene Syriani, Vasco Sousa, Levi Lúcio Structure and behavior preserving statecharts refinements. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Keigo Imai, Nobuko Yoshida, Shoji Yuen Session-ocaml: A session-based library with polarities and lenses. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Guilherme Avelino, Leonardo Teixeira Passos, André C. Hora, Marco Tulio Valente Measuring and analyzing code authorship in 1 + 118 open source projects. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Olga Kouchnarenko, Eric Madelaine Selected and extended papers from FACS 2016. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Angelo Ferrando The early bird catches the worm: First verify, then monitor! Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli Constrained synthesis from component libraries. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carlos Canal, Gwen Salaün Preface: Special issue on Foundations of Coordination Languages and Self-adaptive Systems. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mehmet F. Hocaoglu AdSiF: Agent driven simulation framework paradigm and ontological view. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Felipe R. Monteiro, Erickson H. da S. Alves, Isabela da Silva, Hussama Ismail, Lucas C. Cordeiro, Eddie Batista de Lima Filho ESBMC-GPU A context-bounded model checking tool to verify CUDA programs. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Germán Vidal Preface for SCP special issue on Principles and Practice of Declarative Programming. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mario Andrés Paredes-Valverde, María del Pilar Salas-Zárate, Ricardo Colomo Palacios, Juan Miguel Gómez-Berbís, Rafael Valencia-García An ontology-based approach with which to assign human resources to software projects. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexandre Bergel, Alejandro Infante, Sergio Maass, Juan Pablo Sandoval Alcocer Reducing resource consumption of expandable collections: The Pharo case. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chen Yang 0007, Peng Liang 0001, Paris Avgeriou Evaluation of a process for architectural assumption management in software development. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Steven Costiou, Mickaël Kerboeuf, Glenn Cavarlé, Alain Plantec Lub: A pattern for fine grained behavior adaptation at runtime. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Eduard Kamburjan, Reiner Hähnle, Sebastian Schön Formal modeling and analysis of railway operations with active objects. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thiago M. Castro, André Lanna, Vander Alves, Leopoldo Teixeira, Sven Apel, Pierre-Yves Schobbens All roads lead to Rome: Commuting strategies for product-line reliability analysis. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Antonio Brogi, Davide Neri, Luca Rinaldi, Jacopo Soldani Orchestrating incomplete TOSCA applications with Docker. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sylvia Grewe, Sebastian Erdweg, André Pacak, Michael Raulf, Mira Mezini Exploration of language specifications by compilation to first-order logic. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Damien Pollet, Stéphane Ducasse A critical analysis of string APIs: The case of Pharo. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Loïc Hélouët, Karim Kecir Realizability of schedules by stochastic time Petri nets with blocking semantics. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roberto Casadei, Alessandro Aldini, Mirko Viroli Towards attack-resistant Aggregate Computing using trust mechanisms. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fabio Gadducci, Hernán C. Melgratti, Christian Roldán On the semantics and implementation of replicated data types. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lawrence Cabac, Michael Haustermann, David Mosteller Software development with Petri nets and agents: Approach, frameworks and tool set. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Atsushi Igarashi Method safety mechanism for asynchronous layer deactivation. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kamila Barylska, Maciej Koutny, Lukasz Mikulski, Marcin Piatkowski Reversible computation vs. reversibility in Petri nets. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jay A. McCarthy, Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler A Coq library for internal verification of running-times. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ivan Lanese, Simon J. Devitt Preface for the special issue of the 8th Conference on Reversible Computation (RC 2016). Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis Higher-order logic programming: An expressive language for representing qualitative preferences. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Matteo Camilli, Angelo Gargantini, Patrizia Scandurra Zone-based formal specification and timing analysis of real-time self-adaptive systems. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Razieh Behjati, Shiva Nejati Architecture-level configuration of industrial control systems: Foundations for an efficient approach. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pablo Gómez-Abajo, Esther Guerra, Juan de Lara, Mercedes G. Merayo A tool for domain-independent model mutation. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rodrigo F. Araujo, Higo F. Albuquerque, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho Counterexample guided inductive optimization based on satisfiability modulo theories. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo Some trade-offs in reducing the overhead of assertion run-time checks via static analysis. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Loïc Gammaitoni, Pierre Kelsen, Qin Ma 0002 Agile validation of model transformations using compound F-Alloy specifications. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mariem Mefteh, Nadia Bouassida, Hanêne Ben-Abdallah Towards naturalistic programming: Mapping language-independent requirements to constrained language specifications. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene Integrating formal methods into medical software development: The ASM approach. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Antonio Martini, Terese Besker, Jan Bosch Technical Debt tracking: Current state of practice: A survey and multiple case study in 15 large organizations. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roberto Rodríguez-Echeverría, Juan Carlos Preciado, Javier Sierra, José María Conejero, Fernando Sánchez-Figueroa AutoCRUD: Automatic generation of CRUD specifications in interaction flow modelling language. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers A unified view of monadic and applicative non-determinism. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alex Potanin, Gail C. Murphy Preface for the Special Issue on the 23rd Asia-Pacific Software Engineering Conference (APSEC) 2016. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giorgio Audrito, Ferruccio Damiani, Mirko Viroli Optimal single-path information propagation in gradient-based algorithms. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1András Vörös 0001, Dániel Darvas, Ákos Hajdu, Attila Klenik, Kristóf Marussy, Vince Molnár, Tamás Bartha, István Majzik Industrial applications of the PetriDotNet modelling and analysis tool. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Cyrille Artho, Peter Csaba Ölveczky Formal Techniques for Safety-Critical Systems (FTSCS 2015). Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael J. Butler, Klaus-Dieter Schewe Introduction to the ABZ 2016 Special issue. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Valerio Cosentino, Javier Luis Cánovas Izquierdo, Jordi Cabot Gitana: A software project inspector. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stefan Fehrenbach, James Cheney Language-integrated provenance. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maroua Maalej, Vitor Paisante, Fernando Magno Quintão Pereira, Laure Gonnord Combining range and inequality information for pointer disambiguation. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ivaylo Dobrikov, Michael Leuschel Enabling analysis for Event-B. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vinicius H. S. Durelli, Márcio Eduardo Delamaro, Jeff Offutt An experimental comparison of edge, edge-pair, and prime path criteria. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sebastian Krings, Michael Leuschel Proof assisted bounded and unbounded symbolic model checking of software and system models. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Eike Best, Raymond R. Devillers Pre-synthesis of Petri nets based on prime cycles and distance paths. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 2087 (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 Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license