|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 725 publication records. Showing 725 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Marcel Christian Werner, Klaus Schneider 0001 |
Formal Methods-Based Optimization of Dataflow Models with Translation to Synchronous Models. |
FDL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Hokeun Kim |
Secure Programming Platform for Edge-Based IoT: Wild-and-Crazy-Idea Paper. |
FDL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Markus Plattner, Chedi Fassi, Florian Kreiner, Jintin Frank, Philipp Radecker, Markus Zimmermann |
Satellite Payload Design for Optimized Thermal Management Using a Distributed Processor System. |
FDL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sören Tempel, Tobias Brandt, Christoph Lüth, Rolf Drechsler |
Minimally Invasive Generation of RISC-V Instruction Set Simulators from Formal ISA Models. |
FDL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy Pope, Carl-Johan H. Seger |
Bifröst: Creating Hardware With Building Blocks. |
FDL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Felix Böseler, Jörg Walter 0001 |
A Flexible Graph Language for a Model-Based Semi-Automatic CGRA Compilation Flow. |
FDL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Daniele Jahier Pagliari, Matteo Risso, Beatrice Alessandra Motetti, Alessio Burrello |
PLiNIO: A User-Friendly Library of Gradient-Based Methods for Complexity-Aware DNN Optimization. |
FDL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Beghi, Nicola Dall'Ora, Davide Dalle Pezze, Franco Fummi, Chiara Masiero, Stefano Spellini, Gian Antonio Susto, Francesco Tosoni 0002 |
VIR2EM: VIrtualization and Remotization for Resilient and Efficient Manufacturing: Project-Dissemination Paper. |
FDL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | |
Forum on Specification & Design Languages, FDL 2023, Turin, Italy, September 13-15, 2023 |
FDL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Christopher A. Metz, Christina Plump, Bernhard J. Berger, Rolf Drechsler |
Hybrid PTX Analysis for GPU accelerated CNN inferencing aiding Computer Architecture Design. |
FDL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Vivek Govindasamy, Rainer Dömer |
Instruction-Level Modeling and Evaluation of a Cache-Less Grid of Processing Cells. |
FDL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Milan Funck, Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler |
Identification of ISA-Level Mutation-Classes for Qualification of RISC-V Formal Verification. |
FDL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Frans Skarman, Lucas Klemmer, Oscar Gustafsson, Daniel Große |
Enhancing Compiler-Driven HDL Design with Automatic Waveform Analysis. |
FDL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jan Zielasko, Rolf Drechsler |
Virtual Prototype Driven Application Specific Hardware Optimization. |
FDL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Luigi Capogrosso, Alessio Mascolini, Federico Girella, Geri Skenderi, Sebastiano Gaiardelli, Nicola Dall'Ora, Francesco Ponzio, Enrico Fraccaroli, Santa Di Cataldo, Sara Vinco, Enrico Macii, Franco Fummi, Marco Cristani |
Neuro-Symbolic Empowered Denoising Diffusion Probabilistic Models for Real-Time Anomaly Detection in Industry 4.0: Wild-and-Crazy-Idea Paper. |
FDL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Niklas Bruns, Vladimir Herdt, Rolf Drechsler |
Unified HW/SW Coverage: A Novel Metric to Boost Coverage-guided Fuzzing for Virtual Prototype based HW/SW Co-Verification. |
FDL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Alex Chan, Danil Sokolov, Victor Khomenko, Alex Yakovlev |
Formal Modelling of Burst-Mode Specifications in a Distributed Environment. |
FDL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Rodolfo Jordão, Fahimeh Bahrami, Rui Chen, Ingo Sander |
A multi-view and programming language agnostic framework for model-driven engineering. |
FDL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Conrad Foik, Daniel Mueller-Gritschneder, Ulf Schlichtmann |
CorePerfDSL: A Flexible Processor Description Language for Software Performance Simulation. |
FDL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Felix Böseler, Jörg Walter 0001, Behnam Razi Perjikolaei |
A Comparison of Virtual Platform Simulation Solutions for Timing Prediction of Small RISC-V Based SoCs. |
FDL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Marcel Christian Werner, Klaus Schneider 0001 |
From IEC 61131-3 Function Block Diagrams to Sequentially Constructive Statecharts. |
FDL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Rahul Krishnamurthy, Michael S. Hsiao |
Automated Suggestions Framework for Processing Hardware Specifications Written in English. |
FDL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Alexandra Küster, Rainer Dorsch, Christian Haubelt, Karsten Einwich |
Virtual Prototyping in SystemC AMS for Validation of Tight Sensor/Firmware Interaction in Smart Sensors. |
FDL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Fratzer, Vladimir Herdt, Christoph Lüth, Rolf Drechsler |
Virtual Prototype based Analysis of Neural Network Cache Behavior for Tiny Edge Device. |
FDL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sergi Alcaide, Guillem Cabo, Francisco Bas, Pedro Benedicte, Francisco Fuentes, Feng Chang, Ilham Lasfar, Ramon Canal, Jaume Abella 0001 |
SafeX: Open Source Hardware and Software Components for Safety-Critical Systems. |
FDL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | |
Forum on Specification & Design Languages, FDL 2022, Linz, Austria, September 14-16, 2022 |
FDL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Lucas Klemmer, Sonja Gurtner, Daniel Große |
Formal Verification of SUBLEQ Microcode implementing the RV32I ISA. |
FDL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Tosoni 0002, Nicola Dall'Ora, Enrico Fraccaroli, Franco Fummi |
A Framework for Modeling and Concurrently Simulating Mechanical and Electrical Faults in Verilog-AMS. |
FDL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jan Zielasko, Sören Tempel, Vladimir Herdt, Rolf Drechsler |
3D Visualization of Symbolic Execution Traces. |
FDL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Lumpp, Marco Panato, Franco Fummi, Nicola Bombieri |
A Container-based Design Methodology for Robotic Applications on Kubernetes Edge-Cloud architectures. |
FDL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mehran Goli, Rolf Drechsler |
VIP-VP: Early Validation of SoCs Information Flow Policies using SystemC-based Virtual Prototypes. |
FDL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Joaquín Aguado, Alejandra Duenas |
Synchronised Shared Memory and Model Checking: A Proof of Concept. |
FDL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jobish John, Amrita Ghosal, Tiziana Margaria, Dirk Pesch |
DSLs for Model Driven Development of Secure Interoperable Automation Systems with EdgeX Foundry. |
FDL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Loïc Salmon, Pierre Yves Pillain, Goulven Guillou, Jean-Philippe Babau |
CARES, a framework for CPS simulation : application to autonomous underwater vehicle navigation function. |
FDL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Javier Merino, Raul Gomez, Hector Posadas, Eugenio Villar |
Modeling and Performance Estimation of Robotic Systems using ROS: Application to drone-based Services. |
FDL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Lucas, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Friedrich Gretz, Franz-Josef Grosch |
Extracting Mode Diagrams from Blech Code. |
FDL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Eric Senn, Lucie Bourdon |
Introducing CPU load Analysis from AADL Models for ROS applications : a use case. |
FDL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sebastiano Gaiardelli, Stefano Spellini, Michele Lora, Franco Fummi |
Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0. |
FDL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nicola Dall'Ora, Sadia Azam, Enrico Fraccaroli, André Alberts, Franco Fummi |
A Common Manipulation Framework for Transistor-Level Languages. |
FDL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sören Tempel, Vladimir Herdt, Rolf Drechsler |
In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes. |
FDL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | |
24th Forum on specification & Design Languages, FDL 2021, Antibes, France, September 8-10, 2021 |
FDL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Victor Grimblatt |
The Challenge of Agriculture: Increase the Productivity in a Sustainable Way. |
FDL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Julien Deantoni, João Cambeiro, Soroush Bateni, Shaokai Lin, Marten Lohstroh |
Debugging and Verification Tools for Lingua Franca in Gemoc Studio. |
FDL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler |
RISC-V AMS VP: An Open Source Evaluation Platform for Cyber-Physical Systems. |
FDL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Emad Malekzadeh Arasteh, Rainer Dömer |
Improving Parallelism in System Level Models by Assessing PDES Performance. |
FDL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Geri Skenderi, Alessia Bozzini, Luigi Capogrosso, Enrico Carlo Agrillo, Giovanni Perbellini, Franco Fummi, Marco Cristani |
DOHMO: Embedded Computer Vision in Co-Housing Scenarios. |
FDL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | François Pêcheux, Liliana Andrade, Marie-Minerve Louërat, Ilias Bournias, Roselyne Chotin, Daniela Genius |
Virtual Prototyping of Open Source Heterogeneous Systems with an Open Source Framework Featuring SystemC MDVP Extensions. |
FDL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Brauckmann, Andrés Goens, Jerónimo Castrillón |
ComPy-Learn: A toolbox for exploring machine learning representations for compilers. |
FDL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Johns, Tom J. Kazmierski |
A Minimal RISC-V Vector Processor for Embedded Systems. |
FDL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Scherr, Karsten Einwich |
Beyond real number modeling: Comparison of analog modeling approaches. |
FDL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Boysen, Alexander Schulz-Rosengarten, Reinhard von Hanxleden |
A Hard Real Time Demonstrator for Dynamic Ticks and Timed SCCharts. |
FDL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hugh Leather, Chris Cummins |
Machine Learning in Compilers: Past, Present and Future. |
FDL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | George Ungureanu, Rodolfo Jordão, Ingo Sander |
Exploiting Dataflow Models for Parallel Simulation of Discrete Timed Systems. |
FDL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Saranya Natarajan, David Broman |
Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics. |
FDL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Freek van den Berg, Václav Camra, Martijn Hendriks, Marc Geilen, Petr Hnetynka, Fernando Manteca, Pablo Sánchez, Tomás Bures, Twan Basten |
QRML: A Component Language and Toolset for Quality and Resource Management. |
FDL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marten Lohstroh, Christian Menard, Alexander Schulz-Rosengarten, Matthew Weber, Jerónimo Castrillón, Edward A. Lee |
A Language for Deterministic Coordination Across Multiple Timelines. |
FDL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Michel A. Reniers, Sander Thuijsman |
Supervisory Control for Dynamic Feature Configuration in Product Lines. |
FDL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | |
Forum for Specification and Design Languages, FDL 2020, Kiel, Germany, September 15-17, 2020 |
FDL |
2020 |
DBLP BibTeX RDF |
|
1 | Carna Zivkovic, Christoph Grimm 0001, Johannes Kölsch, D. Short, M. Ferstl, Dirk Denger, D. Krems, A. Barisic |
Bringing Uncertainties into System Simulation: A SystemC AMS Case Study. |
FDL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Stephen A. Edwards, John Hui |
The Sparse Synchronous Model. |
FDL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lena Grimm, Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marc Pouzet |
From Lustre to Graphical Models and SCCharts. |
FDL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Herdt, Daniel Große, Eyck Jentzsch, Rolf Drechsler |
Efficient Cross-Level Testing for Processor Verification: A RISC- V Case-Study. |
FDL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Friedrich Gretz, Franz-Josef Grosch, Michael Mendler, Stephan Scheele |
Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech. |
FDL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Aurélien Lamercerie, Benoît Caillaud |
An Algebra of Deterministic Propositional Acceptance Automata (DPAA). |
FDL |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Oliver Keszöcze, Ian G. Harris |
Chatbot-based assertion generation from natural language specifications. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
1 | George Ungureanu, Timmy Sundström, Anders Åhlander, Ingo Sander, Ingemar Söderquist |
Formal Design, Co-Simulation and Validation of a Radar Signal Processing System. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tom J. Kazmierski, Reinhard von Hanxleden, Terrence S. T. Mak (eds.) |
2019 Forum for Specification and Design Languages, FDL 2019, Southampton, United Kingdom, September 2-4, 2019 |
FDL |
2019 |
DBLP BibTeX RDF |
|
1 | Simone Caligola, Tommaso Carlucci, Franco Fummi, Carlo Laudanna, Gabriela Constantin, Nicola Bombieri, Rosalba Giugno |
Efficient Simulation and Parametrization of Stochastic Petri Nets in SystemC: A Case study from Systems Biology. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Heinz Riener |
Exact Synthesis of LTL Properties from Traces. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alain Girault, Nicolas Hili, Eric Jenn, Eugene Yip |
A Multi-Rate Precision Timed Programming Language for Multi-Cores. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Strobel, Martin Radetzki |
A Backend Tool for the Integration of Memory Optimizations into Embedded Software. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Herdt, Daniel Große, Rolf Drechsler, Christoph Gerum, Alexander Jung, Joscha Benz, Oliver Bringmann 0001, Michael Schwarz 0010, Dominik Stoffel, Wolfgang Kunz |
Systematic RISC-V based Firmware Design⋆. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Muhammad Hassan 0002, Daniel Große, Thilo Vörtler, Karsten Einwich, Rolf Drechsler |
Functional Coverage-Driven Characterization of RF Amplifiers. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ginés Doménech-Asensi, Tom J. Kazmierski |
Simulation Acceleration of Image Filtering on CMOS Vision Chips Using Many-Core Processors. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tara Ghasempouri, Alessandro Danese, Graziano Pravadelli, Nicola Bombieri, Jaan Raik |
RTL Assertion Mining with Automated RTL-to-TLM Abstraction. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jie Hou, Martin Radetzki |
A methodology to compute long-term fault resilience of NoCs under fault-tolerant routing algorithms. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Marten Lohstroh, Edward A. Lee |
Deterministic Actors. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Spellini, Roberta Chirico, Michele Lora, Franco Fummi |
Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gianluca Martino, Görschwin Fey |
Syntax-Guided Enumeration of Temporal Properties. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Friederike Bruns, Philipp Ittershagen, Kim Grüttner |
Time Measurement and Control Blocks for Bare-Metal C++ Applications. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lukas Gressl, Christian Steger, Ulrich Neffe |
Security Driven Design Space Exploration for Embedded Systems. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Schulz-Rosengarten, Steven Smyth, Michael Mendler |
Towards Object-Oriented Modeling in SCCharts. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Liboni, Julien Deantoni |
WIP on a Coordination Language to Automate the Generation of Co-Simulations. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ege Korkan, Sebastian Käbisch, Matthias Kovatsch, Sebastian Steinhorst |
Sequential Behavioral Modeling for Scalable IoT Devices and Systems. |
FDL |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Zhongqi Cheng, Tim Schmidt, Rainer Dömer |
SystemC Coding Guideline for Faster Out-of-order Parallel Discrete Event Simulation. |
FDL |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet |
Scade 6: From a Kahn Semantics to a Kahn Implementation for Multicore. |
FDL |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Emanuel Regnath, Sebastian Steinhorst |
SmaCoNat: Smart Contracts in Natural Language. |
FDL |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Fraccaroli, Davide Quaglia, Franco Fummi |
Simulation-based Holistic Functional Safety Assessment for Networked Cyber-Physical Systems. |
FDL |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yue Lu, Shengyu Duan, Tom J. Kazmierski |
A New Ageing-Aware Approach Via Path Isolation. |
FDL |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Martial Chabot, Laurence Pierre, Alexandre Nabais-Moreno |
Automated Testing for Cyber-physical Systems: From Scenarios to Executable Tests. |
FDL |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Davy, Christophe Garion, Pierre-Loïc Garoche, Pierre Roux, Xavier Thirioux |
Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code. |
FDL |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Centomo, Michele Lora, Franco Fummi |
Transaction-level Functional Mockup Units for Cyber-Physical Virtual Platforms. |
FDL |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Carna Zivkovic, Christoph Grimm 0001 |
Symbolic Simulation of SystemC AMS Without Yet Another Compiler. |
FDL |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Strauch |
Dynamic Inside-Out Verification Using Inverse Transactions in TLM. |
FDL |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Frédéric Mallet, Robert de Simone, Julien Deantoni |
Time in SCCharts. |
FDL |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hiren D. Patel, Tom J. Kazmierski, Sebastian Steinhorst (eds.) |
2018 Forum on Specification & Design Languages, FDL 2018, Garching, Germany, September 10-12, 2018 |
FDL |
2018 |
DBLP BibTeX RDF |
|
1 | Georg Gläser, Benjamin Saft, Dominik Wrana, Athanasios Gatzastras, Eckhard Hennig |
From Low-Power to No-Power: Adaptive Clocking for Event-Driven Systems. |
FDL |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Aljoscha Kirchner, Jan-Hendrik Oetjens, Oliver Bringmann 0001 |
Using SysML for Modelling and Code Generation for Smart Sensor ASICs. |
FDL |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Robert Wille, Bing Li 0005, Rolf Drechsler, Ulf Schlichtmann |
Automatic Design of Microfluidic Devices. |
FDL |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Friedrich Gretz, Franz-Josef Grosch |
Blech, Imperative Synchronous Programming! |
FDL |
2018 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 725 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ >>] |
|