Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 693 matches
- 2018
- Opeyemi O. Adesina, Timothy C. Lethbridge, Stéphane S. Somé, Vahdat Abdelzad, Alvine Boaye Belle:
Improving formal analysis of state machines with particular emphasis on and-cross transitions. Comput. Lang. Syst. Struct. 54: 544-585 (2018) - Vasco Amaral, Jordi Cabot, Miguel Goulão:
Special issue on quality in Model-Driven Engineering. Comput. Lang. Syst. Struct. 54: 472-473 (2018) - Ivano Azzini, Ronal Muresano, Marco Ratto:
Dragonfly: A multi-platform parallel toolbox for MATLAB/Octave. Comput. Lang. Syst. Struct. 52: 21-42 (2018) - Ankica Barisic, Vasco Amaral, Miguel Goulão:
Usability driven DSL development with USE-ME. Comput. Lang. Syst. Struct. 51: 118-157 (2018) - Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue:
MMFilter : A CHR-Based Solver for Generation of Executions under Weak Memory Models. Comput. Lang. Syst. Struct. 53: 121-142 (2018) - Larissa Braz, Rohit Gheyi, Melina Mongiovi, Márcio Ribeiro, Flávio Medeiros, Leopoldo Teixeira, Sabrina Souto:
A change-aware per-file analysis to compile configurable systems with #ifdefs. Comput. Lang. Syst. Struct. 54: 427-450 (2018) - Joachim Breitner:
Call Arity. Comput. Lang. Syst. Struct. 52: 65-91 (2018) - Andreea Buga, Atif Mashkoor, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop:
An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study. Comput. Lang. Syst. Struct. 54: 297-315 (2018) - Eden Burton, Emil Sekerinski:
An object model for dynamic mixins. Comput. Lang. Syst. Struct. 51: 90-101 (2018) - Walter Cazzola, Ruzanna Chitchyan, Awais Rashid, Albert Shaqiri:
μ-DSU: A Micro-Language Based Approach to Dynamic Software Updating. Comput. Lang. Syst. Struct. 51: 71-89 (2018) - Asmaa Chebba, Thouraya Bouabana-Tebibel, Stuart H. Rubin:
Attributed and n-ary relations in OWL for knowledge modeling. Comput. Lang. Syst. Struct. 54: 183-198 (2018) - Benoît Combemale, Jörg Kienzle, Gunter Mussbacher, Olivier Barais, Erwan Bousse, Walter Cazzola, Philippe Collet, Thomas Degueule, Robert Heinrich, Jean-Marc Jézéquel, Manuel Leduc, Tanja Mayerhofer, Sébastien Mosser, Matthias Schöttle, Misha Strittmatter, Andreas Wortmann:
Concern-oriented language development (COLD): Fostering reuse in language engineering. Comput. Lang. Syst. Struct. 54: 139-155 (2018) - Gennaro Costagliola, Mattia De Rosa, Vittorio Fuccella:
Using the local context for the definition and implementation of visual languages. Comput. Lang. Syst. Struct. 54: 20-38 (2018) - Christian Dernehl, Jan Kühn, Stefan Kowalewski:
Case studies on automated verification with slope boundaries for block diagrams. Comput. Lang. Syst. Struct. 54: 528-543 (2018) - Maarten Faddegon, Olaf Chitil:
Type generic observation of intermediate data structures for debugging lazy functional programs. Comput. Lang. Syst. Struct. 52: 92-110 (2018) - Martin Gogolla, Frank Hilken, Khanh-Hoang Doan:
Achieving model quality through model validation, verification and exploration. Comput. Lang. Syst. Struct. 54: 474-511 (2018) - Jurriaan Hage, Jay McCarthy:
Special issue on Trends in Functional Programming 2013/14. Comput. Lang. Syst. Struct. 52: 63-64 (2018) - Somaia Awad Hassan, Mountasser M. M. Mahmoud, A. M. Hemeida, Mahmoud A. Saber:
Effective Implementation of Matrix-Vector Multiplication on Intel's AVX multicore Processor. Comput. Lang. Syst. Struct. 51: 158-175 (2018) - Katrin Hölldobler, Bernhard Rumpe, Andreas Wortmann:
Software language engineering in the large: towards composing and deriving languages. Comput. Lang. Syst. Struct. 54: 386-405 (2018) - Fatemeh Imani-Mehr, Mehran S. Fallah:
On transparent value-sensitive run-time monitoring for information flow policies. Comput. Lang. Syst. Struct. 54: 273-296 (2018) - David Insa, Josep Silva:
Automatic assessment of Java code. Comput. Lang. Syst. Struct. 53: 59-72 (2018) - Elder Rodrigues Jr., Ricardo Terra:
How do developers use dynamic features? The case of Ruby. Comput. Lang. Syst. Struct. 53: 73-89 (2018) - Orhan Kislal, Mahmut T. Kandemir:
Data access skipping for recursive partitioning methods. Comput. Lang. Syst. Struct. 53: 143-162 (2018) - Duc Minh Le, Duc-Hanh Dang, Viet-Ha Nguyen:
On domain driven design using annotation-based domain specific language. Comput. Lang. Syst. Struct. 54: 199-235 (2018) - Gwendal Le Moulec, Arnaud Blouin, Valérie Gouranton, Bruno Arnaldi:
Automatic production of end user documentation for DSLs. Comput. Lang. Syst. Struct. 54: 337-357 (2018) - Pedro Almir Oliveira, Pedro de Alcântara dos Santos Neto, Ricardo Britto, Ricardo A. L. Rabêlo, Ronyérison Braga, Matheus Souza:
CIaaS - computational intelligence as a service with Athena. Comput. Lang. Syst. Struct. 54: 95-118 (2018) - Abdelkader Ouared, Yassine Ouhammou, Ladjel Bellatreche:
QoSMOS: QoS metrics management tool suite. Comput. Lang. Syst. Struct. 54: 236-251 (2018) - Lynda Ait Oubelli, Yamine Aït Ameur, Judicaël Bedouet, Romain Kervarc, Benoit Chausserie-Lapree, Béatrice Larzul:
A scalable model based approach for data model evolution: Application to space missions data models. Comput. Lang. Syst. Struct. 54: 358-385 (2018) - Mert Ozkaya, Mehmet Alp Kose:
SAwUML - UML-based, contractual software architectures and their formal analysis using SPIN. Comput. Lang. Syst. Struct. 54: 71-94 (2018) - Eric Papenhausen, Klaus Mueller:
Coding Ants: Optimization of GPU code using ant colony optimization. Comput. Lang. Syst. Struct. 54: 119-138 (2018)
skipping 663 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-04-25 10:53 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint